Merge requests · Iris / gpfsl

message passing example using stack history LAT

!23 · created Oct 20, 2021 by Jaehwang Jung graphs_multi
- Merged
updated Oct 20, 2021
Add lemmas & proofs in stack

!22 · created Oct 13, 2021 by Jaemin Choi jaehwang/stack-history
- Merged
- 11
updated Oct 13, 2021
stack MP client

!21 · created Sep 16, 2021 by William Mansky graphs_multi
- Merged
updated Sep 19, 2021
Elimination stack proof

!20 · created Sep 09, 2021 by Hai Dang graphs_multi
- Merged
updated Oct 03, 2021
prove stack history spec

!19 · created Sep 07, 2021 by Jaehwang Jung graphs_multi
- Merged
- 22
updated Oct 18, 2021
remove an unused property in proof_treiber_graph

!18 · created Aug 26, 2021 by Jaehwang Jung graphs_multi
- Merged
- 1
updated Aug 27, 2021
tell gitlab how to highlight *.v files

!17 · created Aug 24, 2021 by Jaehwang Jung
- Merged
updated Aug 24, 2021
make stack inv structure clearer

!16 · created Aug 24, 2021 by Jaehwang Jung history
- Merged
- 7
updated Aug 31, 2021
experiments on stack history lat

!15 · created Aug 20, 2021 by Jaehwang Jung history
- Merged
- 45
updated Aug 20, 2021
Draft: Sketch of graph lin proofs

!14 · created Aug 08, 2021 by Hai Dang graphs_multi
- Closed
updated Aug 16, 2022
Draft: Sketch of exchanger graph_lin proof

!13 · created Aug 08, 2021 by Hai Dang graphs_multi
- Closed
updated Aug 16, 2022
Message-passing with Exchanger

!12 · created Aug 08, 2021 by Hai Dang graphs_multi
- Merged
updated Sep 09, 2021
Use upstreamed stdpp lemmas

!11 · created Aug 05, 2021 by Jaehwang Jung graphs_multi
- Merged
updated Aug 08, 2021
use nat for event_id

!10 · created Aug 04, 2021 by Jaehwang Jung graphs_multi
- Merged
- 7
updated Aug 04, 2021
add eventHistoryR

!9 · created Aug 03, 2021 by Jaehwang Jung graphs_multi
- Closed
- 1
updated Aug 03, 2021
Prove queue sequential spec

!8 · created Jun 18, 2021 by Jaemin Choi graphs_multi
- Merged
- 7
- Approved
updated Jun 20, 2021
Prove event_list_helper lemmas

!7 · created Jun 11, 2021 by Jaemin Choi graphs_multi
- Merged
- 3
- Approved
updated Jun 11, 2021
add logical orders to handles

!6 · created Jun 08, 2021 by Jaehwang Jung graphs_multi
- Merged
updated Jun 08, 2021
simplify LIN spec

!5 · created May 26, 2021 by Jaehwang Jung graphs_multi
- Merged
- Approved
updated May 26, 2021
LIN specs and clients

!4 · created May 12, 2021 by Jaehwang Jung graphs_multi
- Merged
- 31
- Approved
updated May 25, 2021