| Wed, 30 Nov 2011 10:07:32 +0100 |
bulwahn |
adding examples for the potential counterexamples in the simple scheme
|
changeset |
files
|
| Wed, 30 Nov 2011 09:35:58 +0100 |
bulwahn |
also potential counterexamples in the simple exhaustive testing in quickcheck
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:18 +0100 |
bulwahn |
quickcheck does not show evaluation terms of equations if they are simply free variables to avoid duplicated output; tuned
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:15 +0100 |
bulwahn |
adding more verbose messages to exhaustive quickcheck
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:11 +0100 |
bulwahn |
quickcheck narrowing also shows potential counterexamples
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:09 +0100 |
bulwahn |
adding a exception-safe term reification step in quickcheck; adding examples
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:07 +0100 |
bulwahn |
quickcheck returns counterexamples that are potentially spurious due to underspecified code equations and match exceptions
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:04 +0100 |
bulwahn |
adding parsing of potential configuration to quickcheck command
|
changeset |
files
|
| Wed, 30 Nov 2011 09:21:02 +0100 |
bulwahn |
adding quickcheck's potential configuration
|
changeset |
files
|
| Tue, 29 Nov 2011 22:45:21 +0100 |
wenzelm |
more conventional file name;
|
changeset |
files
|
| Tue, 29 Nov 2011 21:50:00 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 29 Nov 2011 15:52:51 +0100 |
kuncar |
updated documentation for the quotient package
|
changeset |
files
|
| Tue, 29 Nov 2011 18:22:31 +0100 |
kuncar |
merged
|
changeset |
files
|
| Tue, 29 Nov 2011 14:16:06 +0100 |
kuncar |
alternative names of morphisms in the definition of a quotient type can be specified
|
changeset |
files
|
| Tue, 29 Nov 2011 14:33:18 +0100 |
bulwahn |
adjusting antiquote_setup (cf. d83797ef0d2d)
|
changeset |
files
|
| Tue, 29 Nov 2011 21:50:00 +0100 |
wenzelm |
clarified Time vs. Timing;
|
changeset |
files
|
| Tue, 29 Nov 2011 21:29:53 +0100 |
wenzelm |
separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
|
changeset |
files
|
| Tue, 29 Nov 2011 20:18:02 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Tue, 29 Nov 2011 20:17:11 +0100 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Tue, 29 Nov 2011 19:49:36 +0100 |
wenzelm |
rearranged files;
|
changeset |
files
|
| Tue, 29 Nov 2011 06:09:41 +0100 |
huffman |
merged
|
changeset |
files
|
| Mon, 28 Nov 2011 21:28:01 +0100 |
huffman |
use HOL_basic_ss instead of HOL_ss for internal simproc proofs (cf. b36eedcd1633)
|
changeset |
files
|
| Mon, 28 Nov 2011 22:18:19 +0100 |
wenzelm |
explicit indication of modules for independent Scala library;
|
changeset |
files
|
| Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
changeset |
files
|