Merge requests · Iris / examples

Add array-based queuing lock example

!34 · created May 14, 2020 by Simon Friis Vindum
- Merged
- 106
updated Jun 30, 2020
Update dependencies

!39 · created Jun 18, 2020 by Simon Friis Vindum
- Merged
- 2
updated Jun 18, 2020
Remove many variants of logical relations

!35 · created May 29, 2020 by Robbert Krebbers
- Merged
- 20
updated Jun 03, 2020
Correct use of iris-string-ident

!33 · created Apr 29, 2020 by Paolo G. Giarrusso
- Merged
- 3
updated Apr 30, 2020
use string-ident plugin a bit

!32 · created Apr 07, 2020 by Ralf Jung
- Merged
updated Apr 10, 2020
fill in blanks in LICENSE

!31 · created Mar 13, 2020 by Ralf Jung
- Merged
- 2
updated Mar 14, 2020
Modification of the RDCSS example to use meta tokens

!30 · created Nov 13, 2019 by Rodolphe Lepigre
- Merged
- 13
updated Nov 14, 2019
Comment in the RDCSS spec about GClocs.

!29 · created Nov 12, 2019 by Rodolphe Lepigre
- Merged
- 15
updated Nov 13, 2019
Typed prophecy variables + cleanup

!28 · created Nov 11, 2019 by Rodolphe Lepigre
- Merged
- 40
updated Nov 12, 2019
Fix logrel soundness proofs

!27 · created Nov 07, 2019 by Amin Timany
- Merged
- 23
updated Nov 07, 2019
Continuation change, extract_proph_winner change

!26 · created Jul 10, 2019 by Ghost User
- Merged
- 5
updated Jul 11, 2019
Changed ghost location from location to prophecy variable

!24 · created Jul 04, 2019 by Ghost User
- Merged
- 16
updated Jul 08, 2019
Herlihy-Wing queue example (involving prophecy variables)

!25 · created Jul 05, 2019 by Rodolphe Lepigre
- Merged
- 1
updated Jul 05, 2019
generalized rdcss to arbitrary (unboxed) values

!23 · created Jul 03, 2019 by Ghost User
- Merged
- 15
updated Jul 04, 2019
Add erasure

!22 · created Jun 26, 2019 by Amin Timany
- Merged
- 4
updated Jun 26, 2019
Fix and conditional increment example

!19 · created Jun 04, 2019 by Rodolphe Lepigre
- Merged
- 2
updated Jun 04, 2019
Some [positive] was sometimes used for [loc], which is now abstract.

!18 · created May 31, 2019 by Rodolphe Lepigre
- Merged
- 5
updated May 31, 2019
Shorter barrier proof that uses auth instead of sts.

!16 · created May 06, 2019 by Robbert Krebbers
- Merged
- 9
updated May 28, 2019
Bump Iris with changes in `auth`

!17 · created May 24, 2019 by Hai Dang
- Merged
updated May 24, 2019
Fix atomic snapshot example

!15 · created Mar 27, 2019 by Rodolphe Lepigre
- Merged
- 3
updated Mar 28, 2019