Tue, 19 Feb 2013 12:58:32 +0100 support for prescient timing information within command transactions;
wenzelm [Tue, 19 Feb 2013 12:58:32 +0100] rev 51217
support for prescient timing information within command transactions;
Tue, 19 Feb 2013 10:55:11 +0100 emit command_timing properties into build log;
wenzelm [Tue, 19 Feb 2013 10:55:11 +0100] rev 51216
emit command_timing properties into build log; tuned;
Thu, 21 Feb 2013 12:22:26 +0100 generate Isar proof if Metis appears to be too slow
blanchet [Thu, 21 Feb 2013 12:22:26 +0100] rev 51215
generate Isar proof if Metis appears to be too slow
Thu, 21 Feb 2013 12:22:26 +0100 swap slices so that the last slice is more complete (for minimization)
blanchet [Thu, 21 Feb 2013 12:22:26 +0100] rev 51214
swap slices so that the last slice is more complete (for minimization)
Thu, 21 Feb 2013 12:22:26 +0100 tuning
blanchet [Thu, 21 Feb 2013 12:22:26 +0100] rev 51213
tuning
Wed, 20 Feb 2013 17:42:20 +0100 ensure all conjecture clauses are in the graph -- to prevent exceptions later
blanchet [Wed, 20 Feb 2013 17:42:20 +0100] rev 51212
ensure all conjecture clauses are in the graph -- to prevent exceptions later
Wed, 20 Feb 2013 17:31:28 +0100 generalize syntax of SPASS proofs
blanchet [Wed, 20 Feb 2013 17:31:28 +0100] rev 51211
generalize syntax of SPASS proofs
Wed, 20 Feb 2013 17:15:06 +0100 tweaked hack some more
blanchet [Wed, 20 Feb 2013 17:15:06 +0100] rev 51210
tweaked hack some more
Wed, 20 Feb 2013 17:12:21 +0100 more simplifying constructors
blanchet [Wed, 20 Feb 2013 17:12:21 +0100] rev 51209
more simplifying constructors
Wed, 20 Feb 2013 17:05:24 +0100 remove needless steps from refutation graph -- these confuse the proof redirection algorithm (and are needless)
blanchet [Wed, 20 Feb 2013 17:05:24 +0100] rev 51208
remove needless steps from refutation graph -- these confuse the proof redirection algorithm (and are needless)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip