Merge requests · Iris / Iris

WIP: Add mk_sync

!4 · created Aug 12, 2016 by Ghost User
- Closed
- 12
updated Aug 27, 2016
generalize bin_op_eval

!6 · created Aug 22, 2016 by Ghost User
- Closed
- 17
updated Aug 23, 2016
WIP: Add treiber's stack

!10 · created Sep 12, 2016 by Ghost User
- Closed
- 23
updated Oct 11, 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
Use ⊊ instead of ⊂.

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

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

!36 · created Dec 14, 2016 by Janno Iris 3.0
- Closed
- 23
updated Jan 03, 2017
WIP: Support sequential languages.

!38 · created Dec 17, 2016 by David Swasey
- Closed
- 16
updated Jun 14, 2018
WIP: unfold typeclass opaque definitions in proof mode

!39 · created Jan 03, 2017 by Ralf Jung
- Closed
- 7
updated Oct 10, 2017
Cancellable elements.

!43 · created Jan 27, 2017 by Jacques-Henri Jourdan
- Closed
- 31
updated Feb 01, 2017
Make the setoid equivalence and metric for excl and csum independent from the chosen OFE

!44 · created Jan 28, 2017 by Jacques-Henri Jourdan
- Closed
- 80
updated Feb 09, 2017
WIP: load an options file everywhere to avoid repetition

!45 · created Feb 03, 2017 by Ralf Jung
- Closed
- 14
updated Feb 07, 2017
Jh/done contradiction

!48 · created Feb 13, 2017 by Jacques-Henri Jourdan
- Closed
- 10
updated Feb 13, 2017
WIP: Strong framing

!50 · created Feb 18, 2017 by Robbert Krebbers
T-proofmode
- Closed
- 31
updated Feb 13, 2024
WIP: Get rid of closedness conditions

!58 · created Aug 17, 2017 by Robbert Krebbers
- Closed
- 5
updated Feb 19, 2019
Adding telescopes and some useful lemmas.

!61 · created Aug 28, 2017 by Ghost User
- Closed
- 19
updated Jun 15, 2018
Saved predicates

!72 · created Oct 25, 2017 by Amin Timany Iris 3.1
- Closed
- 16
updated Nov 03, 2017
WIP: A library for (monotone) partial bijections.

!91 · created Nov 27, 2017 by Dan Frumin
- Closed
- 12
updated Dec 18, 2020