| Tue, 14 Feb 2012 12:40:55 +0100 | wenzelm | merged, resolving trivial conflicts; | changeset | files |
| Tue, 14 Feb 2012 11:16:07 +0100 | wenzelm | merged; | changeset | files |
| Sat, 11 Feb 2012 13:41:36 +0100 | blanchet | new SPASS options | changeset | files |
| Sat, 11 Feb 2012 12:13:08 +0100 | bulwahn | making num_mutations a configuration that can be changed with the mutabelle bash command | changeset | files |
| Sat, 11 Feb 2012 11:36:23 +0100 | bulwahn | making max_mutants an option that can be changed in the Mutabelle-script | changeset | files |
| Sat, 11 Feb 2012 11:36:21 +0100 | bulwahn | increase timeout to 30 seconds; changing mutabelle script | changeset | files |
| Fri, 10 Feb 2012 17:10:49 +0100 | blanchet | parse clauses generated from several formulas | changeset | files |