| Fri, 03 Dec 2010 17:29:27 +0100 |
wenzelm |
removed confusing comments (cf. 500171e7aa59);
|
changeset |
files
|
| Fri, 03 Dec 2010 17:18:41 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 03 Dec 2010 14:00:55 +0100 |
haftmann |
removed outdated lint script
|
changeset |
files
|
| Fri, 03 Dec 2010 10:43:09 +0100 |
blanchet |
merged
|
changeset |
files
|
| Fri, 03 Dec 2010 10:28:39 +0100 |
blanchet |
compile
|
changeset |
files
|
| Fri, 03 Dec 2010 09:55:45 +0100 |
blanchet |
run synchronous Auto Tools in parallel
|
changeset |
files
|
| Fri, 03 Dec 2010 10:17:55 +0100 |
krauss |
really fixed comment (cf. 7abeb749ae99)
|
changeset |
files
|
| Fri, 03 Dec 2010 10:03:13 +0100 |
huffman |
theorem names generated by the (rep_)datatype command now have mandatory qualifiers
|
changeset |
files
|
| Fri, 03 Dec 2010 10:03:10 +0100 |
krauss |
eliminated unqualified accesses of datatype facts -- it seems like they all of them were unintended
|
changeset |
files
|
| Fri, 03 Dec 2010 09:58:32 +0100 |
bulwahn |
NEWS
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
only instantiate type variable if there exists some in quickcheck
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
fixing comment in library
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting predicate_compile_quickcheck
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adding a nice definition of Id_on for quickcheck and nitpick
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adding code equation for finiteness of finite types
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
improving sledgehammer_tactic and adding relevance filtering to the tactic
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting mutabelle
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting SML_Quickcheck to recent changes
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
explaining quickcheck testers in the documentation
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting quickcheck examples
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
improving presentation of quickcheck reports
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
declaring quickcheck testers as default after their setup
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
activating construction of exhaustive testing combinators
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
renamed generator into exhaustive
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
checking if parameter is name of a tester which allows e.g. quickcheck[random]
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
moving iteration of tests to the testers in quickcheck
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
removed dead test_term_small function in quickcheck
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
renamed parameter from generator to tester; quickcheck only applies one tester on invocation
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adding configuration quickcheck_tester
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adding smart quantifiers to exhaustive testing
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
adapting mutabelle
|
changeset |
files
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
only handle TimeOut exception if used interactively
|
changeset |
files
|