- Dec 04, 2021
-
-
Ralf Jung authored
-
- Dec 03, 2021
-
-
Ralf Jung authored
drop support for Coq 8.10 See merge request iris/stdpp!342
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- Dec 02, 2021
-
-
Robbert Krebbers authored
`zip_with_take_{l,r,both}{,'}` (was: Add lemma `zip_with_take_both`) See merge request iris/stdpp!339
-
- Dec 01, 2021
-
-
Ralf Jung authored
some more lemmas about list folding See merge request iris/stdpp!343
-
-
Glen Mével authored
-
Glen Mével authored
-
Glen Mével authored
-
Michael Sammler authored
-
Michael Sammler authored
Add bool_to_Z See merge request iris/stdpp!341
-
Michael Sammler authored
-
- Nov 30, 2021
-
-
Ralf Jung authored
-
- Nov 26, 2021
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
Lemmas for lookup on mjoin See merge request iris/stdpp!340
-
Michael Sammler authored
-
- Nov 24, 2021
-
-
Robbert Krebbers authored
Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some See merge request iris/stdpp!338
-
Robbert Krebbers authored
Upstreaming a small collection of lemmas See merge request iris/stdpp!337
-
Michael Sammler authored
-
Michael Sammler authored
-
- Nov 23, 2021
-
-
Ralf Jung authored
Fix coq-lint.sh on macOS See merge request iris/stdpp!336
-
Tej Chajed authored
On macOS, egrep does not support empty subexpressions in a regex OR.
-
- Nov 22, 2021
-
-
Robbert Krebbers authored
Add lemma `map_subseteq_inv`. See merge request iris/stdpp!335
-
- Nov 18, 2021
-
-
Robbert Krebbers authored
-
- Nov 15, 2021
- Nov 13, 2021
-
-
Ralf Jung authored
normalize for Fail printing locations See merge request iris/stdpp!334
-
Ralf Jung authored
-
- Nov 08, 2021
-
-
Ralf Jung authored
-
- Nov 05, 2021
-
-
Ralf Jung authored
-
-
Ralf Jung authored
-
Ralf Jung authored
std++ 1.6.0 release notes Closes #119 See merge request iris/stdpp!333
-
-
Ralf Jung authored
-
-
-
