Skip to content
GitLab
Explore
Sign in
Iris
Merge requests
Open
49
Merged
1,756
Closed
208
All
2,013
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}}
Milestone due date
Let `iRevert` of a pure hypotheses generate a wand instead of implication.
iris!789
· created
Apr 23, 2022
by
Robbert Krebbers
Merged
3
updated
May 08, 2024
Fix bug in `iApply` prettification.
iris!788
· created
Apr 20, 2022
by
Robbert Krebbers
Merged
1
2
updated
May 01, 2022
Added close definition and spec
actris!27
· created
Apr 19, 2022
by
Jonas Kastberg
3
updated
Apr 20, 2022
add and verify simpler bitmap implementation
refinedc!134
· created
Apr 19, 2022
by
Kimaya Bedarkar
ci/example-scheduler
Closed
9
updated
May 02, 2022
add big_sepS_insert_2' and big_sepS_union_2
iris!787
· created
Apr 16, 2022
by
Ralf Jung
Merged
3
updated
May 09, 2022
Add induction principle for `tele_arg`.
stdpp!374
· created
Apr 12, 2022
by
Robbert Krebbers
Merged
1
updated
Apr 12, 2022
Add Pigeon Hole principle.
stdpp!373
· created
Apr 11, 2022
by
Robbert Krebbers
Merged
7
updated
Apr 12, 2022
Draft: Very preliminary version of a quick start guide for sets.
stdpp!372
· created
Apr 08, 2022
by
Robbert Krebbers
S-waiting-for-author
17
updated
Feb 06, 2023
Dump `siProp_scope` and use `bi_scope`. This is consistent with `uPred`.
iris!786
· created
Apr 07, 2022
by
Robbert Krebbers
Merged
15
updated
Apr 08, 2022
Use |-@{...} to avoid the need for casts (in tests)
iris!785
· created
Apr 07, 2022
by
Gregory Malecha
Merged
3
updated
Apr 07, 2022
Ensure that different `Cofe` proofs of `iProp` are convertible.
iris!784
· created
Mar 30, 2022
by
Robbert Krebbers
Merged
6
updated
Apr 07, 2022
Clarify relationship between `gset_to_gmap` and `set_to_map`.
stdpp!371
· created
Mar 30, 2022
by
Robbert Krebbers
Merged
2
updated
Apr 07, 2022
Added capability for stripping multiple laters per step in HeapLang
iris!783
· created
Mar 22, 2022
by
Jonas Kastberg
Merged
50
updated
Aug 14, 2022
Removed `skipN` instruction in `send` implementation
actris!26
· created
Mar 22, 2022
by
Jonas Kastberg
Merged
0
updated
Apr 19, 2022
GFunctors changed to a record
iris!782
· created
Mar 17, 2022
by
Irene Yoon
Merged
1
32
updated
Mar 18, 2022
example scheduler
refinedc!133
· created
Mar 15, 2022
by
Michael Sammler
Merged
8
updated
May 11, 2022
Draft: Example scheduler
refinedc!132
· created
Mar 15, 2022
by
Michael Sammler
Closed
0
updated
Mar 15, 2022
Avoid universe bumps of `gset`/`mapset` (fixes #134)
stdpp!370
· created
Mar 15, 2022
by
Robbert Krebbers
Merged
8
updated
Mar 16, 2022
Add lemmas list_to_set_disj_elem_of_list and gmultiset_difference_disj_union_{l,r}
stdpp!369
· created
Mar 11, 2022
by
Léo Stefanesco
Merged
5
updated
Mar 16, 2022
Update VM info
gpfsl!34
· created
Mar 02, 2022
by
Hai Dang
ci/compass
Merged
0
updated
Mar 02, 2022
Prev
1
…
28
29
30
31
32
33
34
35
36
…
101
Next