Mon, 08 Nov 2010 13:25:00 +0100 merge
blanchet [Mon, 08 Nov 2010 13:25:00 +0100] rev 40427
merge
Mon, 08 Nov 2010 09:10:44 +0100 recognize Vampire error
blanchet [Mon, 08 Nov 2010 09:10:44 +0100] rev 40426
recognize Vampire error
Mon, 08 Nov 2010 12:13:51 +0100 return the process return code along with the process outputs
boehmes [Mon, 08 Nov 2010 12:13:51 +0100] rev 40425
return the process return code along with the process outputs
Mon, 08 Nov 2010 12:13:44 +0100 better modularization: moved SMT configuration options and diagnostics as well as SMT failure and exception into separate structures (both of which are loaded first and consequently are available to other SMT structures)
boehmes [Mon, 08 Nov 2010 12:13:44 +0100] rev 40424
better modularization: moved SMT configuration options and diagnostics as well as SMT failure and exception into separate structures (both of which are loaded first and consequently are available to other SMT structures)
Mon, 08 Nov 2010 11:49:28 +0100 merged
haftmann [Mon, 08 Nov 2010 11:49:28 +0100] rev 40423
merged
Mon, 08 Nov 2010 10:56:48 +0100 corrected slip: must keep constant map, not type map; tuned code
haftmann [Mon, 08 Nov 2010 10:56:48 +0100] rev 40422
corrected slip: must keep constant map, not type map; tuned code
Mon, 08 Nov 2010 10:43:24 +0100 constructors to datatypes in code_reflect can be globbed; dropped unused code
haftmann [Mon, 08 Nov 2010 10:43:24 +0100] rev 40421
constructors to datatypes in code_reflect can be globbed; dropped unused code
Mon, 08 Nov 2010 09:25:43 +0100 adding code and theory for smallvalue generators, but do not setup the interpretation yet
bulwahn [Mon, 08 Nov 2010 09:25:43 +0100] rev 40420
adding code and theory for smallvalue generators, but do not setup the interpretation yet
Mon, 08 Nov 2010 02:33:48 +0100 make sure the SMT solver runs several iterations by lowering the timeout at each iteration -- yields better results in practice
blanchet [Mon, 08 Nov 2010 02:33:48 +0100] rev 40419
make sure the SMT solver runs several iterations by lowering the timeout at each iteration -- yields better results in practice
Mon, 08 Nov 2010 02:32:27 +0100 better detection of completely irrelevant facts
blanchet [Mon, 08 Nov 2010 02:32:27 +0100] rev 40418
better detection of completely irrelevant facts
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip