2012-01-03 create consts with proper "set" types
blanchet [Tue, 03 Jan 2012 18:33:18 +0100] rev 46097
create consts with proper "set" types
2012-01-03 tuned Refute
blanchet [Tue, 03 Jan 2012 18:33:18 +0100] rev 46096
tuned Refute
2012-01-03 lower cardinality for faster testing
blanchet [Tue, 03 Jan 2012 18:33:18 +0100] rev 46095
lower cardinality for faster testing
2012-01-03 simplify mem Collect
blanchet [Tue, 03 Jan 2012 18:33:18 +0100] rev 46094
simplify mem Collect
2012-01-03 tuning
blanchet [Tue, 03 Jan 2012 18:33:18 +0100] rev 46093
tuning
2012-01-03 ported Minipick to "set"
blanchet [Tue, 03 Jan 2012 18:33:18 +0100] rev 46092
ported Minipick to "set"
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip