| Fri, 19 Aug 2011 21:53:11 +0100 | Mario de Sousa | Some more comments on how to build, and correcting name of README.build file. | changeset | files |
| Fri, 19 Aug 2011 20:57:49 +0100 | Mario de Sousa | Include the declaration of standard functions (incorrectly removed in previous commit) | changeset | files |
| Fri, 19 Aug 2011 20:48:05 +0100 | Mario de Sousa | Merging with Laurent's repository. | changeset | files |
| Fri, 19 Aug 2011 17:33:57 +0100 | Mario de Sousa | Fixing automake configuration to work properly with flex and bison. | changeset | files |
| Fri, 29 Jul 2011 16:08:40 +0100 | Mario de Sousa | Building compiler with autoconf. Thanks go to Matteo of sirius-es.it | changeset | files |
| Fri, 29 Jul 2011 16:06:38 +0100 | Mario de Sousa | Support for semantic verification of calls to standard functions. | changeset | files |
| Fri, 29 Jul 2011 16:05:03 +0100 | Mario de Sousa | Support for semantic verification of calls to standard function calls. | changeset | files |