| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Tue, 23 Feb 2016 16:25:08 +0100 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
| Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
| Mon, 18 Jul 2011 10:34:21 +0200 |
bulwahn |
adapting an experimental setup to changes in quickcheck's infrastructure
|
file |
diff |
annotate
|
| 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
|