Wed, 09 Feb 2011 17:18:58 +0100 automatically minimize Z3-as-an-ATP proofs (cf. CVC3 and Yices)
blanchet [Wed, 09 Feb 2011 17:18:58 +0100] rev 41742
automatically minimize Z3-as-an-ATP proofs (cf. CVC3 and Yices)
Wed, 09 Feb 2011 17:18:58 +0100 renamed field
blanchet [Wed, 09 Feb 2011 17:18:58 +0100] rev 41741
renamed field
Wed, 09 Feb 2011 17:18:58 +0100 added "Z3 as an ATP" support to Sledgehammer locally
blanchet [Wed, 09 Feb 2011 17:18:58 +0100] rev 41740
added "Z3 as an ATP" support to Sledgehammer locally
Wed, 09 Feb 2011 17:18:57 +0100 remove Z3 wrapper script, which is no longer necessary now that the SMT module generates SMT-LIB compliant files
blanchet [Wed, 09 Feb 2011 17:18:57 +0100] rev 41739
remove Z3 wrapper script, which is no longer necessary now that the SMT module generates SMT-LIB compliant files
Wed, 09 Feb 2011 17:18:57 +0100 added experimental "remote_z3_atp", Sutcliffe's TPTP-syntax-aware wrapper for Z3 -- allows to do head-to-head comparison of Sledgehammer's ATP translation and of Sascha's SMT translation
blanchet [Wed, 09 Feb 2011 17:18:57 +0100] rev 41738
added experimental "remote_z3_atp", Sutcliffe's TPTP-syntax-aware wrapper for Z3 -- allows to do head-to-head comparison of Sledgehammer's ATP translation and of Sascha's SMT translation
Wed, 09 Feb 2011 15:48:43 +0100 tuned scope of Multithreading.interrupted vs. Multithreading.with_attributes;
wenzelm [Wed, 09 Feb 2011 15:48:43 +0100] rev 41737
tuned scope of Multithreading.interrupted vs. Multithreading.with_attributes;
Wed, 09 Feb 2011 08:42:23 +0100 merged
bulwahn [Wed, 09 Feb 2011 08:42:23 +0100] rev 41736
merged
Tue, 08 Feb 2011 18:39:36 +0100 changing auto-quickcheck to be considered a non-interactive invocation of quickcheck
bulwahn [Tue, 08 Feb 2011 18:39:36 +0100] rev 41735
changing auto-quickcheck to be considered a non-interactive invocation of quickcheck
Tue, 08 Feb 2011 21:12:27 +0100 discontinued obsolete lib/scripts/polyml-platform;
wenzelm [Tue, 08 Feb 2011 21:12:27 +0100] rev 41734
discontinued obsolete lib/scripts/polyml-platform;
Tue, 08 Feb 2011 21:06:03 +0100 clarified comment -- ancienct PG 3.7.x is still in use;
wenzelm [Tue, 08 Feb 2011 21:06:03 +0100] rev 41733
clarified comment -- ancienct PG 3.7.x is still in use;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip