Merge requests · Iris / Iris

Merge BI and SBI canonical structures 4 of 4 checklist items completed

!441 · created May 11, 2020 by Robbert Krebbers Iris 3.3
- MERGED
- 1
- 87
updated Aug 12, 2022
adjust notation for step-taking updates

!462 · created Jun 15, 2020 by Ralf Jung Iris 3.3
- MERGED
- 24
updated Dec 10, 2020
Add heap_lang lib for "invariant locations": locations with a (pure) invariant attached to them

!289 · created Jul 12, 2019 by Ralf Jung Iris 3.3
- MERGED
- 145
updated Aug 23, 2020
Remove dec_agree and cofeT and use Coq #[deprecated] attribute for iAlways

!477 · created Jul 14, 2020 by Ralf Jung Iris 3.3
- MERGED
- 8
updated Jul 15, 2020
Iris 3.3 changelog summary

!478 · created Jul 14, 2020 by Ralf Jung Iris 3.3
- MERGED
- 9
updated Jul 15, 2020
mention that the ASCII syntax exists (but we recommend unicode)

!470 · created Jul 04, 2020 by Ralf Jung Iris 3.3
- MERGED
- 3
updated Jul 15, 2020
All list "map singleton" lemmas consistently use `singletonM` in their name

!476 · created Jul 14, 2020 by Ralf Jung Iris 3.3
- MERGED
- 6
updated Jul 15, 2020
Change ascii turnstile

!435 · created Apr 23, 2020 by Gregory Malecha Iris 3.3
- MERGED
- 17
updated May 29, 2020
Fix `forall` parsing.

!432 · created Apr 22, 2020 by Gregory Malecha Iris 3.3
- MERGED
- 27
updated May 28, 2020
Remove `Open Scope Z_scope` in HeapLang

!453 · created May 27, 2020 by Robbert Krebbers Iris 3.3
- MERGED
- 10
updated May 28, 2020
Remove redundant `%I` scopes in definitions.

!457 · created May 28, 2020 by Robbert Krebbers Iris 3.3
- MERGED
- 5
updated May 28, 2020
Fix scopes for `plainly` following !456.

!458 · created May 28, 2020 by Paolo G. Giarrusso Iris 3.3
- MERGED
- 1
updated May 28, 2020
heap_lang: support deallocation

!439 · created May 07, 2020 by Ralf Jung Iris 3.3 S-waiting-for-review T-heap_lang
- MERGED
- 62
updated May 25, 2020
heap_lang lifting: instantiate inv_heapG and inv_heap_inv

!429 · created Apr 18, 2020 by Ralf Jung Iris 3.3 T-heap_lang
- MERGED
- 22
updated May 18, 2020
Add support for pure names in intro patterns

!400 · created Mar 23, 2020 by Tej Chajed Iris 3.3
- MERGED
- 3
- 90
updated Apr 17, 2020
ASCII notation

!396 · created Mar 18, 2020 by Gregory Malecha Iris 3.3
- MERGED
- 146
updated Apr 08, 2020