Merge Requests · Iris / examples

avoid using Hoare triples

!43 · opened Dec 12, 2020 by Ralf Jung
- 1
updated Dec 12, 2020
Use the persistent function space in logical relations and add the symbol table example

!38 · opened Jun 11, 2020 by Amin Timany
updated Nov 26, 2020
WIP: MS-queue

!37 · opened Jun 11, 2020 by Simon Friis Vindum
- CLOSED
- 6
updated Nov 26, 2020
remove logreal/heaplang in favor of POPL20 tutorial

!42 · opened Oct 01, 2020 by Ralf Jung
- MERGED
- 1
updated Oct 01, 2020
Branded Types

!20 · opened Jun 12, 2019 by Simon Spies
- CLOSED
- 27
updated Sep 29, 2020
Fix dead link in README.md

!41 · opened Sep 02, 2020 by Léo Stefanesco
- MERGED
- 1
updated Sep 02, 2020
Add bag and tweak lock

!36 · opened Jun 04, 2020 by Simon Friis Vindum
- MERGED
- 12
updated Jul 17, 2020
LICENSE: Clarify which BSD license is being used

!40 · opened Jul 10, 2020 by Paolo G. Giarrusso
- MERGED
- 1
updated Jul 11, 2020
Add array-based queuing lock example

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

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

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

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

!32 · opened Apr 07, 2020 by Ralf Jung
- MERGED
- 0
updated Apr 10, 2020
fill in blanks in LICENSE

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

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

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

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

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

!26 · opened Jul 10, 2019 by Gaurav Parthasarathy
- MERGED
- 5
updated Jul 11, 2019
Changed ghost location from location to prophecy variable

!24 · opened Jul 04, 2019 by Gaurav Parthasarathy
- MERGED
- 16
updated Jul 08, 2019