Fri, 11 Nov 2011 08:32:45 +0100 adding CPS compilation to predicate compiler;
bulwahn [Fri, 11 Nov 2011 08:32:45 +0100] rev 45450
adding CPS compilation to predicate compiler; removing function_flattening reference; new testers smart_exhaustive and smart_slow_exhaustive; renaming PredicateCompFuns to Predicate_Comp_Funs;
Fri, 11 Nov 2011 08:32:44 +0100 adding option allow_function_inversion to quickcheck options
bulwahn [Fri, 11 Nov 2011 08:32:44 +0100] rev 45449
adding option allow_function_inversion to quickcheck options
Thu, 10 Nov 2011 23:30:50 +0100 more efficient prepare_sorts -- bypass encoded positions;
wenzelm [Thu, 10 Nov 2011 23:30:50 +0100] rev 45448
more efficient prepare_sorts -- bypass encoded positions;
Thu, 10 Nov 2011 22:54:15 +0100 suppress irrelevant positions;
wenzelm [Thu, 10 Nov 2011 22:54:15 +0100] rev 45447
suppress irrelevant positions;
Thu, 10 Nov 2011 22:39:32 +0100 more generous margin;
wenzelm [Thu, 10 Nov 2011 22:39:32 +0100] rev 45446
more generous margin;
Thu, 10 Nov 2011 22:32:10 +0100 pass term positions into check phase, where resulting types are reported accordingly, and eventually shown as tooltips;
wenzelm [Thu, 10 Nov 2011 22:32:10 +0100] rev 45445
pass term positions into check phase, where resulting types are reported accordingly, and eventually shown as tooltips;
Thu, 10 Nov 2011 17:47:25 +0100 tuned signature;
wenzelm [Thu, 10 Nov 2011 17:47:25 +0100] rev 45444
tuned signature;
Thu, 10 Nov 2011 17:41:36 +0100 discontinued unused Thm.compress (again);
wenzelm [Thu, 10 Nov 2011 17:41:36 +0100] rev 45443
discontinued unused Thm.compress (again);
Thu, 10 Nov 2011 17:28:02 +0100 renewed prolog-quickcheck
bulwahn [Thu, 10 Nov 2011 17:28:02 +0100] rev 45442
renewed prolog-quickcheck
Thu, 10 Nov 2011 17:26:17 +0100 adding some test cases for preprocessing and narrowing
bulwahn [Thu, 10 Nov 2011 17:26:17 +0100] rev 45441
adding some test cases for preprocessing and narrowing
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip