Tue, 03 Nov 2009 17:06:35 +0100 always be qualified -- suspected smartness in fact never worked as expected
haftmann [Tue, 03 Nov 2009 17:06:35 +0100] rev 33421
always be qualified -- suspected smartness in fact never worked as expected
Tue, 03 Nov 2009 17:06:08 +0100 pretty name for ==>
haftmann [Tue, 03 Nov 2009 17:06:08 +0100] rev 33420
pretty name for ==>
Tue, 03 Nov 2009 17:54:24 +0100 added HOL-Boogie
boehmes [Tue, 03 Nov 2009 17:54:24 +0100] rev 33419
added HOL-Boogie
Tue, 03 Nov 2009 14:51:55 +0100 added a specific SMT exception captured by smt_tac (prevents the SMT method from failing with an exception),
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
Tue, 03 Nov 2009 14:07:38 +0100 ignore parsing errors, return empty assignment instead
boehmes [Tue, 03 Nov 2009 14:07:38 +0100] rev 33417
ignore parsing errors, return empty assignment instead
Thu, 05 Nov 2009 13:16:22 +0100 scheduler: clarified interrupt attributes and handling;
wenzelm [Thu, 05 Nov 2009 13:16:22 +0100] rev 33416
scheduler: clarified interrupt attributes and handling;
Thu, 05 Nov 2009 13:01:11 +0100 worker_next: plain signalling via work_available only, not scheduler_event;
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;
Thu, 05 Nov 2009 00:13:00 +0100 revert fulfill_proof_future tuning (actually a bit slower due to granularity issues?);
wenzelm [Thu, 05 Nov 2009 00:13:00 +0100] rev 33414
revert fulfill_proof_future tuning (actually a bit slower due to granularity issues?);
Wed, 04 Nov 2009 21:22:35 +0100 avoid broadcast work_available, use daisy-chained signal instead;
wenzelm [Wed, 04 Nov 2009 21:22:35 +0100] rev 33413
avoid broadcast work_available, use daisy-chained signal instead; max_threads: allow as much as 4 * m, after extra delay;
Wed, 04 Nov 2009 21:21:05 +0100 fulfill_proof_future: tuned important special case of singleton promise;
wenzelm [Wed, 04 Nov 2009 21:21:05 +0100] rev 33412
fulfill_proof_future: tuned important special case of singleton promise;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip