Fri, 20 Jul 2012 22:19:46 +0200 added MaSh to news
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48402
added MaSh to news
Fri, 20 Jul 2012 22:19:46 +0200 cached ancestor computation
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48401
cached ancestor computation
Fri, 20 Jul 2012 22:19:46 +0200 minimal maxes + tuning
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48400
minimal maxes + tuning
Fri, 20 Jul 2012 22:19:46 +0200 learn from SMT proofs when they can be minimized by Metis
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48399
learn from SMT proofs when they can be minimized by Metis
Fri, 20 Jul 2012 22:19:46 +0200 clean up interesting constants a bit
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48398
clean up interesting constants a bit
Fri, 20 Jul 2012 22:19:46 +0200 convenience
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48397
convenience
Fri, 20 Jul 2012 22:19:46 +0200 name tuning
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48396
name tuning
Fri, 20 Jul 2012 22:19:46 +0200 learning should honor the fact override and the chained facts
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48395
learning should honor the fact override and the chained facts
Fri, 20 Jul 2012 22:19:46 +0200 fixed various issues with MaSh's file handling + tune output + generate local facts again + handle nameless facts gracefully
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48394
fixed various issues with MaSh's file handling + tune output + generate local facts again + handle nameless facts gracefully
Fri, 20 Jul 2012 22:19:46 +0200 MaSh docs
blanchet [Fri, 20 Jul 2012 22:19:46 +0200] rev 48393
MaSh docs
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip