- 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
-
- Oct 13, 2021
-
-
Ralf Jung authored
Normalize focused goal output See merge request iris/stdpp!330
-
Tej Chajed authored
Merge the "1 focused goal" line with the subsequent "(shelved: 1)" line, since this is the new output in Coq 8.15+. std++ does not currently produce this output, since no test calls `Show` with shelved goals, but this future-proofs the test normalization.
-
- Oct 09, 2021
-
-
Robbert Krebbers authored
-
- Oct 05, 2021
-
-
Robbert Krebbers authored
fin_sets: add missing Params instance for `set_map` See merge request iris/stdpp!328
-
Paolo G. Giarrusso authored
Noticed from VERY slow rewrites.
-
Paolo G. Giarrusso authored
-
- Oct 02, 2021
-
-
Ralf Jung authored
-
- Oct 01, 2021
-
-
Ralf Jung authored
f_equiv optimizations See merge request iris/stdpp!325
-
- Sep 27, 2021
- Sep 25, 2021
-
-
Ralf Jung authored
-
- Sep 13, 2021
-
-
Robbert Krebbers authored
add size_set_seq See merge request !323
-
