Merge Requests · Iris

generalize bin_op_eval

iris!6 · opened Aug 22, 2016 by Ghost User
- CLOSED
- 17
updated Aug 23, 2016
WIP: Add mk_sync

iris!4 · opened Aug 12, 2016 by Ghost User
- CLOSED
- 12
updated Aug 27, 2016
Add PersistentP instances for sts_own(S).

iris!15 · opened Oct 10, 2016 by Janno
- CLOSED
- 1
updated Oct 10, 2016
Make validity of STS fragments require a witness.

iris!14 · opened Oct 10, 2016 by Janno
- CLOSED
- 5
updated Oct 10, 2016
WIP: Add treiber's stack

iris!10 · opened Sep 12, 2016 by Ghost User
- CLOSED
- 23
updated Oct 11, 2016
Add evmap

iris!13 · opened Oct 04, 2016 by Ghost User
- CLOSED
- 6
updated Oct 13, 2016
Use ⊊ instead of ⊂.

iris!28 · opened Nov 22, 2016 by Jacques-Henri Jourdan
- CLOSED
- 1
- 3
updated Nov 25, 2016
No more internal eq rewrite contractive

iris!31 · opened Dec 02, 2016 by Robbert Krebbers
- CLOSED
- 11
updated Dec 05, 2016
WIP: Make `make quick` make quickly.

iris!36 · opened Dec 14, 2016 by Janno Iris 3.0
- CLOSED
- 23
updated Jan 03, 2017
Cancellable elements.

iris!43 · opened Jan 27, 2017 by Jacques-Henri Jourdan
- CLOSED
- 31
updated Feb 01, 2017
WIP: load an options file everywhere to avoid repetition

iris!45 · opened Feb 03, 2017 by Ralf Jung
- CLOSED
- 14
updated Feb 07, 2017
Make the setoid equivalence and metric for excl and csum independent from the chosen OFE

iris!44 · opened Jan 28, 2017 by Jacques-Henri Jourdan
- CLOSED
- 80
updated Feb 09, 2017
Jh/done contradiction

iris!48 · opened Feb 13, 2017 by Jacques-Henri Jourdan
- CLOSED
- 10
updated Feb 13, 2017
Adding location equality.

lambda-rust!7 · opened Aug 29, 2017 by Joshua Yanovski
- CLOSED
- 19
updated Sep 28, 2017
WIP: unfold typeclass opaque definitions in proof mode

iris!39 · opened Jan 03, 2017 by Ralf Jung
- CLOSED
- 7
updated Oct 10, 2017
Resolve "Disjoint uses ⊥ (U+22A5 -- UP TACK) but should use ⟂ (U+27C2 -- PERPENDICULAR)"

stdpp!11 · opened Oct 27, 2017 by Jacques-Henri Jourdan
- CLOSED
- 0
updated Oct 27, 2017
Add filter for gmap

stdpp!6 · opened Sep 28, 2017 by Hai Dang
- CLOSED
- 13
updated Oct 27, 2017
Saved predicates

iris!72 · opened Oct 25, 2017 by Amin Timany Iris 3.1
- CLOSED
- 16
updated Nov 03, 2017
Syntax `iAssert (Q with spat) as ...`

iris!117 · opened Feb 19, 2018 by Robbert Krebbers gen_proofmode
- CLOSED
- 8
updated Feb 21, 2018
add exact_vm_cast

stdpp!28 · opened Mar 01, 2018 by Ralf Jung
- CLOSED
- 5
updated Mar 01, 2018