- Dec 01, 2021
-
-
Michael Sammler authored
-
Michael Sammler authored
Add bool_to_Z See merge request iris/stdpp!341
-
Michael Sammler 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 !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
-
Ralf Jung authored
countable.v: prove choose_proper See merge request iris/stdpp!327
-
-
Paolo G. Giarrusso authored
-
-
- Nov 04, 2021
-
-
Paolo G. Giarrusso authored
-
- Oct 27, 2021
-
-
Paolo G. Giarrusso authored
Noticed while working towards "Pragmatic quotients".
-
Paolo G. Giarrusso authored
-
Paolo G. Giarrusso authored
-
Paolo G. Giarrusso authored
No changes to the contents.
-
- Oct 26, 2021
-
-
Paolo G. Giarrusso authored
-
Robbert Krebbers authored
base.v: fix typo in comment about MonadSet, and extend See merge request iris/stdpp!332
-
-
Robbert Krebbers authored
Mark set_size and set_fold as TC opaque See merge request iris/stdpp!329
-
Paolo G. Giarrusso authored
-
