- Jan 13, 2020
- Jan 11, 2020
-
-
Robbert Krebbers authored
Rename Awesome_{ne,proper} to NamespaceMap_{ne,proper} See merge request iris/iris!356
-
- Jan 10, 2020
- Jan 09, 2020
-
-
Ralf Jung authoredadd 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
-
- Jan 08, 2020
- Jan 07, 2020
-
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Paolo G. Giarrusso authored
-
- Dec 20, 2019
-
-
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
-
- Dec 19, 2019
-
-
Ralf Jung authored
[doc] Fix links to doc files Closes #281 See merge request iris/iris!350
-
-
Ralf Jung authored
-
- Dec 18, 2019
-
-
Jacques-Henri Jourdan authored
-
- Dec 14, 2019
-
-
Robbert Krebbers authored
[doc] Copy edit the heap lang documentation See merge request iris/iris!346
-
Tej Chajed authored
-
- Dec 13, 2019
-
-
Robbert Krebbers authored
Fix two scripts due to bugfix in mode-checking See merge request iris/iris!344
-
That should not be allowed
-
Robbert Krebbers authored
Avoid unwanted subgoals when applying `from_assumption_exact` See merge request iris/iris!343
-
Maxime Dénès authored
-
- Dec 10, 2019
-
-
Robbert Krebbers authored
-
- Dec 09, 2019
-
-
-
Ralf Jung authored
-
- Dec 06, 2019
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Ralf Jung authored
-
