| Thu, 26 May 2011 09:42:04 +0200 |
bulwahn |
improving code_int setup in Quickcheck_Narrowing; adding partial_term_of class in Quickcheck_Narrowing
|
file |
diff |
annotate
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
handling a quite restricted set of functions in Quickcheck_Narrowing by an easy transformation
|
file |
diff |
annotate
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
adding a simple datatype for representing functions in Quickcheck_Narrowing
|
file |
diff |
annotate
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
extending code_int type more; adding narrowing instance for type int; added test case for int instance
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 12:34:11 +0100 |
bulwahn |
removing definition of cons0; hiding constants in Quickcheck_Narrowing
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 12:34:10 +0100 |
bulwahn |
tuned subsubsection names in Quickcheck_Narrowing
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 12:34:09 +0100 |
bulwahn |
correcting names in Narrowing_Engine and example theory for Quickcheck_Narrowing
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 12:34:08 +0100 |
bulwahn |
renaming series and serial to narrowing in Quickcheck_Narrowing
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 15:16:37 +0100 |
wenzelm |
fixed document;
|
file |
diff |
annotate
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
renaming lazysmallcheck ML file to Quickcheck_Narrowing
|
file |
diff |
annotate
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
renaming LSC to Quickcheck_Narrowing
|
file |
diff |
annotate
| base
|