Skip to content
GitLab
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
16
Merged
389
Closed
35
All
440
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}}
Closed date
add some very basic f_equiv tests
!409
· created
Aug 11, 2022
by
Ralf Jung
MERGED
2
updated
Aug 12, 2022
Add bitvector library with automation
!408
· created
Aug 11, 2022
by
Michael Sammler
MERGED
18
updated
Aug 24, 2022
Generalize Propers for lists / Add some missing Params
!407
· created
Aug 10, 2022
by
Robbert Krebbers
MERGED
4
updated
Aug 11, 2022
Introduce `set_bind` and associated lemmas + set_bind theory: revise setoid rewriting
!406
· created
Aug 09, 2022
by
Paolo G. Giarrusso
MERGED
6
updated
Aug 09, 2022
Add _1, _2 lemmas for not_elem_of_dom and lookup_union_None
!405
· created
Aug 08, 2022
by
Michael Sammler
MERGED
1
updated
Aug 08, 2022
Rename plus/minus → add/sub and put number lemmas in modules to be consistent with Coq stdlib
!404
· created
Aug 08, 2022
by
Robbert Krebbers
MERGED
33
updated
Aug 12, 2022
Refactor and improve documentation of feed and efeed tactics
!403
· created
Aug 02, 2022
by
Michael Sammler
MERGED
40
updated
Aug 16, 2022
Create stdpp-unstable package and add bitblast library
!402
· created
Aug 01, 2022
by
Michael Sammler
MERGED
38
updated
Nov 23, 2022
Add join_length
!401
· created
Jul 27, 2022
by
Michael Sammler
MERGED
1
updated
Jul 31, 2022
Add list_subseteq_dec
!400
· created
Jul 27, 2022
by
Michael Sammler
MERGED
3
updated
Aug 01, 2022
Add lookup lemmas for partial alter and commuting lemmas for alter
!399
· created
Jul 27, 2022
by
Michael Sammler
MERGED
1
updated
Jul 31, 2022
Flip direction of `map_disjoint_fmap`.
!398
· created
Jul 26, 2022
by
Robbert Krebbers
MERGED
1
updated
Aug 01, 2022
Add list_fmap_delete, omap_app, and omap_option_list
!397
· created
Jul 26, 2022
by
Michael Sammler
MERGED
5
updated
Jul 26, 2022
Add list_lookup_imap_Some
!396
· created
Jul 26, 2022
by
Michael Sammler
MERGED
5
updated
Jul 26, 2022
Add lookup_union_l'
!395
· created
Jul 26, 2022
by
Michael Sammler
MERGED
6
updated
Aug 03, 2022
Fix the naming of kmap_subseteq and kmap_subset
!393
· created
Jul 26, 2022
by
Michael Sammler
MERGED
Approved
5
updated
Jul 26, 2022
Add map_agree
!392
· created
Jul 26, 2022
by
Michael Sammler
MERGED
14
updated
Aug 01, 2022
Add map_seqZ
!391
· created
Jul 26, 2022
by
Michael Sammler
MERGED
31
updated
Aug 09, 2022
Add map_Exists
!390
· created
Jul 26, 2022
by
Michael Sammler
MERGED
9
updated
Jul 27, 2022
Add case_match eqn: tactic for naming hypotheses generated by case_match
!388
· created
Jul 26, 2022
by
Michael Sammler
MERGED
9
updated
Jul 27, 2022
Prev
1
2
3
4
5
6
…
20
Next