- Nov 01, 2019
- Sep 19, 2019
-
-
Robbert Krebbers authored
-
- Sep 11, 2019
-
-
Robbert Krebbers authored
-
- Aug 29, 2019
- Aug 28, 2019
- Aug 24, 2019
-
-
Robbert Krebbers authored
-
- Aug 13, 2019
-
-
Paolo G. Giarrusso authored
-
Paolo G. Giarrusso authored
-
Paolo G. Giarrusso authored
Turn all `f_op` lemmas to have shape `f (x ⋅ y) = f x ⋅ f y`, following the plan in iris/iris!295 (comment 39151), plus `cmra_morphism_op`.
-
- Aug 08, 2019
-
-
Paolo G. Giarrusso authored
- And use prop_ext instead of prop_ext_2 in other proofs.
-
- Jul 13, 2019
- Jul 12, 2019
-
-
Ralf Jung authored
-
- Jun 24, 2019
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Paolo G. Giarrusso authored
-
- Jun 21, 2019
-
-
On Mac, options must come first. On Linux this should still be fine, and works with gnu-sed.
-
- Jun 19, 2019
-
-
Ralf Jung authored
-
- Jun 18, 2019
-
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- Jun 12, 2019
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- Jun 11, 2019
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- Jun 10, 2019
-
-
Robbert Krebbers authored
-
- Jun 06, 2019
- Jun 05, 2019
- Jun 03, 2019
-
-
Robbert Krebbers authored
-