| Fri, 06 Nov 2009 08:47:32 +0100 | bulwahn | merged | changeset | files |
| Fri, 06 Nov 2009 08:18:35 +0100 | bulwahn | adopted the predicate compile quickcheck | changeset | files |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | made definition of functions generically for the different instances | changeset | files |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | renamed generator to random_function in the predicate compiler | changeset | files |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | improved handling of already defined functions in the predicate compiler; could cause trouble before when no modes for a predicate were infered | changeset | files |
| Fri, 06 Nov 2009 08:11:58 +0100 | bulwahn | strictly respecting the line margin in the predicate compiler core | changeset | files |