wenzelm [Sun, 13 Mar 2011 15:16:37 +0100] rev 41943
fixed document;
wenzelm [Sun, 13 Mar 2011 15:13:53 +0100] rev 41942
isatest: test more external code;
wenzelm [Sun, 13 Mar 2011 15:10:00 +0100] rev 41941
tuned headers;
wenzelm [Sun, 13 Mar 2011 14:51:38 +0100] rev 41940
allow spaces in executable names;
simplified generated bash scripts;
wenzelm [Sun, 13 Mar 2011 13:57:20 +0100] rev 41939
tuned;
wenzelm [Sun, 13 Mar 2011 13:53:54 +0100] rev 41938
tuned headers;
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41937
adapting example file to renaming of the quickcheck tester
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41936
renaming tester from lazy_exhaustive to narrowing
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41935
minor corrections for renaming; moved postprocessing of terms to Quickcheck_Common
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41934
renaming example file correctly
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41933
adapting Main file generation for Quickcheck_Narrowing
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41932
adapting Quickcheck_Narrowing and example file to new names
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41931
renaming LSC_Examples theory to Quickcheck_Narrowing
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41930
renaming lazysmallcheck ML file to Quickcheck_Narrowing
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41929
renaming LSC to Quickcheck_Narrowing
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41928
adaptions in generators using the common functions
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41927
adding file quickcheck_common to carry common functions of all quickcheck generators
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41926
adapting record package to renaming of quickcheck's structures
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41925
moving and renaming lazysmallcheck to narrowing which reflects the characteristical behaviour better
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41924
correcting dependencies in IsaMakefile
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41923
renaming signatures and structures; correcting header
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41922
adapting Quickcheck theory after moving ML files
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41921
moving quickcheck_generators.ML to Quickcheck directory and renaming it random_generators.ML
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41920
moving exhaustive_generators.ML to Quickcheck directory
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41919
correcting dependencies after renaming
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41918
replacing naming of small by exhaustive
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41917
renaming smallvalue_generators.ML to exhaustive_generators.ML
bulwahn [Fri, 11 Mar 2011 15:21:13 +0100] rev 41916
renaming constants in Quickcheck_Exhaustive theory
bulwahn [Fri, 11 Mar 2011 15:21:12 +0100] rev 41915
renaming Smallcheck to Quickcheck_Exhaustive
bulwahn [Fri, 11 Mar 2011 10:37:45 +0100] rev 41914
only testing theory LSC_Examples when GHC is installed on the machine