Commits · 3027b51a20d034694093bc1babe21fcbc1da0d57 · Iris / Iron

01 Nov, 2018 2 commits
- add job for nightly build · 3027b51a
  Ralf Jung authored Nov 01, 2018
  
  3027b51a
- fix CI · eabb4aa0
  Ralf Jung authored Nov 01, 2018
  
  eabb4aa0
31 Oct, 2018 8 commits
- .gitlab-ci.yml file. · baf09807
  Robbert Krebbers authored Oct 31, 2018
  
  baf09807
- opam file. · cac624a6
  Robbert Krebbers authored Oct 31, 2018
  
  cac624a6
- README tweaks. · e9a9e56e
  Robbert Krebbers authored Oct 31, 2018
  
  e9a9e56e
- Tweak README. · 1a34a493
  Robbert Krebbers authored Oct 31, 2018
  
  1a34a493
- Drop old versions of Coq that we have not actually tried. · 66aa3ccf
  Robbert Krebbers authored Oct 31, 2018
  
  66aa3ccf
- Update README.md · a9756949
  Robbert Krebbers authored Oct 31, 2018
  
  a9756949
- Update stdpp URL. · 6a63de9e
  Robbert Krebbers authored Oct 31, 2018
  
  6a63de9e
- Initial commit. · c92854e5
  Robbert Krebbers authored Oct 31, 2018
  
  c92854e5