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.