| 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.
|
file |
diff |
annotate
|
| Thu, 31 Jul 2014 17:49:44 +0100 |
mjsousa |
Add support for the 'NULL' keyword, defined in version 3 of IEC 61131-3.
|
file |
diff |
annotate
|
| Sun, 13 Jul 2014 12:26:58 +0100 |
mjsousa |
Add support for REF_TO derived datatypes (along with datatype verification)
|
file |
diff |
annotate
|
| 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.
|
file |
diff |
annotate
|
| Sun, 02 Mar 2014 16:42:56 +0000 |
mjsousa |
Add limited support for the REF() operator (defined in v3 of IEC 61131-3)
|
file |
diff |
annotate
|
| 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.
|
file |
diff |
annotate
|
| 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.
|
file |
diff |
annotate
|
| 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).
|
file |
diff |
annotate
|
| Thu, 22 Nov 2012 18:53:37 +0000 |
Mario de Sousa |
Start to move enumeration declaration checking to its own class.
|
file |
diff |
annotate
|
| Thu, 25 Oct 2012 18:20:28 +0100 |
Mario de Sousa |
Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis.
|
file |
diff |
annotate
|
| 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!)
|
file |
diff |
annotate
|
| Sat, 06 Oct 2012 22:29:04 +0100 |
Mario de Sousa |
Use doubly linked connections for flow control graph (will be used later).
|
file |
diff |
annotate
|
| Wed, 01 Aug 2012 10:31:14 +0100 |
Mario de Sousa |
Support for data types of STEP.T and STEP.X in SFCs
|
file |
diff |
annotate
|
| Wed, 13 Jun 2012 19:43:12 +0100 |
Mario de Sousa |
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
|
file |
diff |
annotate
|
| Wed, 09 May 2012 23:00:10 +0100 |
mjsousa |
Fix parsing os TIME literals & rename the extract_integer() function.
|
file |
diff |
annotate
|
| Sat, 31 Mar 2012 21:34:20 +0100 |
Mario de Sousa |
merge with Laurent's changeset (essentially, ignore all changes).
|
file |
diff |
annotate
|
| Sat, 31 Mar 2012 15:30:38 +0100 |
Mario de Sousa |
merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)
|
file |
diff |
annotate
|
| Tue, 13 Mar 2012 16:38:21 +0000 |
Mario de Sousa |
Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
|
file |
diff |
annotate
|
| Tue, 13 Mar 2012 12:39:09 +0000 |
Mario de Sousa |
Clarify some details in the comments.
|
file |
diff |
annotate
|
| Sun, 11 Mar 2012 22:21:47 +0100 |
Manuele Conti |
Add check widening status for IL operator.
|
file |
diff |
annotate
|
| Sat, 10 Mar 2012 11:21:04 +0000 |
Mario de Sousa |
Bringing comment up to date.
|
file |
diff |
annotate
|
| Fri, 02 Mar 2012 12:53:41 +0000 |
Mario de Sousa |
Continue adding support for semantic verification of JMP and RET.
|
file |
diff |
annotate
|
| Mon, 27 Feb 2012 11:44:03 +0000 |
Mario de Sousa |
Change prev_il_instruction to a vector<>
|
file |
diff |
annotate
|
| Tue, 21 Feb 2012 17:39:57 +0000 |
Mario de Sousa |
More changes for support of semantic verification of il_expressions
|
file |
diff |
annotate
|
| 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.
|
file |
diff |
annotate
|
| 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.
|
file |
diff |
annotate
|
| 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!)
|
file |
diff |
annotate
|
| Fri, 10 Feb 2012 19:04:31 +0000 |
Mario de Sousa |
Add support for semantic verification of function calls in IL.
|
file |
diff |
annotate
|
| 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
|
file |
diff |
annotate
|
| Thu, 02 Feb 2012 16:20:19 +0000 |
Mario de Sousa |
Add support in stage 3 for checking function invocations in ST.
|
file |
diff |
annotate
|
| 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.
|
file |
diff |
annotate
|
| 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.
|
file |
diff |
annotate
|
| Fri, 24 Feb 2012 14:16:51 +0100 |
laurent |
Fix bug with overloaded function due to literal input values
|
file |
diff |
annotate
|
| 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
|
file |
diff |
annotate
|
| Fri, 29 Jul 2011 16:03:28 +0100 |
Mario de Sousa |
Support for semantic verification of calls to standard functions.
|
file |
diff |
annotate
|
| Tue, 05 Apr 2011 15:14:19 +0200 |
Edouard Tisserant |
Re-generated std lib related code, with updated headers, updated all forgotten headers
|
file |
diff |
annotate
|
| Mon, 04 Apr 2011 10:42:03 +0100 |
Mario de Sousa |
starting to add proper header file with declaration of standard functions
|
file |
diff |
annotate
|
| Thu, 31 Mar 2011 17:40:55 +0100 |
Mario de Sousa |
Updating licensing information.
|
file |
diff |
annotate
|
| Wed, 30 Mar 2011 19:53:32 +0100 |
Mario de Sousa |
Huge change.
|
file |
diff |
annotate
|
| Thu, 27 Aug 2009 16:06:46 +0100 |
Catarina Boucinha |
Initial (very rough) version of semantic checker (stage3)
|
file |
diff |
annotate
|
| Thu, 18 Jun 2009 19:18:54 +0200 |
mario |
Removing un-necessary symbol direct_variable_type_name_c from abstract syntax tree
|
file |
diff |
annotate
|
| Mon, 25 May 2009 12:17:10 +0200 |
mario |
Adding support for SAFEBOOL. Some code generation yet to do...
|
file |
diff |
annotate
|
| Wed, 26 Nov 2008 09:06:26 +0100 |
greg |
Adding support for direct variable type search
|
file |
diff |
annotate
|
| 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)
|
file |
diff |
annotate
|
| Mon, 15 Sep 2008 13:36:24 +0200 |
lbessard |
Adding support for EN/ENO parameters in bison rules
|
file |
diff |
annotate
|
| Tue, 08 Apr 2008 18:21:37 +0200 |
lbessard |
Problem with negated literals while compiling generated C file on 32bits systems fixed
|
file |
diff |
annotate
|
| Sat, 17 Nov 2007 10:08:38 +0100 |
mario |
adding comments.
|
file |
diff |
annotate
|
| Thu, 15 Nov 2007 10:21:19 +0100 |
lbessard |
Bug on SFC transition parsing and generation fixed
|
file |
diff |
annotate
|
| Tue, 23 Oct 2007 10:35:58 +0200 |
mario |
Adding basic error checking.
|
file |
diff |
annotate
|
| Thu, 14 Jun 2007 08:58:10 +0200 |
lbessard |
Adding support for standard function block parsing
|
file |
diff |
annotate
|
| Wed, 16 May 2007 17:53:37 +0200 |
lbessard |
Multi-file configuration and resource generation finished
|
file |
diff |
annotate
|
| Fri, 23 Feb 2007 19:19:23 +0100 |
lbessard |
SFC state machine first approach generator implemented
|
file |
diff |
annotate
|
| Wed, 31 Jan 2007 19:23:46 +0100 |
lbessard |
ST and IL parsing added into flex-bison analyser
|
file |
diff |
annotate
|
| Wed, 31 Jan 2007 16:00:18 +0100 |
etisserant |
Changes made since Mario visit at LOLITECH. Thanks again !
|
file |
diff |
annotate
|
| 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.
|
file |
diff |
annotate
|