2009-11-06 bulwahn made definition of functions generically for the different instances
2009-11-06 bulwahn renamed generator to random_function in the predicate compiler
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
2009-11-06 bulwahn strictly respecting the line margin in the predicate compiler core
2009-11-06 bulwahn adopted mode syntax for values command
2009-11-06 bulwahn disabled upt example because of a problem due to overloaded constants with the predicate compiler
2009-11-06 bulwahn added optional mode annotations for parameters in the values command
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip