Commits · 9e2e8f0a15f930b63e835687b83d7d2207a9d19b · Gaëtan Gilbert / Iris

Jan 25, 2019
- iris-atomic got merged into iris-examples · 9e2e8f0a
  Ralf Jung authored 6 years ago
  
  9e2e8f0a
- Merge branch 'ralf/opam' into 'master' · df52d38f
  Ralf Jung authored 6 years ago
  
  fix `make build-dep` See merge request FP/iris-coq!207
  df52d38f
Jan 24, 2019
- COQTEST: get rid of old filtering stuff · 69273c98
  Ralf Jung authored 6 years ago
  
  69273c98
- reinstate opam 1.2 compatibility in a separate untested code path · dbcad82b
  Ralf Jung authored 6 years ago
  
  dbcad82b
- simplify make build-dep · f8c8e5cf
  Ralf Jung authored 6 years ago
  
  f8c8e5cf
- make sure things are really installed after make build-dep · 598cefea
  Ralf Jung authored 6 years ago
  
  598cefea
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/iris-coq into master.2 · 6de240cc
  Ralf Jung authored 6 years ago
  
  6de240cc
- fix typo in README.md · c9cb49c6
  Ralf Jung authored 6 years ago
  
  c9cb49c6
- bump std++ to fix and test λ.. notation printing · aca9ea1c
  Ralf Jung authored 6 years ago
  
  aca9ea1c
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/iris-coq · 3a20ec7f
  Ralf Jung authored 6 years ago
  
  3a20ec7f
- tweak direct proof · c66ccdc5
  Ralf Jung authored 6 years ago
  
  c66ccdc5
- Add link to Iron in README. · 8d6c6a54
  Robbert Krebbers authored 6 years ago
  
  8d6c6a54
- update links · e65f78d2
  Ralf Jung authored 6 years ago
  
  e65f78d2
- Merge branch 'ralf/readme' into 'master' · 31e583a3
  Ralf Jung authored 6 years ago
  
  tweak README See merge request FP/iris-coq!206
  31e583a3
- tweak docs some more · 0f31e622
  Ralf Jung authored 6 years ago
  
  0f31e622
- a direct-style proof of the incr_spec · 5f0b7f09
  Ralf Jung authored 6 years ago
  
  5f0b7f09
- move the section about chat + mailing list to README · 45c5fb3a
  Ralf Jung authored 6 years ago
  
  45c5fb3a
- Merge branch 'ralf/contrib' into 'master' · cbc915e2
  Ralf Jung authored 6 years ago
  
  move everything contribution-related to CONTRIBUTING.md, and link to it from README See merge request FP/iris-coq!205
  cbc915e2
- tweaks · 02513979
  Ralf Jung authored 6 years ago
  
  02513979
- bump std++ · 31029e66
  Ralf Jung authored 6 years ago
  
  31029e66
- Merge branch 'instance-nobody-open-proof' into 'master' · 5c797347
  Ralf Jung authored 6 years ago
  
  Make trivial instances explicit See merge request FP/iris-coq!204
  5c797347
- editing · 9142dc50
  Ralf Jung authored 6 years ago
  
  9142dc50
- move everything contribution-related to CONTRIBUTING.md, and link to it from README · e58cd282
  Ralf Jung authored 6 years ago
  
  e58cd282
- Make trivial instances explicit · 2e426d3f
  Maxime Dénès authored 6 years ago
  
  This is in preparation for coq/coq#9274.
  2e426d3f
Jan 23, 2019
- Merge branch 'unicode_asterisk_in_docs' into 'master' · 455fec93
  Ralf Jung authored 6 years ago
  
  Added note about unicode asterisk to docs See merge request FP/iris-coq!203
  455fec93
- Added note about unicode asterisk to docs · 77695c5f
  Mackie Loeffel authored 6 years ago
  
  77695c5f
- Merge branch 'master+consequence-coq-pr9214-printing-bug-fixed' into 'master' · 9d39a93e
  Ralf Jung authored 6 years ago
  
  A Coq bug printing spurious parentheses has been fixed. See merge request FP/iris-coq!197
  9d39a93e
- temporarily disable testing on Coq 8.10, to land a change in Coq · 5b7f345c
  Ralf Jung authored 6 years ago
  
  5b7f345c
Jan 22, 2019
- A Coq bug printing spurious parentheses has been fixed. · ec3eb238
  Hugo Herbelin authored 6 years ago
  
  See Coq PR#9214.
  ec3eb238
- Merge branch 'ci/ralf/ref' into 'master' · b85a3cfc
  Ralf Jung authored 6 years ago
  
  Coq-version-specific ref files See merge request FP/iris-coq!202
  b85a3cfc
Jan 19, 2019
- fix README · 28f23802
  Ralf Jung authored 6 years ago
  
  28f23802
- don't test output of ancient Coq versions any more · 416491ed
  Ralf Jung authored 6 years ago
  
  416491ed
- also account for Coq 8.7 · f2e18fac
  Ralf Jung authored 6 years ago
  
  f2e18fac
- per-Coq-version .ref files · a36f7dcd
  Ralf Jung authored 6 years ago
  
  a36f7dcd
- Hoare existential rule · 15e4ed53
  Ralf Jung authored 6 years ago
  
  15e4ed53
- Merge branch 'ralf/mod-pretty' into 'master' · 119f7f41
  Ralf Jung authored 6 years ago
  
  prettify after iMod See merge request FP/iris-coq!201
  119f7f41
- temporarily disable notation tests on 8.9 as well · 3a8a6fe7
  Ralf Jung authored 6 years ago
  
  3a8a6fe7
- prettify after iMod · 0c51eb83
  Ralf Jung authored 6 years ago
  
  0c51eb83
- logically atomic increment on physical heap · 7de018e3
  Ralf Jung authored 6 years ago
  
  7de018e3
Jan 18, 2019
- Rename constructor of `uPred` into `UPred`. · da045e6b
  Robbert Krebbers authored 6 years ago
  
  da045e6b