Merge Requests · Iris / Iris · GitLab

Replace `C`s with `O`s since we use OFEs instead of COFEs.

!263 · opened Jun 11, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 18
updated Nov 24, 2020
show that pair construction commutes with taking the core

!286 · opened Jul 07, 2019 by Ralf Jung Iris 3.2
- MERGED
- 6
updated Nov 24, 2020
heap_lang: Make binary "=" operator partial, to sync with CmpXchg

!283 · opened Jun 29, 2019 by Ralf Jung Iris 3.2 T-heap_lang
- MERGED
- 9
updated Nov 24, 2020
Mark projections for sigTO as NonExpansive and Proper

!285 · opened Jul 06, 2019 by Paolo G. Giarrusso Iris 3.2
- MERGED
- 15
updated Nov 24, 2020
Add `big_sepL2_app_inv_2`.

!292 · opened Jul 12, 2019 by Dan Frumin Iris 3.2
- MERGED
- 9
updated Nov 24, 2020
Add `head_prim_fill_reducible`.

!293 · opened Jul 12, 2019 by Dan Frumin Iris 3.2
- MERGED
- 4
updated Nov 24, 2020
Add ghost data to locations

!249 · opened May 21, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 73
updated Sep 09, 2020
Move array stuff to own file

!299 · opened Aug 07, 2019 by Ralf Jung Iris 3.2
- MERGED
- 13
updated Aug 13, 2019
Fix issue #259: Error message when iRevert is used on out of scope variable

!301 · opened Aug 12, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 7
updated Aug 13, 2019
Fix issue #260: Error message when iLöb used on non-SBI

!302 · opened Aug 12, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 6
updated Aug 13, 2019
fix typo in -d> docs

!298 · opened Aug 07, 2019 by Ralf Jung Iris 3.2
- MERGED
- 19
updated Aug 12, 2019
The unbounded fractional authoritative camera

!187 · opened Oct 31, 2018 by Robbert Krebbers Iris 3.2
- MERGED
- 54
updated Jun 22, 2019
A strong adequacy statement to rule them all

!258 · opened Jun 07, 2019 by Robbert Krebbers Iris 3.2
- MERGED
- 45
updated Jun 12, 2019