src/HOL/Mutabelle/lib/Tools/mutabelle
Fri, 18 Mar 2016 22:19:46 +0100 wenzelm isabelle process -T THEORY;
Fri, 18 Mar 2016 22:15:51 +0100 wenzelm proper option -l;
Thu, 10 Mar 2016 17:30:04 +0100 wenzelm prefer plain "isabelle" from PATH within Isabelle settings environment;
Thu, 10 Mar 2016 12:11:50 +0100 wenzelm isabelle_process is superseded by "isabelle process" tool;
Wed, 09 Mar 2016 19:30:09 +0100 wenzelm isabelle.Build uses ML_Process directly;
Fri, 12 Jul 2013 23:45:05 +0200 wenzelm system options for Isabelle/HOL proof tools;
Thu, 16 Feb 2012 09:18:21 +0100 bulwahn tuning mutabelle script
Sat, 11 Feb 2012 12:13:08 +0100 bulwahn making num_mutations a configuration that can be changed with the mutabelle bash command
Sat, 11 Feb 2012 11:36:23 +0100 bulwahn making max_mutants an option that can be changed in the Mutabelle-script
Sat, 11 Feb 2012 11:36:21 +0100 bulwahn increase timeout to 30 seconds; changing mutabelle script
Mon, 23 Jan 2012 11:59:00 +0100 bulwahn more configurations to mutabelle
Mon, 07 Nov 2011 22:21:57 +0100 blanchet revived Refute in Mutabelle
Mon, 07 Nov 2011 14:16:01 +0100 blanchet align columns in output and keep error log around
Fri, 21 Oct 2011 10:37:03 +0200 bulwahn improving mutabelle script again after missing some changes in f4896c792316
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
Thu, 22 Sep 2011 10:48:53 +0200 bulwahn changing quickcheck_timeout to 30 seconds in mutabelle's testing
Wed, 20 Jul 2011 08:16:36 +0200 bulwahn exporting function in quickcheck; adapting mutabelle script
Tue, 14 Jun 2011 08:33:51 +0200 bulwahn improved mutabelle script to use nat for quickcheck_narrowing
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
Thu, 02 Jun 2011 09:51:40 +0200 bulwahn adding invocation of exhaustive testing without using finite types to mutabelle
Fri, 25 Mar 2011 21:38:41 +0100 krauss eliminated hardwired MUTABELLE_OUTPUT_PATH (cf. 6a147393c62a)
Sun, 13 Mar 2011 16:52:59 +0100 wenzelm more conventional Mutabelle settings -- similar to Mirabelle;
Mon, 20 Dec 2010 15:24:25 +0100 wenzelm some attempts to fit diagnostic output into regular TTY (75-80 characters per line);
Thu, 16 Dec 2010 11:31:07 +0100 bulwahn added nitpick to mutabelle script
Wed, 08 Dec 2010 14:25:07 +0100 bulwahn improving the mutabelle script
Mon, 06 Dec 2010 17:33:25 +0100 bulwahn adapting copied bash code in mutabelle script
Mon, 06 Dec 2010 10:52:46 +0100 bulwahn adding mutabelle as a component and an isabelle tool to be used in regression testing
less more (0) tip