haftmann [Tue, 03 Nov 2009 17:06:35 +0100] rev 33421
always be qualified -- suspected smartness in fact never worked as expected
haftmann [Tue, 03 Nov 2009 17:06:08 +0100] rev 33420
pretty name for ==>
boehmes [Tue, 03 Nov 2009 17:54:24 +0100] rev 33419
added HOL-Boogie
boehmes [Tue, 03 Nov 2009 14:51:55 +0100] rev 33418
added a specific SMT exception captured by smt_tac (prevents the SMT method from failing with an exception),
replaced unspecific 'error' invocations with raising of specific SMT exceptions,
added annotations to traced SMT problem and solver output
boehmes [Tue, 03 Nov 2009 14:07:38 +0100] rev 33417
ignore parsing errors, return empty assignment instead
wenzelm [Thu, 05 Nov 2009 13:16:22 +0100] rev 33416
scheduler: clarified interrupt attributes and handling;
wenzelm [Thu, 05 Nov 2009 13:01:11 +0100] rev 33415
worker_next: plain signalling via work_available only, not scheduler_event;
scheduler: tuned worker pool adjustments;