| 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
|
| Fri, 25 Mar 2011 21:38:41 +0100 |
krauss |
eliminated hardwired MUTABELLE_OUTPUT_PATH (cf. 6a147393c62a)
|
file |
diff |
annotate
|
| Sun, 13 Mar 2011 16:52:59 +0100 |
wenzelm |
more conventional Mutabelle settings -- similar to Mirabelle;
|
file |
diff |
annotate
|
| Mon, 20 Dec 2010 15:24:25 +0100 |
wenzelm |
some attempts to fit diagnostic output into regular TTY (75-80 characters per line);
|
file |
diff |
annotate
|
| Thu, 16 Dec 2010 11:31:07 +0100 |
bulwahn |
added nitpick to mutabelle script
|
file |
diff |
annotate
|
| Wed, 08 Dec 2010 14:25:07 +0100 |
bulwahn |
improving the mutabelle script
|
file |
diff |
annotate
|
| Mon, 06 Dec 2010 17:33:25 +0100 |
bulwahn |
adapting copied bash code in mutabelle script
|
file |
diff |
annotate
|
| Mon, 06 Dec 2010 10:52:46 +0100 |
bulwahn |
adding mutabelle as a component and an isabelle tool to be used in regression testing
|
file |
diff |
annotate
|