absyntax/absyntax.def
Sat, 06 Dec 2014 19:11:32 +0000 mjsousa Add a new pou_typename_c object to the AST to store references to previously declared Functions, FB, and Programs.
Sun, 16 Nov 2014 12:54:10 +0000 mjsousa Add support for relaxed datatype model for array datatypes.
Sun, 19 Oct 2014 08:36:49 +0100 mjsousa Fix bug: Add support for de-referencing pointers to struct (struct_ptr^.elem1) when used inside FB.
Sun, 28 Sep 2014 16:35:44 +0100 mjsousa Add support for de-referencing of REF_TO datatypes (Note: dereferencing of arrays and structs not yet supported!)
Fri, 08 Aug 2014 10:26:52 +0100 mjsousa Introduce absyntax class for keyword ANY, and use REF_TO(ANY) as datatype of NULL literal.
Thu, 31 Jul 2014 17:49:44 +0100 mjsousa Add support for the 'NULL' keyword, defined in version 3 of IEC 61131-3.
Sun, 13 Jul 2014 12:26:58 +0100 mjsousa Add support for REF_TO derived datatypes (along with datatype verification)
Sat, 15 Mar 2014 20:10:20 +0000 mjsousa Add support for parsing of REF_TO keyword (defined in IEC61131-3 v3). This support is currently inactive (in flex) until we get to add C code generation later on.
Sun, 02 Mar 2014 16:42:56 +0000 mjsousa Add limited support for the REF() operator (defined in v3 of IEC 61131-3)
Sun, 09 Feb 2014 08:05:44 +0000 mjsousa Fix bug in standard: standard does not allow multiple VAR_GLOBAL ... END_VAR constructs in configurations and resources. This is probably a bug, so we allow it.
Wed, 13 Feb 2013 18:56:25 +0000 Mario de Sousa Add a new node to the abstract symtax tree, which will let us do datatype checking of FB variable declarations using the standard algorithm, and no special cases.
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).
Thu, 22 Nov 2012 18:53:37 +0000 Mario de Sousa Start to move enumeration declaration checking to its own class.
Thu, 25 Oct 2012 18:20:28 +0100 Mario de Sousa Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis.
Thu, 25 Oct 2012 12:05:31 +0100 Mario de Sousa Fix flow control analysis of IL simple instructions (i.e. IL instructions inside parenthises!)
Sat, 06 Oct 2012 22:29:04 +0100 Mario de Sousa Use doubly linked connections for flow control graph (will be used later).
Wed, 01 Aug 2012 10:31:14 +0100 Mario de Sousa Support for data types of STEP.T and STEP.X in SFCs
Wed, 13 Jun 2012 19:43:12 +0100 Mario de Sousa Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Wed, 09 May 2012 23:00:10 +0100 mjsousa Fix parsing os TIME literals & rename the extract_integer() function.
Sat, 31 Mar 2012 21:34:20 +0100 Mario de Sousa merge with Laurent's changeset (essentially, ignore all changes).
Sat, 31 Mar 2012 15:30:38 +0100 Mario de Sousa merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)
Tue, 13 Mar 2012 16:38:21 +0000 Mario de Sousa Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
Tue, 13 Mar 2012 12:39:09 +0000 Mario de Sousa Clarify some details in the comments.
Sun, 11 Mar 2012 22:21:47 +0100 Manuele Conti Add check widening status for IL operator.
Sat, 10 Mar 2012 11:21:04 +0000 Mario de Sousa Bringing comment up to date.
Fri, 02 Mar 2012 12:53:41 +0000 Mario de Sousa Continue adding support for semantic verification of JMP and RET.
Mon, 27 Feb 2012 11:44:03 +0000 Mario de Sousa Change prev_il_instruction to a vector<>
Tue, 21 Feb 2012 17:39:57 +0000 Mario de Sousa More changes for support of semantic verification of il_expressions
Fri, 17 Feb 2012 19:47:58 +0000 Mario de Sousa Start of support for semantic verification of FB calls in IL using special IL instructions.
Thu, 16 Feb 2012 10:27:52 +0000 Mario de Sousa Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.
Mon, 13 Feb 2012 13:45:57 +0000 Mario de Sousa Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!)
Fri, 10 Feb 2012 19:04:31 +0000 Mario de Sousa Add support for semantic verification of function calls in IL.
Fri, 03 Feb 2012 14:43:14 +0000 Mario de Sousa Continue checking data type compatibility inside expressions used to pass paramters to invalid function/FB calls
Thu, 02 Feb 2012 16:20:19 +0000 Mario de Sousa Add support in stage 3 for checking function invocations in ST.
Thu, 02 Feb 2012 14:18:02 +0000 Mario de Sousa Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier.
Wed, 01 Feb 2012 19:49:11 +0000 Mario de Sousa Re-write of stage3 code (done by Manuele and I), re-write of search_varfb_instance_type_c (done by myself), and several other bug fixes.
Fri, 24 Feb 2012 14:16:51 +0100 laurent Fix bug with overloaded function due to literal input values
Fri, 03 Feb 2012 00:09:52 +0100 laurent Fix bug with functions like LEN and TRUNC that have overloaded return type for same inputs type
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
Mon, 04 Apr 2011 10:42:03 +0100 Mario de Sousa starting to add proper header file with declaration of standard functions
Thu, 31 Mar 2011 17:40:55 +0100 Mario de Sousa Updating licensing information.
Wed, 30 Mar 2011 19:53:32 +0100 Mario de Sousa Huge change.
Thu, 27 Aug 2009 16:06:46 +0100 Catarina Boucinha Initial (very rough) version of semantic checker (stage3)
Thu, 18 Jun 2009 19:18:54 +0200 mario Removing un-necessary symbol direct_variable_type_name_c from abstract syntax tree
Mon, 25 May 2009 12:17:10 +0200 mario Adding support for SAFEBOOL. Some code generation yet to do...
Wed, 26 Nov 2008 09:06:26 +0100 greg Adding support for direct variable type search
Fri, 26 Sep 2008 14:42:05 +0200 lbessard Adding support for EN/ENO params in function and function blocks (standard function not supported yet)
Mon, 15 Sep 2008 13:36:24 +0200 lbessard Adding support for EN/ENO parameters in bison rules
Tue, 08 Apr 2008 18:21:37 +0200 lbessard Problem with negated literals while compiling generated C file on 32bits systems fixed
Sat, 17 Nov 2007 10:08:38 +0100 mario adding comments.
Thu, 15 Nov 2007 10:21:19 +0100 lbessard Bug on SFC transition parsing and generation fixed
Tue, 23 Oct 2007 10:35:58 +0200 mario Adding basic error checking.
Thu, 14 Jun 2007 08:58:10 +0200 lbessard Adding support for standard function block parsing
Wed, 16 May 2007 17:53:37 +0200 lbessard Multi-file configuration and resource generation finished
Fri, 23 Feb 2007 19:19:23 +0100 lbessard SFC state machine first approach generator implemented
Wed, 31 Jan 2007 19:23:46 +0100 lbessard ST and IL parsing added into flex-bison analyser
Wed, 31 Jan 2007 16:00:18 +0100 etisserant Changes made since Mario visit at LOLITECH. Thanks again !
Wed, 31 Jan 2007 15:32:38 +0100 etisserant Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.