Commits · f42513b7294b32697316e8613a1b43ef7c51fa6e · Pierre Roux / Iris

Jan 28, 2019
- update URL · f42513b7
  Ralf Jung authored 6 years ago
  
  f42513b7
Jan 27, 2019
- Merge branch 'ci/ralf/reftest' into 'master' · 9896799d
  Ralf Jung authored 6 years ago
  
  re-enable notation testing for Coq 8.10 See merge request FP/iris-coq!208
  9896799d
- Merge remote-tracking branch 'origin/master' into ci/ralf/reftest · 68f44f23
  Ralf Jung authored 6 years ago
  
  68f44f23
Jan 26, 2019
- Support multiset union in the proof mode. · b036013f
  Robbert Krebbers authored 6 years ago
  
  b036013f
Jan 25, 2019
- Bump stdpp. · 6a8c782b
  Robbert Krebbers authored 6 years ago
  
  6a8c782b
- fix ref file · 67d38ea8
  Ralf Jung authored 6 years ago
  
  67d38ea8
- Merge branch 'ralf/awp_apply' into 'master' · 20534ab1
  Ralf Jung authored 6 years ago
  
  simplify wp_atomic, add awp_apply tactic to apply atomic updates See merge request FP/iris-coq!209
  20534ab1
- 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
- a note on TC resolution · e8f25c81
  Ralf Jung authored 6 years ago
  
  e8f25c81
- more docs · 1f4a4d60
  Ralf Jung authored 6 years ago
  
  1f4a4d60
- use WP sugar · 0c5631c4
  Ralf Jung authored 6 years ago
  
  0c5631c4
- explain the awp_apply tactics a bit · f530c3ec
  Ralf Jung authored 6 years ago
  
  f530c3ec
- COQTEST: get rid of old filtering stuff · 69273c98
  Ralf Jung authored 6 years ago
  
  69273c98
- test awp_apply without · 97f7dfb3
  Ralf Jung authored 6 years ago
  
  97f7dfb3
- introduce awp_apply tactic for applying atomic WP · d4942fbf
  Ralf Jung authored 6 years ago
  
  d4942fbf
- re-enable notation testing for Coq 8.10 · b8973675
  Ralf Jung authored 6 years ago
  
  b8973675
- 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.
  Unverified
  
  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