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}}
Created date
prepare for https://github.com/coq/coq/pull/16289
stdpp!385
· created
Jul 07, 2022
by
Andrej Dudenhefner
Merged
1
updated
Jul 07, 2022
update Iris for later credits
refinedc!138
· created
Jul 07, 2022
by
Ralf Jung
Merged
1
updated
Jul 07, 2022
fix le_upd notation
iris!812
· created
Jul 07, 2022
by
Ralf Jung
Merged
0
updated
Jul 07, 2022
add proofmode instances for le_upd
iris!813
· created
Jul 07, 2022
by
Ralf Jung
Merged
1
updated
Jul 08, 2022
Added set lemmas about difference and union
stdpp!386
· created
Jul 13, 2022
by
Jonas Kastberg
Merged
30
updated
Sep 29, 2022
Fupd soundness lemmas always generate credits
iris!815
· created
Jul 14, 2022
by
Lennard Gäher
Merged
1
updated
Jul 14, 2022
track has_lc directly in invGS/irisGS/heapGS rather than via separate typeclass
iris!816
· created
Jul 14, 2022
by
Ralf Jung
Merged
28
updated
Aug 03, 2022
add mono_nat_lb_own_0
iris!817
· created
Jul 15, 2022
by
Ralf Jung
Merged
4
updated
Jul 20, 2022
Tweak priority of proof mode instances for £.
iris!818
· created
Jul 16, 2022
by
Robbert Krebbers
Merged
4
updated
Jul 19, 2022
Bump Iris
examples!51
· created
Jul 20, 2022
by
Lennard Gäher
Merged
0
updated
Jul 20, 2022
Remove unused Qp argument to dfrac_valid_discarded
iris!819
· created
Jul 20, 2022
by
Tej Chajed
Merged
1
updated
Jul 20, 2022
Restructuring folder, made everything build with CI
diaframe!2
· created
Jul 22, 2022
by
Ike Mulder
Merged
Approved
0
updated
Jul 22, 2022
Rename `_plus` into `_add`.
iris!821
· created
Jul 26, 2022
by
Robbert Krebbers
Merged
6
updated
Aug 09, 2022
Add case_match eqn: tactic for naming hypotheses generated by case_match
stdpp!388
· created
Jul 26, 2022
by
Michael Sammler
Merged
9
updated
Jul 27, 2022
Add map_Exists
stdpp!390
· created
Jul 26, 2022
by
Michael Sammler
Merged
9
updated
Jul 27, 2022
Update to recent Iris version
diaframe!3
· created
Jul 26, 2022
by
Ike Mulder
Merged
0
updated
Jul 26, 2022
Add map_seqZ
stdpp!391
· created
Jul 26, 2022
by
Michael Sammler
Merged
31
updated
Aug 09, 2022
Add map_agree
stdpp!392
· created
Jul 26, 2022
by
Michael Sammler
Merged
14
updated
Aug 01, 2022
Fix the naming of kmap_subseteq and kmap_subset
stdpp!393
· created
Jul 26, 2022
by
Michael Sammler
Merged
Approved
5
updated
Jul 26, 2022
Add lookup_union_l'
stdpp!395
· created
Jul 26, 2022
by
Michael Sammler
Merged
6
updated
Aug 03, 2022
Prev
1
…
63
64
65
66
67
68
69
70
71
…
88
Next