| Mon, 18 Apr 2011 17:07:47 +0200 |
krauss |
raised timeouts further, for SML/NJ!
|
file |
diff |
annotate
|
| Thu, 07 Apr 2011 21:49:24 +0200 |
krauss |
raised timeout further, for SML/NJ
|
file |
diff |
annotate
|
| Mon, 28 Mar 2011 17:33:16 +0200 |
krauss |
raised various timeouts to accommodate sluggish SML/NJ
|
file |
diff |
annotate
|
| Wed, 29 Dec 2010 17:34:41 +0100 |
wenzelm |
explicit file specifications -- avoid secondary load path;
|
file |
diff |
annotate
|
| Fri, 17 Dec 2010 12:14:18 +0100 |
bulwahn |
adding exhaustive tester instances for numeric types: code_numeral, nat, rat and real
|
file |
diff |
annotate
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting predicate_compile_quickcheck
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 14:27:42 +0100 |
haftmann |
generous timeout gives more breath in parallel run on less luxury machines
|
file |
diff |
annotate
|
| Mon, 22 Nov 2010 11:35:09 +0100 |
bulwahn |
adapting example in Predicate_Compile_Examples
|
file |
diff |
annotate
|
| Mon, 25 Oct 2010 21:17:12 +0200 |
bulwahn |
changing test parameters in examples to get to a result within the global timelimit
|
file |
diff |
annotate
|
| Fri, 22 Oct 2010 18:38:59 +0200 |
bulwahn |
splitting Hotel Key card example into specification and the two tests for counter example generation
|
file |
diff |
annotate
|