Merge requests · Iris / Iris

Fix issue #260: Error message when iLöb used on non-SBI

!302 · created Aug 12, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 6
updated Aug 13, 2019
Fix issue #259: Error message when iRevert is used on out of scope variable

!301 · created Aug 12, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 7
updated Aug 13, 2019
Move array stuff to own file

!299 · created Aug 07, 2019 by Ralf Jung Iris 3.2
- MERGED
- 13
updated Aug 13, 2019
fix typo in -d> docs

!298 · created Aug 07, 2019 by Ralf Jung Iris 3.2
- MERGED
- 19
updated Aug 12, 2019
Add `head_prim_fill_reducible`.

!293 · created Jul 12, 2019 by Dan Frumin Iris 3.2
- MERGED
- 4
updated Nov 24, 2020
Add `big_sepL2_app_inv_2`.

!292 · created Jul 12, 2019 by Dan Frumin Iris 3.2
- MERGED
- 9
updated Nov 24, 2020
show that pair construction commutes with taking the core

!286 · created Jul 07, 2019 by Ralf Jung Iris 3.2
- MERGED
- 6
updated Nov 24, 2020
Mark projections for sigTO as NonExpansive and Proper

!285 · created Jul 06, 2019 by Paolo G. Giarrusso Iris 3.2
- MERGED
- 15
updated Nov 24, 2020
heap_lang: Make binary "=" operator partial, to sync with CmpXchg

!283 · created Jun 29, 2019 by Ralf Jung Iris 3.2 T-heap_lang
- MERGED
- 9
updated Nov 24, 2020
introduce notation for value comparison

!279 · created Jun 21, 2019 by Ralf Jung Iris 3.2
- CLOSED
- 8
updated Jun 29, 2019
Replace `C`s with `O`s since we use OFEs instead of COFEs.

!263 · created Jun 11, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 18
updated Nov 24, 2020
A strong adequacy statement to rule them all

!258 · created Jun 07, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 45
updated Jun 12, 2019
Add ghost data to locations

!249 · created May 21, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 73
updated Sep 09, 2020
The unbounded fractional authoritative camera

!187 · created Oct 31, 2018 by Robbert Krebbers Iris 3.2
- MERGED
- 54
updated Jun 22, 2019