Commits · 4717ce6e15435850cb06176e6e53fa754a177e77 · Jonas Kastberg / iris

14 Dec, 2016 2 commits
- fix CI · 4717ce6e
  Ralf Jung authored Dec 14, 2016
  
  4717ce6e
- re-enable make validate on CI · 1d2880b3
  Ralf Jung authored Dec 14, 2016
  
  1d2880b3
12 Dec, 2016 2 commits
- fix CI · b890654a
  Ralf Jung authored Dec 12, 2016
  
  b890654a
- use OPAM-based CI · 99470279
  Ralf Jung authored Dec 12, 2016
  
  99470279
21 Nov, 2016 1 commit
- make done and fast_done more consistent in behavior · a7e91677
  Ralf Jung authored Nov 21, 2016
```
In particular, make sure we always try eassumption before reflexivity.
```
  a7e91677
19 Aug, 2016 3 commits
- CI: fix running coqchk · c8760ad9
  Ralf Jung authored Aug 19, 2016
  
  c8760ad9
- do "Print Assumptions" outside of sections · fd86b7bb
  Ralf Jung authored Aug 19, 2016
  
  fd86b7bb
- CI: run make verify · 4206ef52
  Ralf Jung authored Aug 19, 2016
  
  4206ef52
16 Aug, 2016 1 commit
- Remove old branch from gitlab-ci.yml · 85f005ea
  Jacques-Henri Jourdan authored Aug 16, 2016
  
  85f005ea
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 6 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
- try to get build times as an artifact · cbcf0903
  Ralf Jung authored Feb 24, 2016
  
  cbcf0903
23 Feb, 2016 1 commit
- time the CI build. also use less cores to hopefully get more stable timing. · bcfc00b8
  Ralf Jung authored Feb 23, 2016
  
  bcfc00b8
22 Feb, 2016 2 commits
- CI: parallel build · dcaea50a
  Ralf Jung authored Feb 22, 2016
  
  dcaea50a
- try to tell gitlab CI what to do · f391510d
  Ralf Jung authored Feb 22, 2016
  
  f391510d