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
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip