Mon, 25 May 2009 12:17:10 +0200Adding support for SAFEBOOL. Some code generation yet to do...
mario [Mon, 25 May 2009 12:17:10 +0200] rev 177
Adding support for SAFEBOOL. Some code generation yet to do...

Tue, 19 May 2009 16:31:35 +0200Bug with non-working counters fixed
lbessard [Tue, 19 May 2009 16:31:35 +0200] rev 176
Bug with non-working counters fixed

Mon, 18 May 2009 13:19:30 +0200Adding support for checking direct variable declared before using
lbessard [Mon, 18 May 2009 13:19:30 +0200] rev 175
Adding support for checking direct variable declared before using