#
e71aab02 |
|
10-Feb-2012 |
bulwahn <none@none> |
making num_mutations a configuration that can be changed with the mutabelle bash command
|
#
680d93a7 |
|
11-Feb-2012 |
bulwahn <none@none> |
making max_mutants an option that can be changed in the Mutabelle-script
|
#
e955d278 |
|
25-Mar-2011 |
krauss <none@none> |
eliminated hardwired MUTABELLE_OUTPUT_PATH (cf. 6a147393c62a)
|
#
b7aa64d0 |
|
13-Mar-2011 |
wenzelm <none@none> |
more conventional Mutabelle settings -- similar to Mirabelle;
|
#
8b8b813e |
|
20-Dec-2010 |
wenzelm <none@none> |
tuned/clarified some component settings; explicit comments about common mistakes;
|
#
99f3f58f |
|
08-Dec-2010 |
bulwahn <none@none> |
improving the mutabelle script
|
#
5b731ab1 |
|
06-Dec-2010 |
bulwahn <none@none> |
adding mutabelle as a component and an isabelle tool to be used in regression testing
|