Merge Requests · Iris / examples

update for more general saved_prop

!1 · opened Oct 29, 2017 by Ralf Jung
- MERGED
- 0
updated Jan 25, 2019
Amin/logrel

!2 · opened Dec 14, 2017 by Amin Timany
- MERGED
- 5
updated Jan 25, 2019
Add the spanning tree algorithm.

!3 · opened Dec 14, 2017 by Amin Timany
- MERGED
- 4
updated Jan 25, 2019
Make EqType more realistic

!4 · opened Mar 21, 2018 by Amin Timany
- MERGED
- 8
updated Jan 25, 2019
Implement modular specifications from the HOCAP paper 3 of 3 tasks completed

!5 · opened Apr 04, 2018 by Dan Frumin
- MERGED
- 13
updated Jun 20, 2018
Add more examples from the lecture notes.

!6 · opened Apr 23, 2018 by Aleš Bizjak
- MERGED
- 1
updated Apr 24, 2018
Fix a file broken due to wp_binop changes

!7 · opened Apr 30, 2018 by Dan Frumin
- MERGED
- 1
updated Apr 30, 2018
port to gen_proofmode

!8 · opened Jun 12, 2018 by Ralf Jung
- MERGED
- 12
updated Jul 13, 2018
Logically atomic stack

!9 · opened Jun 18, 2018 by Ralf Jung
- MERGED
- 0
updated Jul 13, 2018
WIP: fix for stronger CAS requirements

!10 · opened Jul 01, 2018 by Ralf Jung ci/gen_proofmode
- CLOSED
- 1
updated Jul 04, 2018
A new version of concurrent_stack

!11 · opened Dec 05, 2018 by Daniel Gratzer
- CLOSED
- 9
updated Mar 04, 2019
Semantic typing for heap_lang

!12 · opened Dec 12, 2018 by Robbert
- MERGED
- 12
updated Jan 25, 2019
Master

!13 · opened Mar 04, 2019 by Daniel Gratzer
- MERGED
- 10
updated Mar 06, 2019
Add a copy of my new (logically atomic) specification of the Treiber stack algorithm.

!14 · opened Mar 06, 2019 by Rodolphe Lepigre
- MERGED
- 2
updated Mar 06, 2019
Fix atomic snapshot example

!15 · opened Mar 27, 2019 by Rodolphe Lepigre
- MERGED
- 3
updated Mar 28, 2019
Shorter barrier proof that uses auth instead of sts.

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

!17 · opened May 24, 2019 by Hai Dang
- MERGED
- 0
updated May 24, 2019
Some [positive] was sometimes used for [loc], which is now abstract.

!18 · opened May 31, 2019 by Rodolphe Lepigre
- MERGED
- 5
updated May 31, 2019
Fix and conditional increment example

!19 · opened Jun 04, 2019 by Rodolphe Lepigre
- MERGED
- 2
updated Jun 04, 2019
Branded Types

!20 · opened Jun 12, 2019 by Simon Spies
- CLOSED
- 27
updated Sep 29, 2020