- 10 Jun, 2019 8 commits
-
-
Ralf Jung authored -
Robbert Krebbers authored
Add ghost data to locations See merge request iris/iris!249
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 09 Jun, 2019 6 commits
-
-
Ralf Jung authored
Fix regression with iSpecialize errors. See merge request iris/iris!262
-
Joseph Tassarotti authored
-
Ralf Jung authored
Fix error messages for iSplitL/iSplitR. See merge request iris/iris!261
-
Joseph Tassarotti authored
-
Ralf Jung authored
-
Ralf Jung authored
-
- 07 Jun, 2019 2 commits
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- 06 Jun, 2019 7 commits
- 05 Jun, 2019 12 commits
-
-
Robbert Krebbers authored
Alternative take on making proof mode terms more compact. See merge request iris/iris!254
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
Robbert Krebbers authored
This is an alternative to !224.
-
Ralf Jung authored
-
Ralf Jung authored
docs: for now we won't document atomic triples or total triples; de-experimentalize plainly and stuckness
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
-
- 04 Jun, 2019 3 commits
-
-
Ralf Jung authored
-
Ralf Jung authored
Turn the arguments of functors into COFEs + write some docs See merge request iris/iris!257
-
Robbert Krebbers authored
-
- 03 Jun, 2019 2 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
