Skip to content
GitLab
Explore
Sign in
Iris
Merge requests
Open
0
Merged
16
Closed
0
All
16
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Iris 3.3 changelog summary
iris!478
· created
Jul 14, 2020
by
Ralf Jung
Iris 3.3
Merged
9
updated
Jul 15, 2020
Remove dec_agree and cofeT and use Coq #[deprecated] attribute for iAlways
iris!477
· created
Jul 14, 2020
by
Ralf Jung
Iris 3.3
Merged
8
updated
Jul 15, 2020
All list "map singleton" lemmas consistently use `singletonM` in their name
iris!476
· created
Jul 14, 2020
by
Ralf Jung
Iris 3.3
Merged
6
updated
Jul 15, 2020
mention that the ASCII syntax exists (but we recommend unicode)
iris!470
· created
Jul 04, 2020
by
Ralf Jung
Iris 3.3
Merged
3
updated
Jul 15, 2020
adjust notation for step-taking updates
iris!462
· created
Jun 15, 2020
by
Ralf Jung
Iris 3.3
Merged
24
updated
Dec 10, 2020
Fix scopes for `plainly` following !456.
iris!458
· created
May 28, 2020
by
Paolo G. Giarrusso
Iris 3.3
Merged
1
updated
May 28, 2020
Remove redundant `%I` scopes in definitions.
iris!457
· created
May 28, 2020
by
Robbert Krebbers
Iris 3.3
Merged
5
updated
May 28, 2020
Remove `Open Scope Z_scope` in HeapLang
iris!453
· created
May 27, 2020
by
Robbert Krebbers
Iris 3.3
Merged
10
updated
May 28, 2020
Merge BI and SBI canonical structures
4 of 4 checklist items completed
iris!441
· created
May 11, 2020
by
Robbert Krebbers
Iris 3.3
Merged
1
87
updated
Aug 12, 2022
heap_lang: support deallocation
iris!439
· created
May 07, 2020
by
Ralf Jung
Iris 3.3
S-waiting-for-review
T-heap_lang
Merged
62
updated
May 25, 2020
Change ascii turnstile
iris!435
· created
Apr 23, 2020
by
Gregory Malecha
Iris 3.3
Merged
17
updated
May 29, 2020
Fix `forall` parsing.
iris!432
· created
Apr 22, 2020
by
Gregory Malecha
Iris 3.3
Merged
27
updated
May 28, 2020
heap_lang lifting: instantiate inv_heapG and inv_heap_inv
iris!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
iris!400
· created
Mar 23, 2020
by
Tej Chajed
Iris 3.3
Merged
3
90
updated
Apr 17, 2020
ASCII notation
iris!396
· created
Mar 18, 2020
by
Gregory Malecha
Iris 3.3
Merged
146
updated
Apr 08, 2020
Add heap_lang lib for "invariant locations": locations with a (pure) invariant attached to them
iris!289
· created
Jul 12, 2019
by
Ralf Jung
Iris 3.3
Merged
145
updated
Aug 23, 2020