Merge requests · Iris / examples

Make the spec for filter stronger

!68 · created Oct 18, 2024 by Amin Timany
- Merged
- 1
updated Nov 26, 2024
bump to Coq 8.20

!67 · created Oct 02, 2024 by Ralf Jung
- Merged
updated Oct 02, 2024
bump to Coq 8.19

!66 · created Oct 02, 2024 by Ralf Jung
- Merged
updated Oct 02, 2024
Fix broken proofs for improved iFrame ∃

!65 · created Feb 16, 2024 by Ike Mulder
- Merged
updated Feb 16, 2024
logrel: Change nat to int

!64 · created Feb 15, 2024 by Amin Timany
- Merged
- 4
updated Feb 15, 2024
update dependencies

!63 · created Oct 26, 2023 by Pierre Roux
- Merged
- 2
updated Oct 30, 2023
Attempt to fix Coq CI

!62 · created Mar 16, 2023 by Pierre Roux
- Merged
- 2
updated Mar 16, 2023
Attempt to fix Coq CI

!61 · created Mar 12, 2023 by Pierre Roux
- Closed
- 1
updated Mar 12, 2023
Explicitly disable native compile

!60 · created Dec 01, 2022 by Gaëtan Gilbert
- Closed
- 2
updated Dec 05, 2022
Add Chase-Lev deque

!59 · created Dec 01, 2022 by Jaemin Choi
- 30
updated Sep 24, 2023
Add parallel add example

!58 · created Nov 01, 2022 by Jonas Kastberg
- 17
updated Nov 01, 2022
cleanup logrel

!57 · created Aug 26, 2022 by Amin Timany
- Merged
- 1
updated Aug 26, 2022
add counter with backup case study

!56 · created Aug 14, 2022 by Ralf Jung
updated Jul 14, 2023
do not rely on make_laterable in logatom triples any more

!55 · created Aug 09, 2022 by Ralf Jung
- Merged
- 2
updated Aug 10, 2022
Bump Iris

!51 · created Jul 20, 2022 by Lennard Gäher
- Merged
updated Jul 20, 2022
Added petersons algorithm as an example of sequential consistency

!49 · created Feb 01, 2022 by Jonas Kastberg
- 5
updated Feb 07, 2022
Bump iris

!48 · created Jan 14, 2022 by Matthieu Sozeau
- Merged
updated Jan 14, 2022
Bump iris

!47 · created Jan 13, 2022 by Matthieu Sozeau
- Merged
- 1
updated Jan 13, 2022
Draft: Adapt to iris!750: Flip quantifiers for atomic updates

!46 · created Nov 09, 2021 by Paolo G. Giarrusso
- Closed
- 1
updated May 24, 2022
fix names

!45 · created Jul 23, 2021 by Amin Timany
- Merged
- 22
updated Jul 23, 2021