- 03 Jul, 2021 2 commits
-
-
Ralf Jung authored
add lookup_union_l See merge request iris/stdpp!292
-
Ralf Jung authored
-
- 28 Jun, 2021 3 commits
-
-
Ralf Jung authored
-
Robbert Krebbers authored
Update changelog for filter extensionality lemmas See merge request iris/stdpp!290
-
Simon Friis Vindum authored
-
- 27 Jun, 2021 3 commits
-
-
Ralf Jung authored
-
Robbert Krebbers authored
Make sum_inhabited_r not a copy of sum_inhabited_l See merge request iris/stdpp!288
-
Paolo G. Giarrusso authored
This existed at least as far back as iris/stdpp@361308c7, 8 years ago.
-
- 26 Jun, 2021 1 commit
-
-
Ralf Jung authored
rename insert_delete → insert_delete_insert; add new insert_delete matching delete_insert See merge request iris/stdpp!287
-
- 25 Jun, 2021 4 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
Add a few set and map related lemmas See merge request iris/stdpp!284
-
Simon Friis Vindum authored
-
- 24 Jun, 2021 5 commits
-
-
Robbert Krebbers authored
Fix potential stack overflow related to `Pretty N`. See merge request iris/stdpp!286
-
-
Robbert Krebbers authored
add {fst,snd}_map_zip See merge request iris/stdpp!285
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 23 Jun, 2021 3 commits
- 19 Jun, 2021 1 commit
-
-
Simon Friis Vindum authored
-
- 18 Jun, 2021 3 commits
-
-
Robbert Krebbers authored
Rewrite cross split lemmas so they can more easily be used for forward reasoning. See merge request iris/stdpp!283
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 17 Jun, 2021 12 commits
-
-
Robbert Krebbers authored
Various setoids lemmas for maps, lists, and option See merge request iris/stdpp!281
-
Robbert Krebbers authored
Add lemmas `map_intersection_filter` and `map_difference_filter`. See merge request iris/stdpp!282
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- 16 Jun, 2021 3 commits
-
-
Robbert Krebbers authored
Prove more equivalences for closure operators on relations. See merge request iris/stdpp!278
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-