Merge requests · FP / iGPS

Get rid of `%C` scopes.

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

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

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

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

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

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

!8 · created Aug 22, 2017 by Ralf Jung
- MERGED
- 0
updated Aug 22, 2017
Update build & CI files to properly use new CI machine

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

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

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

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

!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

!2 · created Dec 07, 2016 by Janno
- MERGED
- 0
updated Dec 07, 2016
the Coq CI image now contains git

!1 · created Nov 03, 2016 by Ralf Jung
- MERGED
- 1
updated Nov 07, 2016