Merge Requests · Iris

ticket lock

iris!1 · opened Aug 02, 2016 by Ghost User
- MERGED
- 4
updated Aug 02, 2016
fix typo

iris!2 · opened Aug 10, 2016 by Ghost User
- MERGED
- 0
updated Aug 10, 2016
Add lock interface

iris!3 · opened Aug 11, 2016 by Ghost User
- MERGED
- 23
updated Oct 21, 2016
docs: fix bug in ghost resource laws

iris!5 · opened Aug 14, 2016 by Jeehoon Kang
- MERGED
- 1
updated Oct 21, 2016
unfolded logically atomic triple

iris!7 · opened Aug 23, 2016 by Ghost User
- MERGED
- 21
updated Oct 21, 2016
rvs is (classically) equivalent to a kind of double negation

iris!8 · opened Aug 28, 2016 by Joseph Tassarotti
- MERGED
- 18
updated Oct 04, 2016
Add triple notation for generalized post-condition

iris!9 · opened Aug 29, 2016 by Janno
- MERGED
- 42
updated Oct 28, 2016
Make the elements of gset persistent by changing the core

iris!11 · opened Sep 14, 2016 by Amin Timany
- MERGED
- 6
updated Sep 30, 2016
New notion of local updates.

iris!12 · opened Sep 21, 2016 by Robbert Krebbers
- MERGED
- 11
updated Oct 10, 2016
Put the appendix under CC-BY 4.0

iris!16 · opened Oct 18, 2016 by Ralf Jung
- MERGED
- 17
updated Oct 18, 2016
docs: make the borders slightly larger

iris!17 · opened Oct 22, 2016 by Ralf Jung
- MERGED
- 2
updated Oct 22, 2016
Move global functor to base_logic

iris!18 · opened Oct 27, 2016 by Ralf Jung
- MERGED
- 15
updated Oct 28, 2016
Remove dependency of fancy updates on the program language.

iris!19 · opened Oct 27, 2016 by Robbert Krebbers
- MERGED
- 7
updated Oct 28, 2016
Change the way we handle view shifts in post-conditions

iris!20 · opened Oct 28, 2016 by Ralf Jung
- MERGED
- 45
updated Nov 02, 2016
add iris as submodule

lambda-rust!1 · opened Nov 01, 2016 by Ralf Jung
- MERGED
- 14
updated Nov 03, 2016
Use symbol ∗ for separating conjunction.

iris!21 · opened Nov 01, 2016 by Robbert Krebbers
- MERGED
- 1
- 11
updated Nov 03, 2016
Use agree instead of dec_agree

iris!22 · opened Nov 16, 2016 by Ralf Jung Iris 3.0
- MERGED
- 53
updated Dec 14, 2016
Fractional typeclass.

iris!23 · opened Nov 17, 2016 by Jacques-Henri Jourdan
- MERGED
- 34
updated Nov 23, 2016
Use notation N @⊆ E to avoid ambiguity.

iris!24 · opened Nov 18, 2016 by Robbert Krebbers
- MERGED
- 21
updated Nov 23, 2016
State invariants in WP and the dead of heap_ctx.

iris!25 · opened Nov 18, 2016 by Robbert Krebbers Iris 3.0
- MERGED
- 34
updated Jan 23, 2017