Commits · 6eeb2c954677f6887a671de723413dedb0185df7 · Lennard Gäher / Iris

28 Jan, 2019 1 commit
- reflect in README that this is the 3.1 branch · 6eeb2c95
  Ralf Jung authored Jan 28, 2019
  
  6eeb2c95
19 Sep, 2018 1 commit
- use Docker image matching CI branch · a9a865a9
  Ralf Jung authored Sep 19, 2018
  
  a9a865a9
18 Sep, 2018 1 commit
- update CI for opam 2 · 83248485
  Ralf Jung authored Sep 18, 2018
  
  83248485
03 Sep, 2018 1 commit
- Merge branch 'ci/3.1.0' into 'iris-3.1' · a2d09e8c
  Ralf Jung authored Sep 03, 2018
```
Port new CI to iris-3.1.

See merge request FP/iris-coq!174
```
  a2d09e8c
31 Aug, 2018 1 commit
- Address Ralf's feedback in .gitlab-ci.yml. · 2ab25b8a
  Janno authored Aug 31, 2018
  
  2ab25b8a
30 Aug, 2018 1 commit
- Port new CI to iris-3.1. · 256f1bef
  Janno authored Aug 30, 2018
  
  256f1bef
29 Aug, 2018 1 commit
- we are compatible with Coq 8.8 · 5fba55cc
  Ralf Jung authored Aug 29, 2018
  
  5fba55cc
16 Feb, 2018 1 commit
- adapt CI to iris-3.1 branch · 6245f540
  Ralf Jung authored Feb 16, 2018
  
  6245f540
18 Dec, 2017 9 commits
- use std++ 1.1 · 3e923399
  Ralf Jung authored Dec 18, 2017
  
  3e923399
- mention required opam version · e4de954a
  Ralf Jung authored Dec 18, 2017
  
  e4de954a
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/iris-coq · cbea806e
  Ralf Jung authored Dec 18, 2017
  
  cbea806e
- test agains 8.7.1 · 5ad6c3b9
  Ralf Jung authored Dec 18, 2017
  
  5ad6c3b9
- Update CONTRIBUTING.md · 3c76c273
  Ralf Jung authored Dec 18, 2017
  
  3c76c273
- Update CONTRIBUTING.md · 9ded15fb
  Ralf Jung authored Dec 18, 2017
  
  9ded15fb
- update std++ · 9bedfb84
  Ralf Jung authored Dec 18, 2017
  
  9bedfb84
- update CONTRIBUTING · 3a4ef9a8
  Ralf Jung authored Dec 18, 2017
  
  3a4ef9a8
- update README · c53ec25f
  Ralf Jung authored Dec 18, 2017
  
  c53ec25f
14 Dec, 2017 5 commits
- improve IPM deprecation warning · 6d37fbe4
  Ralf Jung authored Dec 14, 2017
  
  6d37fbe4
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/iris-coq · feccb48c
  Ralf Jung authored Dec 14, 2017
  
  feccb48c
- add upload script · 2038efcb
  Ralf Jung authored Dec 14, 2017
  
  2038efcb
- Changelog: Do not line break in code in Markdown. · 94446fec
  Robbert Krebbers authored Dec 14, 2017
```
That confuses Gitlab's pretty-printer.
```
  94446fec
- Link to std++ in the Changelog. · c65984c2
  Robbert Krebbers authored Dec 14, 2017
  
  c65984c2
13 Dec, 2017 10 commits
- CHANGELOG · 48419ecc
  Ralf Jung authored Dec 13, 2017
  
  48419ecc
- update README · 3b1fcdab
  Ralf Jung authored Dec 13, 2017
  
  3b1fcdab
- README: Examples -> Case Studies · 556be055
  Ralf Jung authored Dec 13, 2017
  
  556be055
- add iris-atomic · 1cd3cfbf
  Ralf Jung authored Dec 13, 2017
  
  1cd3cfbf
- add examples section · 19dced59
  Ralf Jung authored Dec 13, 2017
  
  19dced59
- update README · ed9b3eef
  Ralf Jung authored Dec 13, 2017
  
  ed9b3eef
- docs: entailment needs validity · 33806ff8
  Ralf Jung authored Dec 13, 2017
  
  33806ff8
- superscript looks better · 4c7f8414
  Ralf Jung authored Dec 13, 2017
  
  4c7f8414
- consistently use new stateinterp notation · e2a144ed
  Ralf Jung authored Dec 13, 2017
  
  e2a144ed
- WP def.n tweaking · 7e2d2dbc
  Ralf Jung authored Dec 13, 2017
  
  7e2d2dbc
12 Dec, 2017 2 commits
- better section title · c2f75971
  Ralf Jung authored Dec 12, 2017
  
  c2f75971
- docs: WP stuckness · 9647cb87
  Ralf Jung authored Dec 12, 2017
  
  9647cb87
11 Dec, 2017 6 commits
- typo · a1fbc5c9
  Ralf Jung authored Dec 11, 2017
  
  a1fbc5c9
- docs: typo · c3585db7
  Ralf Jung authored Dec 11, 2017
  
  c3585db7
- move the dynamic composeable higher-order ghost state logic up so it does not... · c83e64a1
  Ralf Jung authored Dec 11, 2017
```
move the dynamic composeable higher-order ghost state logic up so it does not seem to depend on  a language
```
  c83e64a1
- cancellable invariants · d48b2c6a
  Ralf Jung authored Dec 11, 2017
  
  d48b2c6a
- describe frac RA · 82aa84a7
  Ralf Jung authored Dec 11, 2017
  
  82aa84a7
- refer to journal paper · a007ecf5
  Ralf Jung authored Dec 11, 2017
  
  a007ecf5