Merge requests · Iris / Iris

ticket lock

!1 · created Aug 02, 2016 by Ghost User
- Merged
- 4
updated Aug 02, 2016
fix typo

!2 · created Aug 10, 2016 by Ghost User
- Merged
updated Aug 10, 2016
Add lock interface

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

!5 · created Aug 14, 2016 by Jeehoon Kang
- Merged
- 1
updated Oct 21, 2016
unfolded logically atomic triple

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

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

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

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

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

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

!17 · created Oct 22, 2016 by Ralf Jung
- Merged
- 2
updated Oct 22, 2016
Move global functor to base_logic

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

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

!20 · created Oct 28, 2016 by Ralf Jung
- Merged
- 45
updated Nov 02, 2016
Use symbol ∗ for separating conjunction.

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

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

!23 · created Nov 17, 2016 by Jacques-Henri Jourdan
- Merged
- 34
updated May 22, 2023
Use notation N @⊆ E to avoid ambiguity.

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

!25 · created Nov 18, 2016 by Robbert Krebbers Iris 3.0
- Merged
- 34
updated Jan 23, 2017
split completion from COFEs and only require it for the solver

!26 · created Nov 21, 2016 by Ralf Jung
- Merged
- 1
updated Nov 22, 2016