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}}
Updated date
std++ 1.2.1 release notes
stdpp!86
· created
Aug 07, 2019
by
Ralf Jung
Merged
0
updated
Aug 13, 2019
More lemmas about [map_imap].
stdpp!84
· created
Jul 15, 2019
by
Rodolphe Lepigre
Merged
19
updated
Aug 13, 2019
Move array stuff to own file
iris!299
· created
Aug 07, 2019
by
Ralf Jung
Iris 3.2
Merged
13
updated
Aug 13, 2019
Several simple lemmas.
stdpp!85
· created
Jul 22, 2019
by
Paulo Emílio de Vilhena
Merged
28
updated
Aug 14, 2019
relations.nsteps: add inversion lemma for `nsteps R 1 a b`
stdpp!87
· created
Aug 21, 2019
by
Paolo G. Giarrusso
Merged
8
updated
Aug 23, 2019
Add `head_prim_fill_reducible_no_obs`
iris!306
· created
Aug 22, 2019
by
Dan Frumin
Merged
1
4
updated
Aug 24, 2019
Add `map_zip_with_flip`.
stdpp!88
· created
Aug 23, 2019
by
Dan Frumin
Merged
7
updated
Aug 24, 2019
Lemmas for big ops commuting with updates
iris!305
· created
Aug 22, 2019
by
Robbert Krebbers
Merged
1
9
updated
Aug 24, 2019
Add `big_sepL2_swap`
iris!307
· created
Aug 22, 2019
by
Dan Frumin
Merged
11
updated
Aug 26, 2019
add Equiv instance for Empty_set
stdpp!89
· created
Aug 26, 2019
by
Ralf Jung
Merged
4
updated
Aug 26, 2019
more instances for the empty type
stdpp!90
· created
Aug 26, 2019
by
Ralf Jung
Merged
1
updated
Aug 26, 2019
Proofs about binders
stdpp!83
· created
Jul 15, 2019
by
Michael Sammler
Merged
14
updated
Aug 27, 2019
Lemmas for list cmra
iris!308
· created
Aug 27, 2019
by
Michael Sammler
Merged
8
updated
Aug 27, 2019
Iris 3.2 release notes
iris!309
· created
Aug 28, 2019
by
Ralf Jung
Merged
13
updated
Aug 29, 2019
Lemmas for fin_maps
stdpp!91
· created
Aug 27, 2019
by
Michael Sammler
Merged
19
updated
Aug 29, 2019
fix typo in the docs
iris!310
· created
Aug 30, 2019
by
Dan Frumin
Merged
2
updated
Aug 31, 2019
Support tighter precedence for x.1, x.2 notation.
iris!93
· created
Nov 29, 2017
by
David Swasey
Merged
6
updated
Sep 08, 2019
Fix Open/Close scope
stdpp!94
· created
Sep 11, 2019
by
Jacques-Henri Jourdan
Merged
3
updated
Sep 11, 2019
More lemmas for `filter` w.r.t. maps
stdpp!96
· created
Sep 11, 2019
by
Robbert Krebbers
Merged
1
2
updated
Sep 12, 2019
Reorder Requires so that we do not depend of Export bugs.
iris!313
· created
Sep 11, 2019
by
Jacques-Henri Jourdan
Merged
14
updated
Sep 13, 2019
Prev
1
…
13
14
15
16
17
18
19
20
21
…
88
Next