| 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 |
| 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:19:15 +0100 | wenzelm | tuned/clarified some component settings; | file | diff | annotate |
| Wed, 08 Dec 2010 14:25:07 +0100 | bulwahn | improving the 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 |