- Aug 01, 2022
-
-
Robbert Krebbers authored
Add list_subseteq_dec See merge request iris/stdpp!400
-
Michael Sammler authored
-
- Jul 31, 2022
-
-
Robbert Krebbers authored
Add lookup lemmas for partial alter and commuting lemmas for alter See merge request iris/stdpp!399
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Add join_length See merge request iris/stdpp!401
-
- Jul 27, 2022
-
-
Michael Sammler authored
-
Michael Sammler authored
-
Robbert Krebbers authored
Add case_match eqn: tactic for naming hypotheses generated by case_match See merge request iris/stdpp!388
-
Michael Sammler authored
-
Robbert Krebbers authored
Add map_Exists See merge request iris/stdpp!390
-
Michael Sammler authored
-
-
-
Michael Sammler authored
-
- Jul 26, 2022
-
-
Robbert Krebbers authored
Fix the naming of kmap_subseteq and kmap_subset See merge request iris/stdpp!393
-
Robbert Krebbers authored
Add list_lookup_imap_Some See merge request iris/stdpp!396
-
Robbert Krebbers authored
Add list_fmap_delete, omap_app, and omap_option_list See merge request iris/stdpp!397
-
Michael Sammler authored
-
Michael Sammler authored
-
Michael Sammler authored
-
- Jul 18, 2022
-
-
Robbert Krebbers authored
-
- Jul 07, 2022
-
-
Ralf Jung authored -
Ralf Jung authored
prepare for https://github.com/coq/coq/pull/16289 See merge request iris/stdpp!385
-
-
- Jun 28, 2022
-
-
Ralf Jung authored
-
- Jun 27, 2022
- Jun 08, 2022
-
-
Ralf Jung authored
-
- May 30, 2022
-
-
Robbert Krebbers authored
Preimage function for finite maps. See merge request !382
-
Robbert Krebbers authored
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- May 25, 2022
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- May 16, 2022
-
-
Ralf Jung authored
Enable cumulativity for telescopes Closes iris#461 See merge request iris/stdpp!380
-
Jan-Oliver Kaiser authored
-
