Thu, 03 Sep 2009 14:49:34 +0200 tuned
nipkow [Thu, 03 Sep 2009 14:49:34 +0200] rev 32506
tuned
Thu, 03 Sep 2009 14:40:52 +0200 isatest: collect test results and logs in testdata repository
krauss [Thu, 03 Sep 2009 14:40:52 +0200] rev 32505
isatest: collect test results and logs in testdata repository
Thu, 03 Sep 2009 14:31:04 +0200 replaced backlist by whitelist
boehmes [Thu, 03 Sep 2009 14:31:04 +0200] rev 32504
replaced backlist by whitelist
Thu, 03 Sep 2009 14:05:13 +0200 Mirabelle: logging of exceptions (works only for PolyML)
boehmes [Thu, 03 Sep 2009 14:05:13 +0200] rev 32503
Mirabelle: logging of exceptions (works only for PolyML)
Wed, 02 Sep 2009 22:12:40 +0200 merged
wenzelm [Wed, 02 Sep 2009 22:12:40 +0200] rev 32502
merged
Wed, 02 Sep 2009 22:12:20 +0200 refined delay into delay_first/delay_last;
wenzelm [Wed, 02 Sep 2009 22:12:20 +0200] rev 32501
refined delay into delay_first/delay_last;
Wed, 02 Sep 2009 21:34:13 +0200 merged
boehmes [Wed, 02 Sep 2009 21:34:13 +0200] rev 32500
merged
Wed, 02 Sep 2009 21:33:16 +0200 add report script for Mirabelle
boehmes [Wed, 02 Sep 2009 21:33:16 +0200] rev 32499
add report script for Mirabelle
Wed, 02 Sep 2009 21:31:58 +0200 Mirabelle: actions are responsible for handling exceptions,
boehmes [Wed, 02 Sep 2009 21:31:58 +0200] rev 32498
Mirabelle: actions are responsible for handling exceptions, Mirabelle core logs only structural information, measuring running times for sledgehammer and subsequent metis invocation, Mirabelle produces reports for every theory (only for sledgehammer at the moment)
Wed, 02 Sep 2009 16:29:50 +0200 removed errors overseen in previous changes
boehmes [Wed, 02 Sep 2009 16:29:50 +0200] rev 32497
removed errors overseen in previous changes
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip