Commits · 3c76c273d9414d0acf58e153570df0539f60dd6d · Maxime Dénès / iris-coq

Dec 18, 2017
- Update CONTRIBUTING.md · 3c76c273
  Ralf Jung authored 7 years ago
  
  3c76c273
- Update CONTRIBUTING.md · 9ded15fb
  Ralf Jung authored 7 years ago
  
  9ded15fb
- update std++ · 9bedfb84
  Ralf Jung authored 7 years ago
  
  9bedfb84
- update CONTRIBUTING · 3a4ef9a8
  Ralf Jung authored 7 years ago
  
  3a4ef9a8
- update README · c53ec25f
  Ralf Jung authored 7 years ago
  
  c53ec25f
Dec 14, 2017
- improve IPM deprecation warning · 6d37fbe4
  Ralf Jung authored 7 years ago
  
  6d37fbe4
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/iris-coq · feccb48c
  Ralf Jung authored 7 years ago
  
  feccb48c
- add upload script · 2038efcb
  Ralf Jung authored 7 years ago
  
  2038efcb
- Changelog: Do not line break in code in Markdown. · 94446fec
  Robbert Krebbers authored 7 years ago
  
  That confuses Gitlab's pretty-printer.
  94446fec
- Link to std++ in the Changelog. · c65984c2
  Robbert Krebbers authored 7 years ago
  
  c65984c2
Dec 13, 2017
- CHANGELOG · 48419ecc
  Ralf Jung authored 7 years ago
  
  48419ecc
- update README · 3b1fcdab
  Ralf Jung authored 7 years ago
  
  3b1fcdab
- README: Examples -> Case Studies · 556be055
  Ralf Jung authored 7 years ago
  
  556be055
- add iris-atomic · 1cd3cfbf
  Ralf Jung authored 7 years ago
  
  1cd3cfbf
- add examples section · 19dced59
  Ralf Jung authored 7 years ago
  
  19dced59
- update README · ed9b3eef
  Ralf Jung authored 7 years ago
  
  ed9b3eef
- docs: entailment needs validity · 33806ff8
  Ralf Jung authored 7 years ago
  
  33806ff8
- superscript looks better · 4c7f8414
  Ralf Jung authored 7 years ago
  
  4c7f8414
- consistently use new stateinterp notation · e2a144ed
  Ralf Jung authored 7 years ago
  
  e2a144ed
- WP def.n tweaking · 7e2d2dbc
  Ralf Jung authored 7 years ago
  
  7e2d2dbc
Dec 12, 2017
- better section title · c2f75971
  Ralf Jung authored 7 years ago
  
  c2f75971
- docs: WP stuckness · 9647cb87
  Ralf Jung authored 7 years ago
  
  9647cb87
Dec 11, 2017
- typo · a1fbc5c9
  Ralf Jung authored 7 years ago
  
  a1fbc5c9
- docs: typo · c3585db7
  Ralf Jung authored 7 years ago
  
  c3585db7
- move the dynamic composeable higher-order ghost state logic up so it does not... · c83e64a1
  Ralf Jung authored 7 years ago
  
  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 7 years ago
  
  d48b2c6a
- describe frac RA · 82aa84a7
  Ralf Jung authored 7 years ago
  
  82aa84a7
- refer to journal paper · a007ecf5
  Ralf Jung authored 7 years ago
  
  a007ecf5
- more experimental changelog · 042393e6
  Ralf Jung authored 7 years ago
  
  042393e6
- changelog · df0f72f0
  Ralf Jung authored 7 years ago
  
  df0f72f0
Dec 10, 2017
- fix title from assertion -> proposition rename · 30f50796
  Ralf Jung authored 7 years ago
  
  30f50796
- Docs: Do not abbreviate. · b6fb28b7
  Robbert Krebbers authored 7 years ago
  
  b6fb28b7
- Docs: assertion → proposition (as in the ground up paper). · bf46989d
  Robbert Krebbers authored 7 years ago
  
  bf46989d
- Docs: remark about name "Camera". · e1f4aaad
  Robbert Krebbers authored 7 years ago
  
  e1f4aaad
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/iris-coq · 46313843
  Ralf Jung authored 7 years ago
  
  46313843
- fix a caption · 05f201af
  Ralf Jung authored 7 years ago
  
  05f201af
- Docs: CMRA → Camera (as in the Ground Up paper). · 03fe24e2
  Robbert Krebbers authored 7 years ago
  
  03fe24e2
- missed a caption · fd729747
  Ralf Jung authored 7 years ago
  
  fd729747
- fix captialization · d31256c0
  Ralf Jung authored 7 years ago
  
  d31256c0
- Revert "Docs: fix capitals of section." · d96f252e
  Ralf Jung authored 7 years ago
  
  This reverts commit 7a6d36c6.
  d96f252e