- Aug 28, 2019
-
-
Ralf Jung authored
-
- Aug 27, 2019
-
-
Ralf Jung authored
Lemmas for list cmra See merge request iris/iris!308
-
Michael Sammler authored
-
- Aug 26, 2019
-
-
Ralf Jung authored
Simon knows why ;)
-
Robbert Krebbers authored
Add `big_sepL2_swap` See merge request !307
-
-
- Aug 25, 2019
-
-
Robbert Krebbers authored
-
- Aug 24, 2019
-
-
Robbert Krebbers authored
Lemmas for big ops commuting with updates See merge request !305
-
Robbert Krebbers authored
-
- Aug 22, 2019
-
-
Dan Frumin authored
-
Robbert Krebbers authored
-
Dan Frumin authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- Aug 16, 2019
-
-
Robbert Krebbers authored
-
- Aug 14, 2019
- Aug 13, 2019
-
-
Robbert Krebbers authored
-
Ralf Jung authored
Fix #256: Fix direction of f_op lemmas Closes #256 See merge request iris/iris!303
-
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`.
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Fix issue #259: Error message when iRevert is used on out of scope variable Closes #259 See merge request iris/iris!301
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Based on @Blaisorblade's suggestion.
-
- Aug 12, 2019
-
-
Robbert Krebbers authored
fix typo in -d> docs See merge request iris/iris!298
-
-
Ralf Jung authored
-
Robbert Krebbers authored
Add some trivial but useful heaplang libraries. See merge request iris/iris!291
-