Wed, 04 Nov 2009 16:54:22 +0100 nipkow New
Wed, 04 Nov 2009 10:17:58 +0100 nipkow merged
Wed, 04 Nov 2009 10:17:43 +0100 nipkow fixed order of parameters in induction rules
Wed, 04 Nov 2009 09:43:25 +0100 krauss added bulwahn to isatest mailings
Wed, 04 Nov 2009 09:18:46 +0100 nipkow merged
Wed, 04 Nov 2009 09:18:03 +0100 nipkow Completely overhauled
Tue, 03 Nov 2009 19:01:06 -0800 huffman better error handling for fixrec_simp
Tue, 03 Nov 2009 18:33:16 -0800 huffman add more fixrec_simp rules
Tue, 03 Nov 2009 18:32:56 -0800 huffman fixrec examples use fixrec_simp instead of fixpat
Tue, 03 Nov 2009 18:32:30 -0800 huffman domain package registers fixrec_simp lemmas
Tue, 03 Nov 2009 17:09:27 -0800 huffman merged
Tue, 03 Nov 2009 17:03:21 -0800 huffman add fixrec_simp attribute and method (eventually to replace fixpat)
Tue, 03 Nov 2009 23:44:16 +0100 boehmes proper and unique case names for the split_vc method,
Tue, 03 Nov 2009 19:32:08 +0100 haftmann merged
Tue, 03 Nov 2009 17:08:57 +0100 haftmann merged
Tue, 03 Nov 2009 17:06:35 +0100 haftmann always be qualified -- suspected smartness in fact never worked as expected
Tue, 03 Nov 2009 17:06:08 +0100 haftmann pretty name for ==>
Tue, 03 Nov 2009 17:54:24 +0100 boehmes added HOL-Boogie
Tue, 03 Nov 2009 14:51:55 +0100 boehmes added a specific SMT exception captured by smt_tac (prevents the SMT method from failing with an exception),
Tue, 03 Nov 2009 14:07:38 +0100 boehmes ignore parsing errors, return empty assignment instead
Thu, 05 Nov 2009 13:16:22 +0100 wenzelm scheduler: clarified interrupt attributes and handling;
Thu, 05 Nov 2009 13:01:11 +0100 wenzelm worker_next: plain signalling via work_available only, not scheduler_event;
Thu, 05 Nov 2009 00:13:00 +0100 wenzelm revert fulfill_proof_future tuning (actually a bit slower due to granularity issues?);
Wed, 04 Nov 2009 21:22:35 +0100 wenzelm avoid broadcast work_available, use daisy-chained signal instead;
Wed, 04 Nov 2009 21:21:05 +0100 wenzelm fulfill_proof_future: tuned important special case of singleton promise;
Wed, 04 Nov 2009 20:31:36 +0100 wenzelm worker_next: treat wait for work_available as Sleeping, not Waiting;
Wed, 04 Nov 2009 11:58:29 +0100 wenzelm worker activity: distinguish between waiting (formerly active) and sleeping;
Wed, 04 Nov 2009 11:37:06 +0100 wenzelm tuned;
Wed, 04 Nov 2009 11:30:22 +0100 wenzelm tuned thread data;
Wed, 04 Nov 2009 00:29:58 +0100 wenzelm worker_next: ensure that work_available is passed on before sleeping (was occasionally lost when worker configuration changed, causing scheduler deadlock);
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip