Commits · 70e0a3ff51c278c8b3db519309aa112bf39bac88 · Rodolphe Lepigre / Iris

21 Sep, 2017 2 commits
- fix Makefile; fix coq-stdpp dep · 70e0a3ff
  Ralf Jung authored Sep 21, 2017
  
  70e0a3ff
- Bump stdpp. · dfa6603a
  Robbert Krebbers authored Sep 21, 2017
  
  dfa6603a
20 Sep, 2017 2 commits
- try to fix opam · 7418e9c7
  Ralf Jung authored Sep 20, 2017
  
  7418e9c7
- Bump coqstdpp. · d9ab6122
  Robbert Krebbers authored Sep 20, 2017
  
  d9ab6122
19 Sep, 2017 2 commits
- opam: remove redundant parentheses · b241bf3a
  Ralf Jung authored Sep 19, 2017
  
  b241bf3a
- new build-dep handling without opam.pins · 12012db9
  Ralf Jung authored Sep 19, 2017
  
  12012db9
18 Sep, 2017 1 commit
- CI: depend on std++ via opam; prepare for automatic opam releases · 8f8796c0
  Ralf Jung authored Sep 18, 2017
  
  8f8796c0
22 Aug, 2017 2 commits
- Also test against Coq 8.7 · d72a39c8
  Ralf Jung authored Aug 22, 2017
  
  d72a39c8
- require Coq 8.6.1 · 3b4865f8
  Ralf Jung authored Aug 22, 2017
  
  3b4865f8
19 Apr, 2017 1 commit
- do not declare compatibility with a development version of Coq · eb8b5c60
  Ralf Jung authored Apr 19, 2017
  
  eb8b5c60
07 Feb, 2017 1 commit
- update build system · 0b6bb546
  Ralf Jung authored Feb 07, 2017
  
  0b6bb546
06 Feb, 2017 1 commit
- use coq-stdpp · 50a1b62b
  Ralf Jung authored Feb 06, 2017
  
  50a1b62b
21 Dec, 2016 1 commit
- ssreflect 1.6.1 is out :) · 69d1bf6f
  Ralf Jung authored Dec 21, 2016
  
  69d1bf6f
24 Nov, 2016 1 commit
- compat with older opam · a0e013f5
  Ralf Jung authored Nov 24, 2016
  
  a0e013f5
23 Nov, 2016 3 commits
- opam: rename to coq-iris · d0743f7e
  Ralf Jung authored Nov 23, 2016
  
  d0743f7e
- opam: build in parallel · 55ee8e66
  Ralf Jung authored Nov 23, 2016
  
  55ee8e66
- start experimenting with opam · 4027fedc
  Ralf Jung authored Nov 23, 2016
  
  4027fedc