Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
Open
20
Merged
909
Closed
118
All
1,047
Actions
Subscribe to RSS feed
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}}
Title
Adapt to https://github.com/coq/coq/pull/16788
!893
· created
Feb 15, 2023
by
Pierre Roux
Merged
1
updated
Mar 09, 2023
Adapt to https://github.com/coq/coq/pull/18014
!1009
· created
Oct 19, 2023
by
Pierre Roux
Closed
4
updated
Oct 21, 2023
Adapt w.r.t. coq/coq#12512.
!464
· created
Jun 16, 2020
by
Ghost User
Closed
8
updated
Jun 19, 2020
Adapting to Coq PR#10832: formats associated to a given interpretation not taken into account
!335
· created
Nov 12, 2019
by
Hugo Herbelin
Closed
7
updated
Nov 13, 2019
add "deprecated" and "staging" packages and deprecate some modules
!602
· created
Dec 07, 2020
by
Ralf Jung
Merged
33
updated
Feb 05, 2021
add 'Global' to 'Typeclasses Opaque'/'Transparent'
!753
· created
Nov 15, 2021
by
Ralf Jung
Closed
1
updated
Nov 15, 2021
add 'wp_apply (...) as'
!884
· created
Jan 12, 2023
by
Ralf Jung
Merged
8
updated
Mar 18, 2023
Add (basic) support for `gset` and `gset_disj` cameras to `set_solver`.
!871
· created
Nov 24, 2022
by
Robbert Krebbers
Merged
1
updated
Nov 24, 2022
Add [iSelect], and various tactics based on it
!625
· created
Jan 22, 2021
by
Rodolphe Lepigre
Merged
72
updated
Jan 27, 2021
Add _opam to .gitignore
!900
· created
Mar 19, 2023
by
Yusuke Matsushita
Merged
1
updated
Mar 19, 2023
add _wand lemmas for big-ops
!630
· created
Jan 29, 2021
by
Ralf Jung
Merged
1
updated
Jan 29, 2021
Add `Absorbing` instances for `[∧ list]`.
!805
· created
Jun 08, 2022
by
Robbert Krebbers
Merged
3
updated
Jun 08, 2022
Add `array_init` and corresponding WP specs.
!492
· created
Aug 15, 2020
by
Dan Frumin
Merged
54
updated
Nov 10, 2020
Add `Atomic` instances for all atomic `heap_lang` constructs.
!317
· created
Oct 12, 2019
by
Robbert Krebbers
Merged
1
6
updated
Oct 14, 2019
Add `big_opM_union` and `big_sepM_union`.
!188
· created
Nov 01, 2018
by
Dan Frumin
Merged
8
updated
Nov 08, 2018
Add `big_sepL2_app_inv_2`.
!292
· created
Jul 12, 2019
by
Dan Frumin
Iris 3.2
Merged
9
updated
Nov 24, 2020
Add `big_sepL2_swap`
!307
· created
Aug 22, 2019
by
Dan Frumin
Merged
11
updated
Aug 26, 2019
Add `big_sepM2_union_inv_*`.
!690
· created
May 24, 2021
by
Dan Frumin
S-waiting-for-review
Merged
8
updated
May 26, 2021
Add `head_prim_fill_reducible_no_obs`
!306
· created
Aug 22, 2019
by
Dan Frumin
Merged
1
4
updated
Aug 24, 2019
Add `head_prim_fill_reducible`.
!293
· created
Jul 12, 2019
by
Dan Frumin
Iris 3.2
Merged
4
updated
Nov 24, 2020
Prev
1
2
3
4
5
6
…
53
Next