| Fri, 18 Mar 2016 22:19:46 +0100 |
wenzelm |
isabelle process -T THEORY;
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 22:15:51 +0100 |
wenzelm |
proper option -l;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 17:30:04 +0100 |
wenzelm |
prefer plain "isabelle" from PATH within Isabelle settings environment;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| Wed, 09 Mar 2016 19:30:09 +0100 |
wenzelm |
isabelle.Build uses ML_Process directly;
|
file |
diff |
annotate
|
| 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
|
| 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
|