| #
a424d55e |
|
09-Mar-2020 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
licenses: convert license tags to SPDX
|
| #
5af827b6 |
|
11-Sep-2018 |
Edward Pierzchalski <ed.pierzchalski@data61.csiro.au> |
lib: time_methods: add flag to skip failure output
Adds a flag `skip_fail` to the method `time_methods`, to skip
output when a timed method fails.
|
| #
6b9d9d24 |
|
09-Jun-2018 |
Gerwin Klein <gerwin.klein@data61.csiro.au> |
Isabelle2018: new "op x" syntax; now is "(x)"
(result of "isabelle update_op -m <dir>")
|
| #
6065d3e7 |
|
06-Aug-2018 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
lib/Time_Methods_Cmd: small fixes
Add method description string; fix a theory import.
|
| #
b3e8155f |
|
11-May-2018 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
lib: refactor time_methods and test cases
|
| #
f224e239 |
|
27-Apr-2018 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
lib: add time_methods method for comparing proof tactic speeds
|