Mon, 11 May 2009 09:39:53 +0200 | bulwahn | fixed code_pred command | file | diff | annotate |
Mon, 11 May 2009 09:18:42 +0200 | bulwahn | Added pred_code command | file | diff | annotate |
Wed, 22 Apr 2009 11:10:23 +0200 | bulwahn | added general preprocessing of equality in predicates for code generation | file | diff | annotate |
Fri, 24 Apr 2009 17:45:16 +0200 | haftmann | some experiements towards user interface for predicate compiler | file | diff | annotate |
Sun, 15 Mar 2009 15:59:44 +0100 | wenzelm | simplified attribute setup; | file | diff | annotate |
Mon, 09 Mar 2009 14:43:51 +0100 | haftmann | NameSpace.base_name ~> Long_Name.base_name | file | diff | annotate |
Mon, 09 Mar 2009 09:37:33 +0100 | haftmann | binding replaces bstring | file | diff | annotate |
Sun, 08 Mar 2009 15:25:28 +0100 | haftmann | added predicate compiler, as formally checked prototype, not as user package | file | diff | annotate |