2009-11-06 | bulwahn | made definition of functions generically for the different instances | changeset | files |
2009-11-06 | bulwahn | renamed generator to random_function in the predicate compiler | changeset | files |
2009-11-06 | 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 |
2009-11-06 | bulwahn | strictly respecting the line margin in the predicate compiler core | changeset | files |
2009-11-06 | bulwahn | adopted mode syntax for values command | changeset | files |
2009-11-06 | bulwahn | disabled upt example because of a problem due to overloaded constants with the predicate compiler | changeset | files |
2009-11-06 | bulwahn | added optional mode annotations for parameters in the values command | changeset | files |
Loading... |