| 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
|