Commits · master · Rodolphe Lepigre / examples

14 Nov, 2019 2 commits
- Merge branch 'rdcss_meta_token' into 'master' · a20140b8
  Ralf Jung authored Nov 14, 2019
```
Modification of the RDCSS example to use meta tokens

See merge request !30
```
  a20140b8
- Modification of the RDCSS example to use meta tokens · bbf33b66
  Rodolphe Lepigre authored Nov 14, 2019
```
(and some cleanup)
```
  bbf33b66
13 Nov, 2019 3 commits
- fix comment · d731cb31
  Ralf Jung authored Nov 13, 2019
  
  d731cb31
- Merge branch 'rdcss_comment' into 'master' · 815b0180
  Ralf Jung authored Nov 13, 2019
```
Comment in the RDCSS spec about GClocs.

See merge request !29
```
  815b0180
- Expand RDCSS comments · 6639940c
  Rodolphe Lepigre authored Nov 13, 2019
  
  6639940c
12 Nov, 2019 3 commits
- Merge branch 'typed_proph' into 'master' · 8de152b1
  Ralf Jung authored Nov 12, 2019
```
Typed prophecy variables + cleanup

See merge request !28
```
  8de152b1
- Typed prophecy variables + cleanup · 0c551f14
  Rodolphe Lepigre authored Nov 12, 2019
  
  0c551f14
- Bump iris (no changes needed) · f2637250
  Ralf Jung authored Nov 12, 2019
  
  f2637250
07 Nov, 2019 8 commits
- Bump Iris. · 3092552d
  Robbert Krebbers authored Nov 07, 2019
  
  3092552d
- Merge branch 'ci/amin/fix-logrell-soundness' into 'master' · dd32b1ff
  Ralf Jung authored Nov 07, 2019
```
Fix logrel soundness proofs

See merge request !27
```
  dd32b1ff
- Fix logrel soundness proofs · b95a80e0
  Amin Timany authored Nov 07, 2019
  
  b95a80e0
- link to opam repo commits for version numbers · a83f57e6
  Ralf Jung authored Nov 07, 2019
  
  a83f57e6
- rely on the new ocaml default · 53fab07f
  Ralf Jung authored Nov 07, 2019
  
  53fab07f
- fix ocaml version · f2c53bf9
  Ralf Jung authored Nov 07, 2019
  
  f2c53bf9
- switch CI to Coq 8.10.1 · f8f664fe
  Ralf Jung authored Nov 07, 2019
  
  f8f664fe
- update Makefile · 9612d208
  Ralf Jung authored Nov 07, 2019
  
  9612d208
06 Nov, 2019 1 commit
- and another 8.10 warning · 87ff31e9
  Ralf Jung authored Nov 06, 2019
  
  87ff31e9
02 Nov, 2019 2 commits
- bump Iris for LitErased -> LitPoison rename · 0c1aa0a0
  Ralf Jung authored Nov 02, 2019
  
  0c1aa0a0
- warnings management · 034e63b6
  Ralf Jung authored Nov 02, 2019
  
  034e63b6
31 Oct, 2019 1 commit
- Bump iris (no changes needed) · 57c481a9
  Ralf Jung authored Oct 31, 2019
  
  57c481a9
22 Oct, 2019 1 commit
- add some prophecy libs · 19c4dba6
  Ralf Jung authored Oct 22, 2019
  
  19c4dba6
19 Sep, 2019 1 commit
- Bump Iris. · 1813cb14
  Robbert Krebbers authored Sep 19, 2019
  
  1813cb14
29 Aug, 2019 2 commits
- credit where credit is due · 9795c36e
  Ralf Jung authored Aug 29, 2019
  
  9795c36e
- bump Iris · c0a33a82
  Ralf Jung authored Aug 29, 2019
  
  c0a33a82
14 Aug, 2019 1 commit
- more lemmas moved · 918aa45d
  Ralf Jung authored Aug 14, 2019
  
  918aa45d
13 Aug, 2019 2 commits
- Cleanup in HWQ example (remove stuff moved to libraries). · 66d82e37
  Rodolphe Lepigre authored Aug 14, 2019
  
  66d82e37
- Bump Iris. · 60001769
  Robbert Krebbers authored Aug 13, 2019
  
  60001769
13 Jul, 2019 1 commit
- more logatom case studies · 3f33781f
  Ralf Jung authored Jul 13, 2019
  
  3f33781f
11 Jul, 2019 3 commits
- remove SearchAbout · 193241d0
  Ralf Jung authored Jul 11, 2019
  
  193241d0
- Merge branch 'master' into 'master' · a58a15e2
  Ralf Jung authored Jul 11, 2019
```
Continuation change, extract_proph_winner change

See merge request iris/examples!26
```
  a58a15e2
- Continuation change, extract_proph_winner change · 84a26b18
  Gaurav Parthasarathy authored Jul 11, 2019
  
  84a26b18
09 Jul, 2019 2 commits
- more honest opam file · 77e03801
  Ralf Jung authored Jul 09, 2019
  
  77e03801
- bump Iris · 2f46b6cc
  Ralf Jung authored Jul 09, 2019
  
  2f46b6cc
08 Jul, 2019 2 commits
- Merge branch 'master' into 'master' · cda53d79
  Ralf Jung authored Jul 08, 2019
```
Changed ghost location from location to prophecy variable

See merge request iris/examples!24
```
  cda53d79
- Changed ghost location from location to prophecy variable · 3f290bac
  Gaurav Parthasarathy authored Jul 08, 2019
  
  3f290bac
05 Jul, 2019 3 commits
- Merge branch 'hwq' into 'master' · c59dbc70
  Ralf Jung authored Jul 05, 2019
```
Herlihy-Wing queue example (involving prophecy variables)

See merge request iris/examples!25
```
  c59dbc70
- Herlihy-Wing queue example (involving prophecy variables) · 6454d3df
  Rodolphe Lepigre authored Jul 05, 2019
  
  6454d3df
- bump Iris · 95827b99
  Ralf Jung authored Jul 05, 2019
  
  95827b99
04 Jul, 2019 2 commits
- get the pair out of the snapshot · dd8fb7be
  Ralf Jung authored Jul 04, 2019
  
  dd8fb7be
- Merge branch 'master' into 'master' · db346db7
  Ralf Jung authored Jul 04, 2019
```
generalized rdcss to arbitrary (unboxed) values

See merge request !23
```
  db346db7