- Jan 07, 2021
-
-
Ralf Jung authored -
Robbert Krebbers authored
Remove duplicate `map_fmap_empty` of `fmap_empty`, and rename... See merge request iris/stdpp!205
-
- Jan 04, 2021
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Remove duplicate `map_fmap_empty` of `fmap_empty`, and rename `map_fmap_empty_inv` into `fmap_empty_inv` for consistency's sake.
-
- Dec 24, 2020
-
-
Robbert Krebbers authored
-
- Dec 11, 2020
-
-
Ralf Jung authored
-
- Dec 10, 2020
-
-
Ralf Jung authored
-
- Dec 09, 2020
-
-
Ralf Jung authored
-
- Dec 04, 2020
-
-
Robbert Krebbers authored
add insert_subseteq_l See merge request iris/stdpp!204
-
Ralf Jung authored
-
Ralf Jung authored
-
- Nov 26, 2020
-
-
Ralf Jung authored
-
Robbert Krebbers authored
Replace unused pattern variables with underscore See merge request iris/stdpp!203
-
- Nov 23, 2020
-
-
Tej Chajed authored
Addresses new unused-pattern-matching-variable warning on Coq master.
-
Robbert Krebbers authored
Add explicit Global to hints at top level See merge request iris/stdpp!202
-
- Nov 20, 2020
-
-
Tej Chajed authored
Fixes new Coq master warning deprecated-hint-without-locality.
-
- Nov 15, 2020
-
-
Ralf Jung authored
-
- Nov 12, 2020
-
-
Robbert Krebbers authored
Set `Hint Mode` for `pretty`. See merge request iris/stdpp!201
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Nov 11, 2020
- Nov 10, 2020
-
-
Robbert Krebbers authored
Add lemmas about `list_to_map` See merge request iris/stdpp!199
-
Robbert Krebbers authored
Pretty-print 0 as "0" for N, Z, and nat See merge request iris/stdpp!200
-
Simon Friis Vindum authored -
Robbert Krebbers authored
This is a copy/paste of the CHANGELOG in iris/stdpp!198.
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
This fix is inspired by iris/stdpp!198.
-
- Nov 09, 2020
-
-
Simon Friis Vindum authored
-
- Nov 02, 2020
-
-
Ralf Jung authored
-
- Oct 31, 2020
-
-
Robbert Krebbers authored
-
- Oct 30, 2020
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
Extend the theory of positive rationals `Qp` See merge request iris/stdpp!188
-
- Oct 29, 2020
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
