Commits · 27f524e017264790d8a3bf38f6fcf807e3a8cce3 · Iris / Fairis

18 Jun, 2019 1 commit
- prepare for API-triggered builds · 27f524e0
  Ralf Jung authored Jun 18, 2019
  
  27f524e0
28 Feb, 2019 5 commits
- fix TIMING_CONF · 85307154
  Ralf Jung authored Feb 28, 2019
  
  85307154
- time Coq 8.9.0 · 8068171b
  Ralf Jung authored Feb 28, 2019
  
  8068171b
- bump Iris; test against Coq 8.9.0 · 8904e823
  Ralf Jung authored Feb 28, 2019
  
  8904e823
- update URL for iris repo · 0fab6206
  Ralf Jung authored Feb 28, 2019
  
  0fab6206
- test against std++ master every night · 3dc9e62c
  Ralf Jung authored Feb 28, 2019
  
  3dc9e62c
21 Feb, 2019 2 commits
- update CI and Makefile · e9b9b0e4
  Ralf Jung authored Feb 21, 2019
  
  e9b9b0e4
- Update CI to reflect promotion to master. · 9dc755f3
  Joseph Tassarotti authored Feb 21, 2019
  
  9dc755f3
19 Dec, 2018 1 commit
- update Makefile and CI config · 0809b0fd
  Ralf Jung authored Dec 19, 2018
  
  0809b0fd
30 Sep, 2018 1 commit
- write URLs the way opam writes them · c25061df
  Ralf Jung authored Sep 30, 2018
  
  c25061df
19 Sep, 2018 2 commits
- dont share cache with other branch · f3143765
  Ralf Jung authored Sep 19, 2018
  
  f3143765
- use Docker image matching CI branch · e052afb4
  Ralf Jung authored Sep 19, 2018
  
  e052afb4
19 May, 2018 1 commit
- also ignore axioms for nightly builds · 793688f4
  Ralf Jung authored May 19, 2018
  
  793688f4
09 May, 2018 2 commits
- out-out of axiom check · 43a7637e
  Ralf Jung authored May 09, 2018
  
  43a7637e
- update CI and Makefile · 50700e58
  Ralf Jung authored May 09, 2018
  
  50700e58
15 Mar, 2018 1 commit
- provide trigger to test against latest iris · 86ef47fe
  Ralf Jung authored Mar 15, 2018
  
  86ef47fe
07 Mar, 2018 1 commit
- fix CI · 91abb4a2
  Ralf Jung authored Mar 07, 2018
  
  91abb4a2
06 Mar, 2018 1 commit
- CI: use timing runner · 3a484b25
  Ralf Jung authored Mar 06, 2018
  
  3a484b25
05 Mar, 2018 4 commits
- we use classical axioms · 07253ca5
  Ralf Jung authored Mar 05, 2018
  
  07253ca5
- Coq 8.7.0 is too old · 7df95753
  Ralf Jung authored Mar 05, 2018
  
  7df95753
- fix CI · d09f997f
  Ralf Jung authored Mar 05, 2018
  
  d09f997f
- update for CI · 9c4e36cc
  Ralf Jung authored Mar 05, 2018
  
  9c4e36cc
19 Jul, 2016 5 commits
- Remove no longer existing branch from .gitlab-ci.yml. · 2ad416e7
  Robbert Krebbers authored Jul 19, 2016
  
  2ad416e7
- show more inforation in build log · d405b75c
  Ralf Jung authored Jul 19, 2016
  
  d405b75c
- prefer tee over cats · 748638de
  Ralf Jung authored Jul 19, 2016
  
  748638de
- try to also capture user/sys time of building · 3bc77e01
  Ralf Jung authored Jul 19, 2016
  
  3bc77e01
- dump build times in the log, for good measure · a0df9c55
  Ralf Jung authored Jul 19, 2016
  
  a0df9c55
16 Jul, 2016 2 commits
- Revert "Add branch rk/substitution to gitlab-ci.yml." · b598e0d5
  Robbert Krebbers authored Jul 16, 2016
```
This reverts commit 6076bbc6.
```
  b598e0d5
- Fix typo in .gitlab-ci.yml. · 85621934
  Robbert Krebbers authored Jul 16, 2016
  
  85621934
15 Jul, 2016 2 commits
- Add branch rk/substitution to gitlab-ci.yml. · 6076bbc6
  Robbert Krebbers authored Jul 15, 2016
  
  6076bbc6
- Remove dependent types in heap_lang representation. · 30f13e2d
  Robbert Krebbers authored Jul 15, 2016
  
  30f13e2d
13 Jul, 2016 1 commit
- print the version of Coq that was used · a27a4f86
  Ralf Jung authored Jul 13, 2016
  
  a27a4f86
21 Jun, 2016 1 commit
- Include jh_simplified_ressources in the CI branches · 119562b9
  Jacques-Henri Jourdan authored Jun 21, 2016
  
  119562b9
11 Mar, 2016 1 commit
- fail the build if an Axiom has been found · 96a43618
  Ralf Jung authored Mar 11, 2016
  
  96a43618
03 Mar, 2016 1 commit
- run CI job only for master branch · 94b9b51e
  Ralf Jung authored Mar 03, 2016
  
  94b9b51e
24 Feb, 2016 5 commits
- CI: also capture stderr · 7e49776c
  Ralf Jung authored Feb 24, 2016
  
  7e49776c
- still print all the things · 760b7170
  Ralf Jung authored Feb 24, 2016
  
  760b7170
- fix regexp · a868422d
  Ralf Jung authored Feb 24, 2016
  
  a868422d
- fix yaml syntax · d50f8c16
  Ralf Jung authored Feb 24, 2016
  
  d50f8c16
- fix yaml syntax · 9007c97e
  Ralf Jung authored Feb 24, 2016
  
  9007c97e