absyntax_utils/add_en_eno_param_decl.cc
Tue, 22 Jan 2013 16:07:49 +0000 Mario de Sousa Use simple_spec_init_c inside en_param_declaration_c (will reduce need to handle it as a special case in the future).
Fri, 15 Jun 2012 19:54:33 +0100 Mario de Sousa Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc
Fri, 29 Jul 2011 16:03:28 +0100 Mario de Sousa Support for semantic verification of calls to standard functions.
Tue, 05 Apr 2011 15:14:19 +0200 Edouard Tisserant Re-generated std lib related code, with updated headers, updated all forgotten headers
Fri, 01 Apr 2011 10:47:24 +0100 Mario de Sousa Updating license info (with Edouard's permission for relevant files).
Thu, 27 Aug 2009 16:06:46 +0100 Catarina Boucinha Initial (very rough) version of semantic checker (stage3)