Mon, 22 Nov 2010 11:35:07 +0100 | bulwahn | hiding the constants | changeset | files |
Mon, 22 Nov 2010 11:35:06 +0100 | bulwahn | improving function is_iterable in quickcheck | changeset | files |
Mon, 22 Nov 2010 11:35:02 +0100 | bulwahn | adding temporary options to the quickcheck examples | changeset | files |
Mon, 22 Nov 2010 11:35:00 +0100 | bulwahn | adapting the quickcheck examples | changeset | files |
Mon, 22 Nov 2010 11:34:59 +0100 | bulwahn | adding AFP tests to Mutabelle_Extra; adopting mutabelle to recent quickcheck changes; filtering strange mutants; adding solvers to mutabelle; restructuring mutabelle | changeset | files |
Mon, 22 Nov 2010 11:34:58 +0100 | bulwahn | adding code equations for EX1 on finite types | changeset | files |
Mon, 22 Nov 2010 11:34:57 +0100 | bulwahn | adding code equation for function equality; adding some instantiations for the finite types | changeset | files |