- 16 Jan, 2020 2 commits
-
-
Robbert Krebbers authored
Seal big_sepM2 See merge request iris/iris!352
-
Michael Sammler authored
-
- 15 Jan, 2020 4 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
Missing `tc_opaque` instance for `FromForall`. See merge request iris/iris!357
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 14 Jan, 2020 2 commits
-
-
Ralf Jung authored
-
Robbert Krebbers authored
Step-indexed propositions See merge request iris/iris!304
-
- 13 Jan, 2020 11 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- 11 Jan, 2020 1 commit
-
-
Robbert Krebbers authored
Rename Awesome_{ne,proper} to NamespaceMap_{ne,proper} See merge request iris/iris!356
-
- 10 Jan, 2020 3 commits
- 09 Jan, 2020 6 commits
-
-
Ralf Jung authored
add dependent allocation lemma to own See merge request iris/iris!354
-
Ralf Jung authored
The build is broken, see https://github.com/coq/coq/issues/11383
-
Ralf Jung authored
-
Ralf Jung authored
Fix and test `awp_apply` error message, and also use `tactic3` everywhere See merge request iris/iris!355
-
Robbert Krebbers authored
Use &&& from lazy_bool_scope instead of redefining the && notation. See merge request iris/iris!349
-
Ralf Jung authored
-
- 08 Jan, 2020 4 commits
- 07 Jan, 2020 4 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Paolo G. Giarrusso authored
-
- 20 Dec, 2019 2 commits
-
-
Ralf Jung authored
fix big_sepM2_fmap and friend to work for keys other than nat Closes #283 See merge request iris/iris!351
-
Michael Sammler authored
-
- 19 Dec, 2019 1 commit
-
-
Ralf Jung authored
[doc] Fix links to doc files Closes #281 See merge request iris/iris!350
-