| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | raising an exception instead of guessing some reasonable behaviour for this function | changeset | files |
| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | using linear find_least instead of sorting in the mode analysis of the predicate compiler | changeset | files |
| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | adding code attribute to definition of equality of finite sets for executability of equality of finite sets | changeset | files |