Commits · 29b31814deed19156395e92d292827ae0963d38b · Simcha van Collem / Iris

Aug 22, 2017
- require Coq 8.6.1 · 3b4865f8
  Ralf Jung authored 7 years ago
  
  3b4865f8
- rename template; it is actually fairly generic · df425156
  Ralf Jung authored 7 years ago
  
  df425156
- test both 8.6 and 8.6.1 · 58a2f3b6
  Ralf Jung authored 7 years ago
  
  58a2f3b6
- CI: use Coq 8.6.1 · 6b532ec5
  Ralf Jung authored 7 years ago
  
  6b532ec5
May 12, 2017
- keep building as many files as possible · 07cf3665
  Ralf Jung authored 7 years ago
  
  07cf3665
Mar 14, 2017
- CI config: run CI on all branches starting with 'CI' · 81a673c6
  Ralf Jung authored 8 years ago
  
  81a673c6
Feb 20, 2017
- use new CI machine · 48f8e008
  Ralf Jung authored 8 years ago
  
  48f8e008
Feb 16, 2017
- we totally did not record timing in artifacts since we switched to 8.6-only... · f42d7b3e
  Ralf Jung authored 8 years ago
  
  f42d7b3e
Jan 17, 2017
- fix YAML · 6a39300e
  Ralf Jung authored 8 years ago
  
  6a39300e
- *oops* we stopped recording per-file compile times on the CI when we disabled 8.5... · dd2af4f3
  Ralf Jung authored 8 years ago
  
  dd2af4f3
Jan 13, 2017
- avoid re-downloading already properly pinned packages · b5fa9b29
  Ralf Jung authored 8 years ago
  
  b5fa9b29
Jan 11, 2017
- no longer test on or support Coq 8.5 · 8706664d
  Ralf Jung authored 8 years ago
  
  8706664d
Jan 05, 2017
- fix CI testing for axioms in build output · 6db2ae8e
  Ralf Jung authored 8 years ago
  
  6db2ae8e
Dec 21, 2016
- ssreflect 1.6.1 is out :) · 69d1bf6f
  Ralf Jung authored 8 years ago
  
  69d1bf6f
Dec 18, 2016
- CI: script spacing · 2e3a9be0
  Ralf Jung authored 8 years ago
  
  2e3a9be0
- fix coq 8.6 CI job name · c4712cad
  Ralf Jung authored 8 years ago
  
  c4712cad
- build against the released Coq 8.6 · 8fd9c718
  Ralf Jung authored 8 years ago
  
  8fd9c718
Dec 14, 2016
- do make validate with just 10% probability · 0b97288f
  Ralf Jung authored 8 years ago
  
  0b97288f
- fix CI · 4717ce6e
  Ralf Jung authored 8 years ago
  
  4717ce6e
- re-enable make validate on CI · 1d2880b3
  Ralf Jung authored 8 years ago
  
  1d2880b3
Dec 12, 2016
- fix CI · b890654a
  Ralf Jung authored 8 years ago
  
  b890654a
- use OPAM-based CI · 99470279
  Ralf Jung authored 8 years ago
  
  99470279
Nov 21, 2016
- make done and fast_done more consistent in behavior · a7e91677
  Ralf Jung authored 8 years ago
  
  In particular, make sure we always try eassumption before reflexivity.
  a7e91677
Aug 19, 2016
- CI: fix running coqchk · c8760ad9
  Ralf Jung authored 8 years ago
  
  c8760ad9
- do "Print Assumptions" outside of sections · fd86b7bb
  Ralf Jung authored 8 years ago
  
  fd86b7bb
- CI: run make verify · 4206ef52
  Ralf Jung authored 8 years ago
  
  4206ef52
Aug 16, 2016
- Remove old branch from gitlab-ci.yml · 85f005ea
  Jacques-Henri Jourdan authored 8 years ago
  
  85f005ea
Jul 19, 2016
- Remove no longer existing branch from .gitlab-ci.yml. · 2ad416e7
  Robbert Krebbers authored 8 years ago
  
  2ad416e7
- show more inforation in build log · d405b75c
  Ralf Jung authored 8 years ago
  
  d405b75c
- prefer tee over cats · 748638de
  Ralf Jung authored 8 years ago
  
  748638de
- try to also capture user/sys time of building · 3bc77e01
  Ralf Jung authored 8 years ago
  
  3bc77e01
- dump build times in the log, for good measure · a0df9c55
  Ralf Jung authored 8 years ago
  
  a0df9c55
Jul 16, 2016
- Revert "Add branch rk/substitution to gitlab-ci.yml." · b598e0d5
  Robbert Krebbers authored 8 years ago
  
  This reverts commit 6076bbc6.
  b598e0d5
- Fix typo in .gitlab-ci.yml. · 85621934
  Robbert Krebbers authored 8 years ago
  
  85621934
Jul 15, 2016
- Add branch rk/substitution to gitlab-ci.yml. · 6076bbc6
  Robbert Krebbers authored 8 years ago
  
  6076bbc6
- Remove dependent types in heap_lang representation. · 30f13e2d
  Robbert Krebbers authored 8 years ago
  
  30f13e2d
Jul 13, 2016
- print the version of Coq that was used · a27a4f86
  Ralf Jung authored 8 years ago
  
  a27a4f86
Jun 21, 2016
- Include jh_simplified_ressources in the CI branches · 119562b9
  Jacques-Henri Jourdan authored 8 years ago
  
  119562b9
Mar 11, 2016
- fail the build if an Axiom has been found · 96a43618
  Ralf Jung authored 9 years ago
  
  96a43618
Mar 03, 2016
- run CI job only for master branch · 94b9b51e
  Ralf Jung authored 9 years ago
  
  94b9b51e