Merge requests · Iris / gpfsl

Fix proof after iris/iris!1035.

!43 · created Mar 06, 2024 by Ike Mulder
- Merged
- 1
updated Mar 06, 2024
Fix broken proofs for improved iFrame ∃

!42 · created Feb 16, 2024 by Ike Mulder
- Merged
updated Feb 17, 2024
bump to Coq 8.18

!41 · created Sep 29, 2023 by Ralf Jung
- Merged
- 3
updated Oct 02, 2023
Provide explicit name for the variable in !39

!40 · created Aug 23, 2023 by Ike Mulder
- Merged
- 1
updated Aug 23, 2023
Fix brittle rewrite proof.

!39 · created Aug 22, 2023 by Ike Mulder
- Merged
- 1
updated Aug 23, 2023
enable name mangling

!38 · created May 11, 2023 by Ralf Jung
- Merged
- 2
updated May 29, 2023
fixes for iris/iris!886 and iris/iris!896

!37 · created Mar 07, 2023 by Simon Spies
- Merged
- 1
updated Mar 08, 2023
move examples out of the gpfsl package

!36 · created Aug 16, 2022 by Ralf Jung
- Merged
- 1
updated Aug 17, 2022
Merge orc11 into gpfsl repo

!35 · created Aug 11, 2022 by Ralf Jung
- Merged
- 1
updated Aug 12, 2022
Update VM info

!34 · created Mar 02, 2022 by Hai Dang ci/compass
- Merged
updated Mar 02, 2022
Retrofit GPS with AtomicPtsTo

!33 · created Nov 25, 2021 by Hai Dang
- Merged
updated Dec 06, 2021
remove value list from spsc spec

!32 · created Nov 17, 2021 by Jaehwang Jung graphs_multi
- Merged
updated Nov 17, 2021
Artifact

!31 · created Nov 16, 2021 by Hai Dang graphs_multi
- Merged
updated Nov 16, 2021
Sequential queue specs

!30 · created Nov 15, 2021 by William Mansky graphs_multi
- Merged
- 1
updated Nov 16, 2021
prove stack abstract state spec with history spec

!29 · created Nov 04, 2021 by Jaehwang Jung graphs_multi
- Merged
- 1
updated Nov 05, 2021
extract SPSC spec from SPSC example

!28 · created Nov 03, 2021 by Jaehwang Jung graphs_multi
- Merged
- 5
updated Nov 04, 2021
Prove queue SPMC message passing

!27 · created Oct 27, 2021 by Jaehwang Jung graphs_multi
- Merged
- 5
updated Oct 27, 2021
use simpler ghost in proof_producer_consumer

!26 · created Oct 26, 2021 by Jaehwang Jung graphs_multi
- Merged
- 12
updated Oct 26, 2021
prove spsc example with queue graph spec

!25 · created Oct 25, 2021 by Jaehwang Jung graphs_multi
- Merged
- 9
updated Oct 26, 2021
hybrid spec & abstract state spec of queue

!24 · created Oct 21, 2021 by Jaehwang Jung graphs_multi
- Merged
- 9
updated Oct 22, 2021