2009-05-25Adding 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...

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

2009-05-18Adding 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