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
WIP: Add mk_sync

!4 · created Aug 12, 2016 by Ghost User
- Closed
- 12
updated Aug 27, 2016
docs: fix bug in ghost resource laws

!5 · created Aug 14, 2016 by Jeehoon Kang
- Merged
- 1
updated Oct 21, 2016
generalize bin_op_eval

!6 · created Aug 22, 2016 by Ghost User
- Closed
- 17
updated Aug 23, 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
WIP: Add treiber's stack

!10 · created Sep 12, 2016 by Ghost User
- Closed
- 23
updated Oct 11, 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
Add evmap

!13 · created Oct 04, 2016 by Ghost User
- Closed
- 6
updated Oct 13, 2016
Make validity of STS fragments require a witness.

!14 · created Oct 10, 2016 by Janno
- Closed
- 5
updated Oct 10, 2016
Add PersistentP instances for sts_own(S).

!15 · created Oct 10, 2016 by Janno
- Closed
- 1
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