Issues · Iris / Iris · GitLab

Prove stronger stepping frame rule

#12 · created Jan 06, 2016 by Ralf Jung
- CLOSED
- 11
updated Aug 22, 2016
Structured Invariant identifiers

#11 · created Nov 19, 2015 by Ghost User
- CLOSED
- 19
updated Mar 17, 2016
Defining RAs with a partial composition operation

#10 · created Nov 03, 2015 by Ralf Jung
- CLOSED
- 2
updated Jan 18, 2016
Formalize a realistic language

#9 · created Nov 03, 2015 by Ralf Jung
- CLOSED
- 2
updated Jan 18, 2016
Modular global monoid

#8 · created Oct 30, 2015 by Ralf Jung
- CLOSED
- 13
updated Mar 17, 2016
Support stored propositions

#7 · created Oct 29, 2015 by Ralf Jung
- CLOSED
- 19
updated Jan 20, 2016
Add & update appendix

#6 · created Oct 27, 2015 by Ralf Jung
- CLOSED
- 4
updated Mar 17, 2016
Come up with a story for non-atomic, non-pure expressions

#5 · created Oct 27, 2015 by Ralf Jung
- CLOSED
- 4
updated Nov 06, 2015
Re-do the basics: Cofe's and (CM)RA's

#4 · created Oct 24, 2015 by Ralf Jung
- CLOSED
- 2
updated Jan 18, 2016
Prove adequacy of observational view shifts

#3 · created Oct 24, 2015 by Ralf Jung
- CLOSED
- 7
updated Nov 24, 2016
Bring back the Bind rule

#2 · created Oct 24, 2015 by Ralf Jung
- CLOSED
- 6
updated Nov 19, 2019
Thread-local state, user-controlled fork

#1 · created Oct 24, 2015 by Ralf Jung
- CLOSED
- 5
updated Aug 23, 2016

Prev
1
…
16
17
18
19
20
Next