Skip to content
GitLab
Explore
Sign in
Iris
Merge requests
Open
50
Merged
1,756
Closed
208
All
2,014
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}}
Popularity
Make saved props have discardable fractions
iris!802
· created
Jun 03, 2022
by
Lennard Gäher
Merged
46
updated
Jul 20, 2022
Preimage function for finite maps.
stdpp!382
· created
May 25, 2022
by
Robbert Krebbers
Merged
18
updated
May 31, 2022
fix triple issues with revert, and add logatom triples
iris!801
· created
May 23, 2022
by
Ralf Jung
Merged
3
updated
May 25, 2022
Add `set_map_2` and associated lemmas.
stdpp!381
· created
May 23, 2022
by
Dan Frumin
Closed
13
updated
May 30, 2022
document HeapLang syntax and operational semantics
iris!800
· created
May 18, 2022
by
Ralf Jung
Merged
5
updated
Jun 03, 2022
proofmode: do not treat pure assertions as persistent
iris!799
· created
May 16, 2022
by
Ralf Jung
Merged
27
updated
Oct 31, 2022
Enable cumulativity for telescopes
stdpp!380
· created
May 16, 2022
by
Janno
Merged
17
updated
May 18, 2022
Add testcase for #461
iris!798
· created
May 16, 2022
by
Paolo G. Giarrusso
Merged
20
updated
May 17, 2022
update Iris
refinedc!136
· created
May 13, 2022
by
Michael Sammler
Merged
0
updated
May 13, 2022
Make Hoare triple tex macro compatible with e.g. array environment
iris!797
· created
May 13, 2022
by
Jonas Kastberg
Merged
15
updated
May 23, 2022
make affinely_True_emp more useful, and make absorbingly lemmas consistent
iris!796
· created
May 13, 2022
by
Ralf Jung
Merged
3
updated
May 13, 2022
Set `Hint Mode` for `FinSet`.
stdpp!379
· created
May 13, 2022
by
Robbert Krebbers
Merged
7
updated
May 13, 2022
port to dom D type being implicit
iris!795
· created
May 13, 2022
by
Ralf Jung
Merged
1
updated
May 13, 2022
Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`.
iris!793
· created
May 12, 2022
by
Robbert Krebbers
Merged
15
updated
May 19, 2022
Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`.
stdpp!378
· created
May 12, 2022
by
Robbert Krebbers
Merged
15
updated
May 13, 2022
drop support for Coq 8.11
stdpp!377
· created
May 09, 2022
by
Ralf Jung
Merged
2
updated
May 11, 2022
First Steps for Later Credits
iris!792
· created
May 09, 2022
by
Simon Spies
Merged
221
updated
Jul 05, 2022
make Prop-level BI connectives notation for bi_emp_valid (rather than bi_entails)
iris!791
· created
May 07, 2022
by
Ralf Jung
Merged
44
updated
May 03, 2023
make dom domain type paremeter (D) implicit
stdpp!376
· created
May 07, 2022
by
Ralf Jung
Merged
15
updated
May 19, 2022
Bump stdpp to include telescope fixes
iris!790
· created
May 04, 2022
by
Paolo G. Giarrusso
Merged
0
updated
May 04, 2022
Prev
1
…
27
28
29
30
31
32
33
34
35
…
101
Next