- 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 3 commits
-
-
Ralf Jung authored
[doc] Fix links to doc files Closes #281 See merge request iris/iris!350
-
-
Ralf Jung authored
-
- 18 Dec, 2019 1 commit
-
-
Jacques-Henri Jourdan authored
-
- 14 Dec, 2019 2 commits
-
-
Robbert Krebbers authored
[doc] Copy edit the heap lang documentation See merge request iris/iris!346
-
Tej Chajed authored
-
- 13 Dec, 2019 1 commit
-
-
Robbert Krebbers authored
Fix two scripts due to bugfix in mode-checking See merge request iris/iris!344
-
