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
show a Proper instance for dom
stdpp!74
· created
Jun 19, 2019
by
Ralf Jung
Merged
9
updated
Jun 20, 2019
The unbounded fractional authoritative camera
iris!187
· created
Oct 31, 2018
by
Robbert Krebbers
Iris 3.2
Merged
54
updated
Jun 22, 2019
Added two proper instances with permutations
stdpp!76
· created
Jun 25, 2019
by
Michael Sammler
Merged
18
updated
Jun 26, 2019
Define `Involutive` in terms of `Cancel`.
stdpp!79
· created
Jun 26, 2019
by
Robbert Krebbers
Merged
2
updated
Jun 26, 2019
Add erasure
examples!22
· created
Jun 26, 2019
by
Amin Timany
Merged
4
updated
Jun 26, 2019
Perform `fast_done` first in `naive_solver`.
stdpp!80
· created
Jun 26, 2019
by
Robbert Krebbers
Merged
1
updated
Jun 27, 2019
generalized rdcss to arbitrary (unboxed) values
examples!23
· created
Jul 03, 2019
by
Ghost User
Merged
15
updated
Jul 04, 2019
Some list related lemmas
stdpp!78
· created
Jun 26, 2019
by
Michael Sammler
Merged
37
updated
Jul 04, 2019
some lemmas for seq and imap
stdpp!77
· created
Jun 26, 2019
by
Michael Sammler
Merged
27
updated
Jul 04, 2019
Herlihy-Wing queue example (involving prophecy variables)
examples!25
· created
Jul 05, 2019
by
Rodolphe Lepigre
Merged
1
updated
Jul 05, 2019
Changed ghost location from location to prophecy variable
examples!24
· created
Jul 04, 2019
by
Ghost User
Merged
16
updated
Jul 08, 2019
Continuation change, extract_proph_winner change
examples!26
· created
Jul 10, 2019
by
Ghost User
Merged
5
updated
Jul 11, 2019
add inverses of bool_decide_{true,false}
stdpp!81
· created
Jun 29, 2019
by
Ralf Jung
Merged
19
updated
Jul 13, 2019
some list lemmas
stdpp!82
· created
Jul 07, 2019
by
Ralf Jung
Merged
17
updated
Jul 13, 2019
Clearer statement for propositional extensionality
iris!296
· created
Aug 06, 2019
by
Paolo G. Giarrusso
Merged
7
updated
Aug 08, 2019
More conventions in style guide
iris!297
· created
Aug 06, 2019
by
Paolo G. Giarrusso
Merged
3
updated
Aug 08, 2019
Add some trivial but useful heaplang libraries.
iris!291
· created
Jul 12, 2019
by
Rodolphe Lepigre
Merged
34
updated
Aug 12, 2019
fix typo in -d> docs
iris!298
· created
Aug 07, 2019
by
Ralf Jung
Iris 3.2
Merged
19
updated
Aug 12, 2019
Fix issue #260: Error message when iLöb used on non-SBI
iris!302
· created
Aug 12, 2019
by
Robbert Krebbers
Iris 3.2
Merged
6
updated
Aug 13, 2019
Fix issue #259: Error message when iRevert is used on out of scope variable
iris!301
· created
Aug 12, 2019
by
Robbert Krebbers
Iris 3.2
Merged
7
updated
Aug 13, 2019
Prev
1
…
12
13
14
15
16
17
18
19
20
…
88
Next