Tue, 25 Jan 2022 09:57:44 +0100 merged
desharna [Tue, 25 Jan 2022 09:57:44 +0100] rev 75007
merged
Sat, 22 Jan 2022 14:33:35 +0100 optimized facts traversal in TPTP translation
desharna [Sat, 22 Jan 2022 14:33:35 +0100] rev 75006
optimized facts traversal in TPTP translation
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
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip