Merge requests · Iris / examples

Add a copy of my new (logically atomic) specification of the Treiber stack algorithm.

!14 · created Mar 06, 2019 by Rodolphe Lepigre
- Merged
- 2
updated Mar 06, 2019
Master

!13 · created Mar 04, 2019 by Daniel Gratzer
- Merged
- 10
updated Mar 06, 2019
Semantic typing for heap_lang

!12 · created Dec 12, 2018 by Robbert Krebbers
- Merged
- 12
updated Jan 25, 2019
Amin/logrel

!2 · created Dec 14, 2017 by Amin Timany
- Merged
- 5
updated Jan 25, 2019
Make EqType more realistic

!4 · created Mar 21, 2018 by Amin Timany
- Merged
- 8
updated Jan 25, 2019
Add the spanning tree algorithm.

!3 · created Dec 14, 2017 by Amin Timany
- Merged
- 4
updated Jan 25, 2019
update for more general saved_prop

!1 · created Oct 29, 2017 by Ralf Jung
- Merged
updated Jan 25, 2019
Logically atomic stack

!9 · created Jun 18, 2018 by Ralf Jung
- Merged
updated Jul 13, 2018
port to gen_proofmode

!8 · created Jun 12, 2018 by Ralf Jung
- Merged
- 12
updated Jul 13, 2018
Implement modular specifications from the HOCAP paper 3 of 3 checklist items completed

!5 · created Apr 04, 2018 by Dan Frumin
- Merged
- 13
updated Jun 20, 2018
Fix a file broken due to wp_binop changes

!7 · created Apr 30, 2018 by Dan Frumin
- Merged
- 1
updated Apr 30, 2018
Add more examples from the lecture notes.

!6 · created Apr 23, 2018 by Aleš Bizjak
- Merged
- 1
updated Apr 24, 2018