Sat, 22 Jan 2022 14:00:36 +0100 optimized app_op_level selection in TPTP generation
desharna [Sat, 22 Jan 2022 14:00:36 +0100] rev 75005
optimized app_op_level selection in TPTP generation
Sat, 22 Jan 2022 12:05:09 +0100 tuned trivial check in mirabelle_sledgehammer
desharna [Sat, 22 Jan 2022 12:05:09 +0100] rev 75004
tuned trivial check in mirabelle_sledgehammer
Sat, 22 Jan 2022 11:46:25 +0100 renamed run_action to run in Mirabelle.action record
desharna [Sat, 22 Jan 2022 11:46:25 +0100] rev 75003
renamed run_action to run in Mirabelle.action record
Sat, 22 Jan 2022 11:33:31 +0100 added spying of fact filtering timing
desharna [Sat, 22 Jan 2022 11:33:31 +0100] rev 75002
added spying of fact filtering timing
Sat, 22 Jan 2022 08:46:37 +0100 tuned mirabelle_sledgehammer output
desharna [Sat, 22 Jan 2022 08:46:37 +0100] rev 75001
tuned mirabelle_sledgehammer output
Fri, 21 Jan 2022 21:10:34 +0100 added spying to Sledgehammer
desharna [Fri, 21 Jan 2022 21:10:34 +0100] rev 75000
added spying to Sledgehammer
Fri, 21 Jan 2022 21:09:55 +0100 proper fact filter for dummy ATPs
desharna [Fri, 21 Jan 2022 21:09:55 +0100] rev 74999
proper fact filter for dummy ATPs
Fri, 21 Jan 2022 16:17:42 +0100 added syping of fact filtering time to sledgehammer
desharna [Fri, 21 Jan 2022 16:17:42 +0100] rev 74998
added syping of fact filtering time to sledgehammer
Fri, 21 Jan 2022 15:38:00 +0100 removed unsynchronized references in mirabelle_sledgehammer
desharna [Fri, 21 Jan 2022 15:38:00 +0100] rev 74997
removed unsynchronized references in mirabelle_sledgehammer
Fri, 21 Jan 2022 15:29:36 +0100 tuned mirabelle_sledgehammer to have a single call to Synchronized.change per run
desharna [Fri, 21 Jan 2022 15:29:36 +0100] rev 74996
tuned mirabelle_sledgehammer to have a single call to Synchronized.change per run
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip