Merge Requests · FP

port to new atomic triples

iris-atomic!7 · opened Jun 18, 2018 by Ralf Jung
- MERGED
- 0
updated Jul 13, 2018
port to savedPred

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

igps!14 · opened Nov 10, 2017 by Robbert
- MERGED
- 4
updated Nov 14, 2017
test against released Coq 8.7.0

igps!13 · opened Oct 30, 2017 by Ralf Jung
- MERGED
- 0
updated Oct 30, 2017
use strongly_atomic from Iris

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

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

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

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

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

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

iris-atomic!5 · opened Aug 04, 2017 by Joshua Yanovski
- CLOSED
- 17
updated Jun 18, 2018
Bump Iris version to match LambdaRust-Coq.

iris-atomic!4 · opened Jul 31, 2017 by Joshua Yanovski
- MERGED
- 1
updated Sep 22, 2017
Update build & CI files to properly use new CI machine

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

igps!6 · opened Jan 10, 2017 by Ralf Jung
- MERGED
- 0
updated Jan 12, 2017
update build system and Iris

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

igps!4 · opened Dec 20, 2016 by Hai Dang
- MERGED
- 0
updated Dec 20, 2016
use opam-based CI

igps!3 · opened 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 · opened Dec 07, 2016 by Janno
- MERGED
- 0
updated Dec 07, 2016
Improve build system & Update dependency

iris-atomic!3 · opened Nov 13, 2016 by Ghost User
- MERGED
- 10
updated Nov 16, 2016
Iris as submodule; CI support

iris-atomic!2 · opened Nov 07, 2016 by Ralf Jung
- MERGED
- 2
updated Nov 08, 2016