- 12 Sep, 2019 1 commit
-
-
- 11 Sep, 2019 4 commits
-
-
Jacques-Henri Jourdan authored
Fix Open/Close scope See merge request !94
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Jacques-Henri Jourdan authored
Use Open/Close Scope without Local (i.e., export the scope opening) only when the scope corresponds to the main purpose of the module.
-
- 05 Sep, 2019 1 commit
-
-
Robbert Krebbers authored
Due to Coq bug #10480 or #10474 it actually used `Morphisms.solve_proper` instead of the version of std++. The version in std++ can inherently not solve this, so I changed it into a manual proof.
-
- 29 Aug, 2019 3 commits
-
-
-
Michael Sammler authored
-
Ralf Jung authored
-
- 27 Aug, 2019 1 commit
-
-
- 26 Aug, 2019 5 commits
-
-
Michael Sammler authored
-
-
Ralf Jung authored
-
-
Ralf Jung authored
-
- 24 Aug, 2019 3 commits
-
-
Robbert Krebbers authored
-
-
Dan Frumin authored
-
- 23 Aug, 2019 3 commits
-
-
Robbert Krebbers authored
-
Robbert authored
relations.nsteps: add inversion lemma for `nsteps R 1 a b` See merge request iris/stdpp!87
-
Paolo G. Giarrusso authored
-
- 14 Aug, 2019 4 commits
-
-
Robbert Krebbers authored
-
Robbert authored
Several simple lemmas. See merge request iris/stdpp!85
-
Paulo Emílio de Vilhena authored
-
Robbert Krebbers authored
-
- 13 Aug, 2019 3 commits
-
-
Robbert authored
More lemmas about [map_imap]. See merge request iris/stdpp!84
-
Rodolphe Lepigre authored
-
Robbert authored
std++ 1.2.1 release notes See merge request iris/stdpp!86
-
- 07 Aug, 2019 1 commit
-
-
Ralf Jung authored
-
- 13 Jul, 2019 4 commits
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
-
Ralf Jung authored
-
- 09 Jul, 2019 1 commit
-
-
Ralf Jung authored
-
- 08 Jul, 2019 1 commit
-
-
Ralf Jung authored
-
- 07 Jul, 2019 4 commits
- 05 Jul, 2019 1 commit
-
-
Robbert Krebbers authored
-
