Commits · master · Iris / examples

13 Jan, 2019 1 commit
- update std++ URL · 3596240a
  
  Ralf Jung authored Jan 13, 2019
  
  3596240a
12 Jan, 2019 1 commit
- Bump Iris. · 7a6e33bb
  
  Robbert Krebbers authored Jan 12, 2019
  
  7a6e33bb
11 Jan, 2019 1 commit
- Make use of nested specialization patterns. · 9dc89990
  
  Robbert Krebbers authored Jan 11, 2019
  
  9dc89990
21 Dec, 2018 1 commit
- Fix some deprecation warnings. · 380623ef
  
  Robbert Krebbers authored Dec 21, 2018
  
  380623ef
20 Dec, 2018 3 commits
- Merge branch 'robbert/logrel_heaplang' into 'master' · 86a81cbe
  
  Robbert authored Dec 20, 2018
```
Semantic typing for heap_lang

See merge request !12
```
  86a81cbe
- Add README entry. · 0fd1e1ba
  Robbert Krebbers authored Dec 20, 2018
  
  0fd1e1ba
- Semantic typing for heap_lang. · 6a5494aa
  Robbert Krebbers authored Dec 12, 2018
  
  6a5494aa
19 Dec, 2018 1 commit
- update Makefile and CI config · bac9c267
  
  Ralf Jung authored Dec 19, 2018
  
  bac9c267
11 Dec, 2018 2 commits
- drop Coq 8.7 · 1b2aa907
  
  Ralf Jung authored Dec 11, 2018
  
  1b2aa907
- Remove global from Typeclasses Opaque (not supported in Coq 8.7) · 636f6fb3
  
  Amin Timany authored Dec 11, 2018
  
  636f6fb3
10 Dec, 2018 5 commits
- Simplify the proof of factorial refinement · 21c3fd10
  
  Amin Timany authored Dec 10, 2018
  
  21c3fd10
- Simplify env_subst · 75cfa329
  Amin Timany authored Dec 10, 2018
  
  75cfa329
- Simplify stack programs · 76c60e8f
  Amin Timany authored Dec 10, 2018
  
  76c60e8f
- Improve counter · f72453a9
  Amin Timany authored Dec 06, 2018
  
  f72453a9
- Add Lam, Letin, and Seq in F_mu_ref_conc, add factorial example · 95bdb831
  Amin Timany authored Dec 06, 2018
  
  95bdb831
09 Dec, 2018 1 commit
- Add BSD3 LICENSE. This closes issue #10 . · ca2a84e5
  
  Robbert Krebbers authored Dec 09, 2018
  
  ca2a84e5
08 Nov, 2018 2 commits
- Bump Iris. · a89dc128
  
  Robbert Krebbers authored Nov 08, 2018
  
  a89dc128
- remove no-longer-needed Makefile hackery · f03c131c
  
  Ralf Jung authored Nov 08, 2018
  
  f03c131c
01 Nov, 2018 2 commits
- test against Coq 8.8.2, and use that for nightly builds as well · 2c09cf1f
  
  Ralf Jung authored Nov 01, 2018
  
  2c09cf1f
- Bump Iris. · 6e1d449c
  
  Robbert Krebbers authored Nov 01, 2018
  
  6e1d449c
31 Oct, 2018 1 commit
- Update coq-iris : R2L evaluation, curry functions, Val constructor. · c18dc76f
  
  Jacques-Henri Jourdan authored Oct 31, 2018
  
  c18dc76f
23 Oct, 2018 1 commit
- bump Iris and fix logrel · 288dbd0c
  
  Ralf Jung authored Oct 23, 2018
  
  288dbd0c
07 Oct, 2018 1 commit
- Fix opam. · 34b978b5
  
  Robbert Krebbers authored Oct 07, 2018
  
  34b978b5
06 Oct, 2018 1 commit
- Bump Iris. · 778406b2
  
  Robbert Krebbers authored Oct 06, 2018
  
  778406b2
30 Sep, 2018 1 commit
- write URLs the way opam writes them · b9e22933
  
  Ralf Jung authored Sep 30, 2018
  
  b9e22933
19 Sep, 2018 1 commit
- use Docker image matching CI branch · 81d56417
  
  Ralf Jung authored Sep 19, 2018
  
  81d56417
18 Sep, 2018 1 commit
- update CI for opam 2 · 9f14f4f8
  
  Ralf Jung authored Sep 18, 2018
  
  9f14f4f8
13 Jul, 2018 8 commits
- fix for Coq 8.7 · 45797729
  
  Ralf Jung authored Jul 13, 2018
  
  45797729
- Merge branch 'logatom_stack' into 'master' · 65e38263
  
  Ralf Jung authored Jul 13, 2018
```
Logically atomic stack

See merge request FP/iris-examples!9
```
  65e38263
- add abstract HoCAP-style spec and show that it implies the logically atomic one · 7c7bc060
  Ralf Jung authored Jun 18, 2018
  
  7c7bc060
- prove stack pop; add general stack interface · 1835a90a
  Ralf Jung authored Jun 13, 2018
  
  1835a90a
- prove stack push · 98ee891b
  Ralf Jung authored Jun 13, 2018
  
  98ee891b
- define the protocol and prove the constructor · 8ed6910d
  Ralf Jung authored Jun 13, 2018
  
  8ed6910d
- Start with logically atomic stack: Write the code · 43199eff
  Ralf Jung authored Jun 12, 2018
  
  43199eff
- bump Iris to master · f6521223
  
  Ralf Jung authored Jul 13, 2018
  
  f6521223
05 Jul, 2018 1 commit
- concurrent stacks: also unify concurrent bag (per-element) specs for stacks 1 and 2 · 0247cec5
  Ralf Jung authored Jul 05, 2018
  
  0247cec5
04 Jul, 2018 3 commits
- bump Iris · 68473b43
  Ralf Jung authored Jul 04, 2018
  
  68473b43
- bump Iris (for new pm_reduce) · 90fdd99e
  Ralf Jung authored Jul 04, 2018
  
  90fdd99e
- bump Iris: update to stronger CAS requirements · 77a45515
  Ralf Jung authored Jul 04, 2018
  
  77a45515
28 Jun, 2018 1 commit
- bump Iris · 2645095c
  Ralf Jung authored Jun 28, 2018
  
  2645095c