Fri, 29 Jul 2011 16:08:40 +0100 Mario de Sousa Building compiler with autoconf. Thanks go to Matteo of sirius-es.it
Fri, 29 Jul 2011 16:06:38 +0100 Mario de Sousa Support for semantic verification of calls to standard functions.
Fri, 29 Jul 2011 16:05:03 +0100 Mario de Sousa Support for semantic verification of calls to standard function calls.
Fri, 29 Jul 2011 16:03:28 +0100 Mario de Sousa Support for semantic verification of calls to standard functions.
Wed, 07 Sep 2011 19:28:10 +0200 laurent Fixing exponentiation used with symbol **
Fri, 02 Sep 2011 18:16:33 +0200 laurent Fix bugs in exponentiation
Fri, 02 Sep 2011 18:15:55 +0200 laurent Fix case statement in ST, adding support for enumerated types