Tue, 22 Sep 2009 11:26:46 +0200 used standard fold function and type aliases
Philipp Meyer [Tue, 22 Sep 2009 11:26:46 +0200] rev 32646
used standard fold function and type aliases
Mon, 21 Sep 2009 15:05:26 +0200 sos method generates and uses proof certificates
Philipp Meyer [Mon, 21 Sep 2009 15:05:26 +0200] rev 32645
sos method generates and uses proof certificates
Tue, 22 Sep 2009 20:25:31 +0200 full reserve of worker threads -- for improved CPU utilization;
wenzelm [Tue, 22 Sep 2009 20:25:31 +0200] rev 32644
full reserve of worker threads -- for improved CPU utilization;
Tue, 22 Sep 2009 15:38:12 +0200 merged
haftmann [Tue, 22 Sep 2009 15:38:12 +0200] rev 32643
merged
Tue, 22 Sep 2009 15:36:55 +0200 be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
haftmann [Tue, 22 Sep 2009 15:36:55 +0200] rev 32642
be more cautious wrt. simp rules: inf_absorb1, inf_absorb2, sup_absorb1, sup_absorb2 are no simp rules by default any longer
Tue, 22 Sep 2009 15:12:45 +0200 tail -n 20: more helpful output if make fails
krauss [Tue, 22 Sep 2009 15:12:45 +0200] rev 32641
tail -n 20: more helpful output if make fails
Tue, 22 Sep 2009 08:58:08 +0200 corrected order of type variables in code equations; more precise certificate for cases
haftmann [Tue, 22 Sep 2009 08:58:08 +0200] rev 32640
corrected order of type variables in code equations; more precise certificate for cases
Mon, 21 Sep 2009 16:16:16 +0200 merged
Christian Urban <urbanc@in.tum.de> [Mon, 21 Sep 2009 16:16:16 +0200] rev 32639
merged
Mon, 21 Sep 2009 15:02:23 +0200 tuned some proofs
Christian Urban <urbanc@in.tum.de> [Mon, 21 Sep 2009 15:02:23 +0200] rev 32638
tuned some proofs
Mon, 21 Sep 2009 16:11:36 +0200 merged
haftmann [Mon, 21 Sep 2009 16:11:36 +0200] rev 32637
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip