wenzelm [Fri, 26 Feb 2010 21:43:26 +0100] rev 35389
tuned hyp_subst_tac';
blanchet [Fri, 26 Feb 2010 18:38:23 +0100] rev 35388
use SAT4J for "Tests_Nits.thy" for safety (this should solve the Isatest failures) + minor changes
blanchet [Fri, 26 Feb 2010 16:50:09 +0100] rev 35387
merged
blanchet [Fri, 26 Feb 2010 16:49:46 +0100] rev 35386
more work on the new monotonicity stuff in Nitpick
blanchet [Thu, 25 Feb 2010 16:33:39 +0100] rev 35385
improved precision of infinite "shallow" datatypes in Nitpick;
e.g. strings used for variable names, instead of an opaque type
blanchet [Thu, 25 Feb 2010 10:08:44 +0100] rev 35384
cosmetics
bulwahn [Fri, 26 Feb 2010 13:29:43 +0100] rev 35383
merged
bulwahn [Fri, 26 Feb 2010 09:49:00 +0100] rev 35382
merged
bulwahn [Thu, 25 Feb 2010 15:36:38 +0100] rev 35381
adding no_topmost_reordering as new option to the code_pred command
bulwahn [Thu, 25 Feb 2010 14:01:34 +0100] rev 35380
adopting Mutabelle to quickcheck reporting; improving quickcheck reporting
bulwahn [Thu, 25 Feb 2010 10:04:50 +0100] rev 35379
added quiet option to quickcheck command
bulwahn [Thu, 25 Feb 2010 09:28:01 +0100] rev 35378
added basic reporting of test cases to quickcheck
haftmann [Fri, 26 Feb 2010 10:57:35 +0100] rev 35377
merged
haftmann [Fri, 26 Feb 2010 10:48:21 +0100] rev 35376
use abstract code cerficates for bare code theorems
haftmann [Fri, 26 Feb 2010 10:48:20 +0100] rev 35375
implement quotient_of for odl SML code generator
haftmann [Fri, 26 Feb 2010 09:20:18 +0100] rev 35374
adjusted to cs. e4a7947e02b8