| Fri, 12 Jul 2013 23:45:05 +0200 |
wenzelm |
system options for Isabelle/HOL proof tools;
|
file |
diff |
annotate
|
| Thu, 16 Feb 2012 09:18:21 +0100 |
bulwahn |
tuning mutabelle script
|
file |
diff |
annotate
|
| Sat, 11 Feb 2012 12:13:08 +0100 |
bulwahn |
making num_mutations a configuration that can be changed with the mutabelle bash command
|
file |
diff |
annotate
|
| Sat, 11 Feb 2012 11:36:23 +0100 |
bulwahn |
making max_mutants an option that can be changed in the Mutabelle-script
|
file |
diff |
annotate
|
| Sat, 11 Feb 2012 11:36:21 +0100 |
bulwahn |
increase timeout to 30 seconds; changing mutabelle script
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 11:59:00 +0100 |
bulwahn |
more configurations to mutabelle
|
file |
diff |
annotate
|
| Mon, 07 Nov 2011 22:21:57 +0100 |
blanchet |
revived Refute in Mutabelle
|
file |
diff |
annotate
|
| Mon, 07 Nov 2011 14:16:01 +0100 |
blanchet |
align columns in output and keep error log around
|
file |
diff |
annotate
|
| Fri, 21 Oct 2011 10:37:03 +0200 |
bulwahn |
improving mutabelle script again after missing some changes in f4896c792316
|
file |
diff |
annotate
|
| Tue, 18 Oct 2011 15:27:17 +0200 |
bulwahn |
adding testing of quickcheck narrowing with finite types to mutabelle script; modified is_executable in mutabelle_extra
|
file |
diff |
annotate
|
| Thu, 22 Sep 2011 10:48:53 +0200 |
bulwahn |
changing quickcheck_timeout to 30 seconds in mutabelle's testing
|
file |
diff |
annotate
|
| Wed, 20 Jul 2011 08:16:36 +0200 |
bulwahn |
exporting function in quickcheck; adapting mutabelle script
|
file |
diff |
annotate
|
| Tue, 14 Jun 2011 08:33:51 +0200 |
bulwahn |
improved mutabelle script to use nat for quickcheck_narrowing
|
file |
diff |
annotate
|
| Thu, 02 Jun 2011 10:13:46 +0200 |
bulwahn |
adding quickcheck narrowing to mutabelle script; deactivating nitpick in mutabelle script momentarily because we are not monitoring the results effectively
|
file |
diff |
annotate
|
| Thu, 02 Jun 2011 09:51:40 +0200 |
bulwahn |
adding invocation of exhaustive testing without using finite types to mutabelle
|
file |
diff |
annotate
|