- 13 Sep, 2019 1 commit
-
-
Robbert Krebbers authored
-
- 11 Sep, 2019 5 commits
-
-
Robbert authored
Add `iStopProof` tactic Closes #265 See merge request iris/iris!311
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
This commit closes issue #265.
-
Robbert Krebbers authored
-
- 09 Sep, 2019 1 commit
-
-
Jacques-Henri Jourdan authored
-
- 08 Sep, 2019 2 commits
-
-
Jacques-Henri Jourdan authored
-
Jacques-Henri Jourdan authored
-
- 06 Sep, 2019 2 commits
-
-
Robbert Krebbers authored
We have these instances for all other logical operations too to support setoid rewriting in both directions.
-
Robbert Krebbers authored
-
- 30 Aug, 2019 2 commits
-
-
Robbert authored
fix typo in the docs See merge request iris/iris!310
-
Dan Frumin authored
-
- 29 Aug, 2019 4 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
Iris 3.2 release notes See merge request iris/iris!309
-
- 28 Aug, 2019 4 commits
- 27 Aug, 2019 2 commits
-
-
Ralf Jung authored
Lemmas for list cmra See merge request iris/iris!308
-
Michael Sammler authored
-
- 26 Aug, 2019 3 commits
-
-
Ralf Jung authored
Simon knows why ;)
-
Robbert authored
Add `big_sepL2_swap` See merge request iris/iris!307
-
Dan Frumin authored
-
- 25 Aug, 2019 1 commit
-
-
Robbert Krebbers authored
-
- 24 Aug, 2019 3 commits
-
-
Robbert authored
Lemmas for big ops commuting with updates See merge request iris/iris!305
-
Robbert Krebbers authored
-
Ralf Jung authored
Add `head_prim_fill_reducible_no_obs` See merge request iris/iris!306
-
- 22 Aug, 2019 5 commits
-
-
Dan Frumin authored
-
Robbert Krebbers authored
-
Dan Frumin authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 16 Aug, 2019 1 commit
-
-
Robbert Krebbers authored
-
- 14 Aug, 2019 2 commits
- 13 Aug, 2019 2 commits
-
-
Robbert Krebbers authored
-
Ralf Jung authored
Fix #256: Fix direction of f_op lemmas Closes #256 See merge request iris/iris!303
-