bulwahn [Fri, 10 Dec 2010 11:42:05 +0100] rev 41105
adding check_all instances for a few more finite types in smallcheck
bulwahn [Fri, 10 Dec 2010 11:42:04 +0100] rev 41104
removing unneccassary sort constraints
krauss [Fri, 10 Dec 2010 09:18:17 +0100] rev 41103
made smlnj happy
haftmann [Thu, 09 Dec 2010 17:26:08 +0100] rev 41102
merged
haftmann [Thu, 09 Dec 2010 17:25:43 +0100] rev 41101
tuned names
haftmann [Thu, 09 Dec 2010 17:25:43 +0100] rev 41100
dictionary constants must permit explicit weakening of classes;
tuned names
haftmann [Thu, 09 Dec 2010 09:58:33 +0100] rev 41099
tracing of term to be evaluated
hoelzl [Thu, 09 Dec 2010 10:22:17 +0100] rev 41098
merged
hoelzl [Wed, 08 Dec 2010 19:32:11 +0100] rev 41097
use SUPR_ and INFI_apply instead of SUPR_, INFI_fun_expand
hoelzl [Wed, 08 Dec 2010 16:15:14 +0100] rev 41096
integral over setprod
hoelzl [Wed, 08 Dec 2010 16:15:14 +0100] rev 41095
cleanup bijectivity btw. product spaces and pairs
blanchet [Thu, 09 Dec 2010 08:46:04 +0100] rev 41094
compile
blanchet [Wed, 08 Dec 2010 22:18:37 +0100] rev 41093
lower fudge factor
blanchet [Wed, 08 Dec 2010 22:17:53 +0100] rev 41092
reword error message
blanchet [Wed, 08 Dec 2010 22:17:53 +0100] rev 41091
implicitly call the minimizer for SMT solvers that don't return an unsat core