Merge requests · Iris / ReLoC

Fix broken proofs for improved iFrame ∃

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

!8 · created Feb 02, 2024 by Ralf Jung
- Merged
- 1
updated Feb 04, 2024
Prove weakening for `typed`

!7 · created Aug 28, 2022 by Paolo G. Giarrusso
updated Aug 28, 2022
Fix refines_xchg_r

!6 · created Aug 24, 2022 by Niklas Mück
- Closed
- 2
updated May 10, 2023
Alternative definition of contextual refinement

!5 · created Dec 12, 2020 by Dan Frumin
- Merged
- 5
updated Jan 17, 2021
WIP: Add Michael Scott queue

!4 · created Jun 05, 2020 by Simon Friis Vindum
- 3
updated Sep 10, 2020
CKA stuff

!3 · created May 26, 2020 by Dan Frumin
- Merged
updated Aug 18, 2020
Kill guix stuff, it's annoying to keep that in sync.

!2 · created Nov 07, 2019 by Robbert Krebbers
- Merged
- 1
updated Nov 20, 2019
Use Coq 8.10.1 for CI

!1 · created Nov 07, 2019 by Robbert Krebbers
- Merged
- 2
updated Nov 07, 2019