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