Skip to content
GitLab
Explore
Sign in
Open
0
Merged
16
Closed
0
All
16
Recent searches
Loading
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Updated date
Merge BI and SBI canonical structures
4 of 4 checklist items completed
!441
· created
May 11, 2020
by
Robbert Krebbers
Iris 3.3
Merged
87
1
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
90
3
updated
Apr 17, 2020
ASCII notation
!396
· created
Mar 18, 2020
by
Gregory Malecha
Iris 3.3
Merged
146
updated
Apr 08, 2020