- Jul 27, 2022
-
-
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
-
Jan-Oliver Kaiser authored
The accessor test case also fails when the flag is enabled so that the dedicated test case for it never has a chance to run.
-
Jan-Oliver Kaiser authored
-
Ralf Jung authored
-
- May 13, 2022
-
-
Ralf Jung authored
Set `Hint Mode` for `FinSet`. Closes #139 See merge request iris/stdpp!379
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Rename seal lemmas from `_eq` to `_unseal` and make sealing stuff `Local`. See merge request iris/stdpp!378
-
