- 19 May, 2019 23 commits
-
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
This reverts commits 6d0b75b9068fd26619e94da4dca9b3a99e612306 and 2aea3d477808334fd945ea8407735be82dad0a03.
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
By commuting implication with match, we can avoid using deeply nested conjunctions in these tactics, which may cause them to be faster.
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
Joseph Tassarotti authored
-
- 30 Apr, 2019 1 commit
-
-
Robbert Krebbers authored
-
- 29 Apr, 2019 5 commits
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
Ralf Jung authored
-
Robbert Krebbers authored
Fix documentation for ofe_funR See merge request iris/iris!236
-
Paolo G. Giarrusso authored
This comment wasn't updated after 866cad62.
-
- 27 Apr, 2019 3 commits
-
-
Robbert Krebbers authored
Avoid conversion after only reducing goal. See merge request iris/iris!235
-
Robbert Krebbers authored
-
Janno authored
-
- 26 Apr, 2019 2 commits
-
-
Robbert Krebbers authored
-
Robbert Krebbers authored
-
- 25 Apr, 2019 2 commits
-
-
-
Robbert Krebbers authored
-
- 24 Apr, 2019 2 commits
-
-
Robbert Krebbers authored
-
Ralf Jung authored
-
- 23 Apr, 2019 1 commit
-
-
Robbert Krebbers authored
-
- 17 Apr, 2019 1 commit
-
-
Paolo G. Giarrusso authored
-