Commits · 298cd71e4bb4edb757c05a2d8539dcc0cfe6866b · Matthieu Sozeau / Iris

29 Jan, 2019 1 commit
- bump std++ · 298cd71e
  Ralf Jung authored Jan 29, 2019
  
  298cd71e
28 Jan, 2019 3 commits
- bump stdpp · bfd9a459
  Ralf Jung authored Jan 28, 2019
  
  bfd9a459
- test against Coq 8.9.0 · d227bba2
  Ralf Jung authored Jan 28, 2019
  
  d227bba2
- update URL · f42513b7
  Ralf Jung authored Jan 28, 2019
  
  f42513b7
27 Jan, 2019 2 commits
- Merge branch 'ci/ralf/reftest' into 'master' · 9896799d
  Ralf Jung authored Jan 27, 2019
```
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 Jan 27, 2019
  
  68f44f23
26 Jan, 2019 1 commit
- Support multiset union in the proof mode. · b036013f
  Robbert Krebbers authored Jan 26, 2019
  
  b036013f
25 Jan, 2019 5 commits
- Bump stdpp. · 6a8c782b
  Robbert Krebbers authored Jan 25, 2019
  
  6a8c782b
- fix ref file · 67d38ea8
  Ralf Jung authored Jan 25, 2019
  
  67d38ea8
- Merge branch 'ralf/awp_apply' into 'master' · 20534ab1
  Ralf Jung authored Jan 25, 2019
```
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 Jan 25, 2019
  
  9e2e8f0a
- Merge branch 'ralf/opam' into 'master' · df52d38f
  Ralf Jung authored Jan 25, 2019
```
fix `make build-dep`

See merge request FP/iris-coq!207
```
  df52d38f
24 Jan, 2019 28 commits
- a note on TC resolution · e8f25c81
  Ralf Jung authored Jan 24, 2019
  
  e8f25c81
- more docs · 1f4a4d60
  Ralf Jung authored Jan 24, 2019
  
  1f4a4d60
- use WP sugar · 0c5631c4
  Ralf Jung authored Jan 24, 2019
  
  0c5631c4
- explain the awp_apply tactics a bit · f530c3ec
  Ralf Jung authored Jan 24, 2019
  
  f530c3ec
- COQTEST: get rid of old filtering stuff · 69273c98
  Ralf Jung authored Jan 24, 2019
  
  69273c98
- test awp_apply without · 97f7dfb3
  Ralf Jung authored Jan 24, 2019
  
  97f7dfb3
- introduce awp_apply tactic for applying atomic WP · d4942fbf
  Ralf Jung authored Jan 24, 2019
  
  d4942fbf
- re-enable notation testing for Coq 8.10 · b8973675
  Ralf Jung authored Jan 24, 2019
  
  b8973675
- reinstate opam 1.2 compatibility in a separate untested code path · dbcad82b
  Ralf Jung authored Jan 24, 2019
  
  dbcad82b
- simplify make build-dep · f8c8e5cf
  Ralf Jung authored Jan 24, 2019
  
  f8c8e5cf
- make sure things are really installed after make build-dep · 598cefea
  Ralf Jung authored Jan 24, 2019
  
  598cefea
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/iris-coq into master.2 · 6de240cc
  Ralf Jung authored Jan 24, 2019
  
  6de240cc
- fix typo in README.md · c9cb49c6
  Ralf Jung authored Jan 24, 2019
  
  c9cb49c6
- bump std++ to fix and test λ.. notation printing · aca9ea1c
  Ralf Jung authored Jan 24, 2019
  
  aca9ea1c
- Merge branch 'master' of https://gitlab.mpi-sws.org/FP/iris-coq · 3a20ec7f
  Ralf Jung authored Jan 24, 2019
  
  3a20ec7f
- tweak direct proof · c66ccdc5
  Ralf Jung authored Jan 24, 2019
  
  c66ccdc5
- Add link to Iron in README. · 8d6c6a54
  Robbert Krebbers authored Jan 24, 2019
  
  8d6c6a54
- update links · e65f78d2
  Ralf Jung authored Jan 24, 2019
  
  e65f78d2
- Merge branch 'ralf/readme' into 'master' · 31e583a3
  Ralf Jung authored Jan 24, 2019
```
tweak README

See merge request FP/iris-coq!206
```
  31e583a3
- tweak docs some more · 0f31e622
  Ralf Jung authored Jan 24, 2019
  
  0f31e622
- a direct-style proof of the incr_spec · 5f0b7f09
  Ralf Jung authored Jan 24, 2019
  
  5f0b7f09
- move the section about chat + mailing list to README · 45c5fb3a
  Ralf Jung authored Jan 24, 2019
  
  45c5fb3a
- Merge branch 'ralf/contrib' into 'master' · cbc915e2
  Ralf Jung authored Jan 24, 2019
```
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 Jan 24, 2019
  
  02513979
- bump std++ · 31029e66
  Ralf Jung authored Jan 24, 2019
  
  31029e66
- Merge branch 'instance-nobody-open-proof' into 'master' · 5c797347
  Ralf Jung authored Jan 24, 2019
```
Make trivial instances explicit

See merge request FP/iris-coq!204
```
  5c797347
- editing · 9142dc50
  Ralf Jung authored Jan 24, 2019
  
  9142dc50
- move everything contribution-related to CONTRIBUTING.md, and link to it from README · e58cd282
  Ralf Jung authored Jan 24, 2019
  
  e58cd282