| Fri, 25 Mar 2011 17:09:21 +0100 | bulwahn | merged | changeset | files |
| Fri, 25 Mar 2011 16:03:49 +0100 | bulwahn | changing iteration scheme of functions to use minimal number of function updates for exhaustive testing | changeset | files |
| Thu, 24 Mar 2011 23:42:06 +0100 | krauss | added configurations SML_HOL and SML_makeall (even though the latter is practically infeasible) | changeset | files |