Commits · 1c09a14c3b9cd6a6151fa72817717f5bc224f486 · Matthieu Sozeau / Iris

18 Apr, 2018 2 commits
- Revert most of "test against Coq 8.8.0, update CI" · 1c09a14c
  Ralf Jung authored Apr 18, 2018
```
This reverts commit 45162e5a.
We have to wait until ssreflect makes an 8.8-compatible release.
```
  1c09a14c
- test against Coq 8.8.0, update CI · 45162e5a
  Ralf Jung authored Apr 18, 2018
  
  45162e5a
21 Feb, 2018 1 commit
- CI: test against Coq 8.7.2 · d43ba2b1
  Ralf Jung authored Feb 21, 2018
  
  d43ba2b1
16 Feb, 2018 1 commit
- update README dependencies · b6297bf7
  Ralf Jung authored Feb 16, 2018
  
  b6297bf7
24 Jan, 2018 1 commit
- document editor configuration for unicode input/output · bf14ff67
  Ralf Jung authored Jan 24, 2018
  
  bf14ff67
18 Dec, 2017 4 commits
- use std++ 1.1 · 3e923399
  Ralf Jung authored Dec 18, 2017
  
  3e923399
- mention required opam version · e4de954a
  Ralf Jung authored Dec 18, 2017
  
  e4de954a
- test agains 8.7.1 · 5ad6c3b9
  Ralf Jung authored Dec 18, 2017
  
  5ad6c3b9
- update README · c53ec25f
  Ralf Jung authored Dec 18, 2017
  
  c53ec25f
13 Dec, 2017 5 commits
- update README · 3b1fcdab
  Ralf Jung authored Dec 13, 2017
  
  3b1fcdab
- README: Examples -> Case Studies · 556be055
  Ralf Jung authored Dec 13, 2017
  
  556be055
- add iris-atomic · 1cd3cfbf
  Ralf Jung authored Dec 13, 2017
  
  1cd3cfbf
- add examples section · 19dced59
  Ralf Jung authored Dec 13, 2017
  
  19dced59
- update README · ed9b3eef
  Ralf Jung authored Dec 13, 2017
  
  ed9b3eef
07 Nov, 2017 1 commit
- update to ssreflect 1.6.4 · f781a4bb
  Ralf Jung authored Nov 07, 2017
  
  f781a4bb
28 Oct, 2017 2 commits
- actually, it's called Coq 8.7.0 · 50f00c13
  Ralf Jung authored Oct 28, 2017
  
  50f00c13
- test agains release Coq 8.7 and ssreflect 1.6.2 · 04d4bac4
  Ralf Jung authored Oct 28, 2017
  
  04d4bac4
19 Oct, 2017 1 commit
- update README · 490169e2
  Ralf Jung authored Oct 19, 2017
  
  490169e2
05 Oct, 2017 2 commits
- explain make parallelism · 0bb73fb7
  Ralf Jung authored Oct 05, 2017
  
  0bb73fb7
- explain updating · 803e3e5b
  Ralf Jung authored Oct 05, 2017
  
  803e3e5b
04 Oct, 2017 1 commit
- README: explain how to update std++ · 5ed394dd
  Ralf Jung authored Oct 04, 2017
  
  5ed394dd
19 Sep, 2017 1 commit
- update README · c8c586c9
  Ralf Jung authored Sep 19, 2017
  
  c8c586c9
22 Aug, 2017 1 commit
- require Coq 8.6.1 · 3b4865f8
  Ralf Jung authored Aug 22, 2017
  
  3b4865f8
06 Feb, 2017 1 commit
- use coq-stdpp · 50a1b62b
  Ralf Jung authored Feb 06, 2017
  
  50a1b62b
23 Jan, 2017 1 commit
- README: that opam repo is not just for ssreflect, also for Coq itself · 23570f31
  Ralf Jung authored Jan 23, 2017
  
  23570f31
21 Jan, 2017 1 commit
- More precision about installation of ssreflect in the readme. · 7a17a440
  Jacques-Henri Jourdan authored Jan 21, 2017
  
  7a17a440
11 Jan, 2017 1 commit
- no longer test on or support Coq 8.5 · 8706664d
  Ralf Jung authored Jan 11, 2017
  
  8706664d
05 Jan, 2017 1 commit
- Fix links in README. · f2d7678e
  Robbert Krebbers authored Jan 05, 2017
  
  f2d7678e
21 Dec, 2016 1 commit
- ssreflect 1.6.1 is out :) · 69d1bf6f
  Ralf Jung authored Dec 21, 2016
  
  69d1bf6f
18 Dec, 2016 1 commit
- build against the released Coq 8.6 · 8fd9c718
  Ralf Jung authored Dec 18, 2016
  
  8fd9c718
12 Dec, 2016 2 commits
- fix README · bb5ede7f
  Ralf Jung authored Dec 12, 2016
  
  bb5ede7f
- update README · 47360b63
  Ralf Jung authored Dec 12, 2016
  
  47360b63
27 Nov, 2016 2 commits
- README: add instructions for how to get fixed ssreflect version · e4d5fc87
  Ralf Jung authored Nov 27, 2016
  
  e4d5fc87
- fix the reference to the bullet fix in ssreflect · 6d7d2973
  Ralf Jung authored Nov 27, 2016
  
  6d7d2973
09 Nov, 2016 1 commit
- update ssreflect link · e7ecf91e
  Ralf Jung authored Nov 09, 2016
  
  e7ecf91e
07 Nov, 2016 1 commit
- Add URL to ssr in README. · e1ec0f5a
  Robbert Krebbers authored Nov 07, 2016
  
  e1ec0f5a
05 Nov, 2016 1 commit
- Update Iris website in README. · 37cf94e2
  Robbert Krebbers authored Nov 05, 2016
  
  37cf94e2
28 Oct, 2016 1 commit
- Move global functor to base_logic · acdea9ec
  Ralf Jung authored Oct 27, 2016
  
  acdea9ec
27 Oct, 2016 1 commit
- fix README links · 6b9eb87e
  Ralf Jung authored Oct 27, 2016
  
  6b9eb87e
26 Oct, 2016 1 commit
- README: update for base_logic folder · 2a1db329
  Ralf Jung authored Oct 26, 2016
  
  2a1db329