desharna [Fri, 21 Jan 2022 21:10:34 +0100] rev 75000
added spying to Sledgehammer
desharna [Fri, 21 Jan 2022 21:09:55 +0100] rev 74999
proper fact filter for dummy ATPs
desharna [Fri, 21 Jan 2022 16:17:42 +0100] rev 74998
added syping of fact filtering time to sledgehammer
desharna [Fri, 21 Jan 2022 15:38:00 +0100] rev 74997
removed unsynchronized references in mirabelle_sledgehammer
desharna [Fri, 21 Jan 2022 15:29:36 +0100] rev 74996
tuned mirabelle_sledgehammer to have a single call to Synchronized.change per run
wenzelm [Mon, 24 Jan 2022 21:29:37 +0100] rev 74995
updated to polyml-test-15c840d48c9a;
wenzelm [Sat, 22 Jan 2022 13:00:03 +0100] rev 74994
some updates and clarification on Assumption.export_term;
paulson <lp15@cam.ac.uk> [Fri, 21 Jan 2022 23:49:10 +0000] rev 74993
new theorem has_integral_UN
wenzelm [Fri, 21 Jan 2022 17:39:07 +0100] rev 74992
updated to jdk-17.0.2+8;
desharna [Fri, 21 Jan 2022 12:09:55 +0100] rev 74991
used elapsed time instead of cpu time in Mirabelle because the latter contain cpu time of all threads