Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
stdpp
Merge requests
Open
4
Merged
346
Closed
32
All
382
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}}
Milestone due date
Swap `curry` and `uncurry` to be consistent with Haskell and friends.
!297
· created
Jul 16, 2021
by
Robbert Krebbers
MERGED
13
updated
Jul 20, 2021
Do not call `done` recursively when solving `is_Some`.
!296
· created
Jul 15, 2021
by
Robbert Krebbers
MERGED
7
updated
Jul 15, 2021
handle more goals in solve_ndisj
!294
· created
Jul 08, 2021
by
Ralf Jung
MERGED
14
updated
Jul 19, 2021
Make `done` work on `is_Some`.
!293
· created
Jul 03, 2021
by
Robbert Krebbers
MERGED
3
updated
Jul 15, 2021
add lookup_union_l
!292
· created
Jul 03, 2021
by
Ralf Jung
MERGED
3
updated
Jul 03, 2021
Fix priority of `Permutation_app'`.
!291
· created
Jun 29, 2021
by
Robbert Krebbers
MERGED
17
updated
Jul 15, 2021
Update changelog for filter extensionality lemmas
!290
· created
Jun 28, 2021
by
Simon Friis Vindum
MERGED
3
updated
Jun 28, 2021
add mk_evar tactic (to replace Coq's strange evar tactic) and use it
!289
· created
Jun 27, 2021
by
Ralf Jung
MERGED
21
updated
Jul 16, 2021
Make sum_inhabited_r not a copy of sum_inhabited_l
!288
· created
Jun 27, 2021
by
Paolo G. Giarrusso
MERGED
8
updated
Jun 27, 2021
rename insert_delete → insert_delete_insert; add new insert_delete matching delete_insert
!287
· created
Jun 24, 2021
by
Ralf Jung
MERGED
8
updated
Jun 26, 2021
Fix potential stack overflow related to `Pretty N`.
!286
· created
Jun 24, 2021
by
Robbert Krebbers
MERGED
8
updated
Jun 25, 2021
add {fst,snd}_map_zip
!285
· created
Jun 23, 2021
by
Ralf Jung
MERGED
3
updated
Jun 27, 2021
Add a few set and map related lemmas
1 of 1 task completed
!284
· created
Jun 19, 2021
by
Simon Friis Vindum
MERGED
17
updated
Jun 25, 2021
Rewrite cross split lemmas so they can more easily be used for forward reasoning.
!283
· created
Jun 18, 2021
by
Robbert Krebbers
MERGED
4
updated
Jun 18, 2021
Add lemmas `map_intersection_filter` and `map_difference_filter`.
!282
· created
Jun 17, 2021
by
Robbert Krebbers
MERGED
2
updated
Jun 17, 2021
Various setoids lemmas for maps, lists, and option
!281
· created
Jun 15, 2021
by
Robbert Krebbers
MERGED
10
updated
Jun 17, 2021
Misc lemmas for maps
!280
· created
Jun 15, 2021
by
Robbert Krebbers
MERGED
1
updated
Jun 25, 2021
Drop `DiagNone` precondition of `lookup_merge` rule of `FinMap` interface.
!279
· created
Jun 10, 2021
by
Robbert Krebbers
MERGED
4
updated
Jun 11, 2021
Prove more equivalences for closure operators on relations.
!278
· created
Jun 10, 2021
by
Robbert Krebbers
MERGED
14
updated
Jun 16, 2021
Misc improvements to `head` and `tail` functions for lists
!277
· created
Jun 10, 2021
by
Robbert Krebbers
MERGED
12
updated
Jun 11, 2021
Prev
1
2
3
4
5
6
7
8
9
…
18
Next