| Thu, 08 Dec 2011 13:53:28 +0100 |
bulwahn |
adding examples for quickcheck narrowing about partial functions
|
file |
diff |
annotate
|
| Tue, 06 Dec 2011 15:23:16 +0100 |
bulwahn |
increasing quickcheck's timeout in the example theory to avoid failures on the testing infrastructure
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 12:13:27 +0100 |
bulwahn |
increasing timeout to avoid test failures
|
file |
diff |
annotate
|
| Thu, 10 Nov 2011 17:26:17 +0100 |
bulwahn |
adding some test cases for preprocessing and narrowing
|
file |
diff |
annotate
|
| Mon, 26 Sep 2011 10:57:20 +0200 |
bulwahn |
adding an example with inductive predicates to quickcheck narrowing examples
|
file |
diff |
annotate
|
| Fri, 10 Jun 2011 15:42:21 +0200 |
bulwahn |
adding another narrowing strategy for integers
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 10:19:51 +0200 |
bulwahn |
correcting import theory of examples
|
file |
diff |
annotate
|
| Tue, 07 Jun 2011 11:10:58 +0200 |
bulwahn |
adding examples with existentials
|
file |
diff |
annotate
|
| Thu, 31 Mar 2011 11:17:52 +0200 |
bulwahn |
adapting Quickcheck_Narrowing (overseen in 234ec7011e5d); commenting out some examples temporarily
|
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 minimalistic setup and transformation to handle functions as data to enable naive function generation for 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
|
| Fri, 18 Mar 2011 18:19:42 +0100 |
bulwahn |
translating bash output in quickcheck_narrowing to handle special characters; adding simple test cases
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 12:34:10 +0100 |
bulwahn |
tuned exhaustive generator compilation; added narrowing generator compilation; removed exec as does not work properly here (reverting changeset 994d088fbfbc)
|
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
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
adapting example file to renaming of the quickcheck tester
|
file |
diff |
annotate
|
| Fri, 11 Mar 2011 15:21:13 +0100 |
bulwahn |
renaming example file correctly
|
file |
diff |
annotate
| base
|