Merge requests · FP

the Coq CI image now contains git

igps!1 · created Nov 03, 2016 by Ralf Jung
- Merged
- 1
updated Nov 07, 2016
Simpler syncer specs

iris-atomic!1 · created Nov 01, 2016 by Ralf Jung
- Merged
- 11
updated Nov 07, 2016
Iris as submodule; CI support

iris-atomic!2 · created Nov 07, 2016 by Ralf Jung
- Merged
- 2
updated Nov 08, 2016
Improve build system & Update dependency

iris-atomic!3 · created Nov 13, 2016 by Ghost User
- Merged
- 10
updated Nov 16, 2016
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
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
update build system and Iris

igps!5 · created Jan 09, 2017 by Ralf Jung
- Merged
- 1
updated Jan 09, 2017
awk.Makefile: improve uninstall target

igps!6 · created Jan 10, 2017 by Ralf Jung
- Merged
updated Jan 12, 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
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
CI: test against coq 8.6.1

igps!8 · created Aug 22, 2017 by Ralf Jung
- Merged
updated Aug 22, 2017
Make directory layout match other iris projects

igps!9 · created Aug 26, 2017 by Ralf Jung
- Merged
- 2
updated Aug 26, 2017
Bump Iris version to match LambdaRust-Coq.

iris-atomic!4 · created Jul 31, 2017 by Ghost User
- Merged
- 1
updated Sep 22, 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
update README

igps!11 · created Sep 25, 2017 by Ralf Jung
- Merged
updated Sep 25, 2017
use strongly_atomic from Iris

igps!12 · created Oct 29, 2017 by Ralf Jung
- Merged
- 2
updated Oct 30, 2017
test against released Coq 8.7.0

igps!13 · created Oct 30, 2017 by Ralf Jung
- Merged
updated Oct 30, 2017
Get rid of `%C` scopes.

igps!14 · created Nov 10, 2017 by Robbert Krebbers
- Merged
- 4
updated Nov 14, 2017
port to savedPred

iris-atomic!6 · created Nov 21, 2017 by Ralf Jung
- Merged
updated Nov 22, 2017