Merge requests · FP

Fix quirks in logrel for systemf_mu[_state] by adding different quirks

semantics-course!1 · created Nov 29, 2023 by Johannes Hostert
- Merged
- 1
updated Nov 30, 2023
Move uid outside of locks

ghostcell!1 · created Jun 01, 2021 by Hai Dang
- Merged
updated Jun 01, 2021
port to new atomic triples

iris-atomic!7 · created Jun 18, 2018 by Ralf Jung
- Merged
updated Jul 13, 2018
port to savedPred

iris-atomic!6 · created Nov 21, 2017 by Ralf Jung
- Merged
updated Nov 22, 2017
Get rid of `%C` scopes.

igps!14 · created Nov 10, 2017 by Robbert Krebbers
- Merged
- 4
updated Nov 14, 2017
test against released Coq 8.7.0

igps!13 · created Oct 30, 2017 by Ralf Jung
- Merged
updated Oct 30, 2017
use strongly_atomic from Iris

igps!12 · created Oct 29, 2017 by Ralf Jung
- Merged
- 2
updated Oct 30, 2017
update README

igps!11 · created Sep 25, 2017 by Ralf Jung
- Merged
updated Sep 25, 2017
make it compatible with Coq 8.7, and test that

igps!10 · created Sep 21, 2017 by Ralf Jung
- Merged
- 3
updated Sep 25, 2017
Make directory layout match other iris projects

igps!9 · created Aug 26, 2017 by Ralf Jung
- Merged
- 2
updated Aug 26, 2017
CI: test against coq 8.6.1

igps!8 · created Aug 22, 2017 by Ralf Jung
- Merged
updated Aug 22, 2017
Use simpler wp_par spec without predicates and without laters

summer_school_ex!1 · created Aug 07, 2017 by Janno
- Merged
- 1
updated Aug 09, 2017
New atomic shifts

iris-atomic!5 · created Aug 04, 2017 by Ghost User
- Closed
- 17
updated Jun 18, 2018
Bump Iris version to match LambdaRust-Coq.

iris-atomic!4 · created Jul 31, 2017 by Ghost User
- Merged
- 1
updated Sep 22, 2017
Update build & CI files to properly use new CI machine

igps!7 · created Mar 06, 2017 by Ralf Jung
- Merged
- 2
updated Mar 14, 2017
awk.Makefile: improve uninstall target

igps!6 · created Jan 10, 2017 by Ralf Jung
- Merged
updated Jan 12, 2017
update build system and Iris

igps!5 · created Jan 09, 2017 by Ralf Jung
- Merged
- 1
updated Jan 09, 2017
Resolve "Typo in appendix's circular buffer example"

igps!4 · created Dec 20, 2016 by Hai Dang
- Merged
updated Dec 20, 2016
use opam-based CI

igps!3 · created Dec 14, 2016 by Ralf Jung
- Merged
- 12
updated Jan 05, 2017
Coq8.6 is also compatible with 8.5 - make it the new master

igps!2 · created Dec 07, 2016 by Janno
- Merged
updated Dec 07, 2016