Commits · 25c07755c751aa7250e77181af3f89372d41b19f · Simon Spies / lambda-rust

Oct 28, 2017
- test against released Coq 8.7.0 · 25c07755
  Ralf Jung authored 7 years ago
  
  25c07755
Oct 19, 2017
- CI: rename REV -> IRIS_REV for iris.dev builds · 36931699
  Ralf Jung authored 7 years ago
  
  36931699
- CI: rename jobs for consistency · a19ae7cd
  Ralf Jung authored 7 years ago
  
  a19ae7cd
- add trigger to build against specific iris version · a6741817
  Ralf Jung authored 7 years ago
  
  a6741817
Oct 18, 2017
- update CI · 7f5389ab
  Ralf Jung authored 7 years ago
  
  7f5389ab
Sep 27, 2017
- rename CI jobs · 5648ea62
  Ralf Jung authored 7 years ago
  
  5648ea62
Sep 20, 2017
- coqchk is broken · 966c1f28
  Ralf Jung authored 7 years ago
  
  966c1f28
Sep 19, 2017
- update Iris; get rid of opam.pins · cc1b8ab0
  Ralf Jung authored 7 years ago
  
  cc1b8ab0
Aug 22, 2017
- no longer test Coq 8.6; start testing 8.7 · 23dc084e
  Ralf Jung authored 7 years ago
  
  23dc084e
- update CI to templates; test against 8.6.1 · af8b10ef
  Ralf Jung authored 7 years ago
  
  af8b10ef
May 12, 2017
- keep building as many files as possible · d520e47b
  Ralf Jung authored 7 years ago
  
  d520e47b
Mar 15, 2017
- update Iris · 3a12bbe5
  Ralf Jung authored 8 years ago
  
  3a12bbe5
Mar 06, 2017
- Try making [lrust_typing] non-discriminated to see whether anything changes. · a30d1b32
  Jacques-Henri Jourdan authored 8 years ago
  
  a30d1b32
Mar 04, 2017
- Make box a definition and prove it contractive · 9b92a3cf
  Ralf Jung authored 8 years ago
  
  This also allows us to get rid of ctx_eq
  9b92a3cf
Mar 01, 2017
- switch to new CI machine · 08170eab
  Ralf Jung authored 8 years ago
  
  08170eab
Jan 13, 2017
- opam-ci: avoid re-downloading already properly pinned packages · 5a475f3a
  Ralf Jung authored 8 years ago
  
  5a475f3a
Jan 05, 2017
- CI: measure the timing · 7cd13c88
  Ralf Jung authored 8 years ago
  
  7cd13c88
Dec 26, 2016
- switch CI to Coq 8.6 · 826b90c5
  Ralf Jung authored 8 years ago
  
  826b90c5
Dec 21, 2016
- ssreflect 1.6.1 is out :) · b1e5b11e
  Ralf Jung authored 8 years ago
  
  b1e5b11e
Dec 12, 2016
- README: document how to update the Iris dependency · 85782012
  Ralf Jung authored 8 years ago
  
  85782012
- fetch CI image from docker · 008272d0
  Ralf Jung authored 8 years ago
  
  008272d0
Nov 28, 2016
- new opam-based CI and build system · 73391eeb
  Ralf Jung authored 8 years ago
  
  73391eeb
Nov 03, 2016
- safeguard against outdated submodule · 08cc4d2b
  Ralf Jung authored 8 years ago
  
  08cc4d2b
- update CI: rely on runner not cleaning submodules to cache Iris · 8b2d6bd9
  Ralf Jung authored 8 years ago
  
  8b2d6bd9
- add CI builds · 16b5e413
  Ralf Jung authored 8 years ago
  
  16b5e413