Mon, 11 Aug 2014 07:55:11 +0100 mjsousa Add comments, and make get_datatype_id_str_c equivalent to get_datatype_id_c
Mon, 11 Aug 2014 07:22:37 +0100 mjsousa Fix calling of functions whose parameters are of an implicitly declared datatype (currently only makes sense for REF_TO datatypes, but may make sense to other datatypes too if the datatype model is changed in the future).
Sun, 10 Aug 2014 08:51:33 +0100 mjsousa fix indentations.
Sun, 10 Aug 2014 08:27:28 +0100 mjsousa in lvalue, add check for REF() fucntion invocation, and the NULL literal
Sat, 09 Aug 2014 11:22:57 +0100 mjsousa Initialise REF_TO variables to NULL.
Sat, 09 Aug 2014 10:12:38 +0100 mjsousa Make support for REF_TO ANY a command line option.
Sat, 09 Aug 2014 09:20:03 +0100 mjsousa Add support for non standard REF_TO ANY (equivalent to void *)
Fri, 08 Aug 2014 10:45:54 +0100 mjsousa Update some comments. (No changes to code)
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.
Wed, 06 Aug 2014 10:43:15 +0100 mjsousa Fix bug (introduced a few commits ago) when generating SFC actions that are mapped onto variables --> Make generate_sfcdecl_c stateless (i.e. does not depend on order by which it is called).
Thu, 31 Jul 2014 17:49:44 +0100 mjsousa Add support for the 'NULL' keyword, defined in version 3 of IEC 61131-3.
Tue, 29 Jul 2014 13:39:40 +0100 mjsousa for option '-Op' (generate <pouname>.h/c): add '#include <pouname>.h' to the .c file, and '#ifdef <pouname>_H' to the .h file
Fri, 25 Jul 2014 14:58:33 +0100 mjsousa Ass include of iec_std_lib.h in POUS.h file.
Mon, 21 Jul 2014 10:39:46 +0100 mjsousa Add support for implicitly declared REF_TO datatypes.
Sun, 20 Jul 2014 21:57:10 +0100 mjsousa With -Op option --> Place implicitly defined datatypes in the .h file corresponding to the POU where they are used.
Sun, 20 Jul 2014 21:48:58 +0100 mjsousa Add name of POU as prefix to names of implicitly defined datatypes
Sun, 20 Jul 2014 16:45:45 +0100 mjsousa Implicitly defined array datatypes use new naming method (greatly simplifies stage 4 code).
Sun, 20 Jul 2014 03:14:57 +0100 mjsousa array_specification_c may be used as a datatype! Add it to spec_init_separator_c
Sun, 13 Jul 2014 17:25:20 +0100 mjsousa Change REF() operator to return the correct REF_TO datatype datatype.
Sun, 13 Jul 2014 13:47:16 +0100 mjsousa Narrow array subscripts correctly, even in the presence of other datatype errors (so we do not generate error messages for array subscripts that do not contain errors).
Sun, 13 Jul 2014 12:26:58 +0100 mjsousa Add support for REF_TO derived datatypes (along with datatype verification)
Sun, 06 Jul 2014 23:31:08 +0100 mjsousa Add option to place each POU in a distinct .c and .h file pair.
Sun, 06 Jul 2014 16:54:53 +0100 mjsousa code re-organisation. Preparing for the changes to come in the next commit (one C file for each POU)
Sun, 06 Jul 2014 13:40:54 +0100 mjsousa Remove un-used parameter from class constructor.
Sun, 06 Jul 2014 11:39:20 +0100 mjsousa Move standard FBs to a pre-converted C file, insted of converting them every time along with the IEC source.
Sun, 06 Jul 2014 11:07:38 +0100 mjsousa Move library files compiled to C to their own subdiectory.
Sun, 06 Jul 2014 10:16:48 +0100 mjsousa Fix stupid mistake in previous commit (use 'long double' instead of 'ld' in istandard library macro)
Sat, 05 Jul 2014 14:10:28 +0100 mjsousa merge
Sat, 05 Jul 2014 13:57:39 +0100 mjsousa Update build/compile instructions to reflect the fact that autoconf needs to be executed.
Sat, 05 Jul 2014 13:39:30 +0100 mjsousa Fix time conversion function in std library, and change into macro (so it may be used in variable initialisations)
Sun, 01 Jun 2014 08:59:57 +0100 mjsousa Add support for the stepname.T syntax.
Sun, 01 Jun 2014 08:59:02 +0100 mjsousa Change the name of the variable with the step state to stepname.X (in the generated VARIABLES.csv file)
Sat, 31 May 2014 16:22:57 +0100 mjsousa Add support for Stepname.X syntax.
Sat, 31 May 2014 12:49:43 +0100 mjsousa Remove dead code previously left in by mistake.
Thu, 29 May 2014 12:06:22 +0100 mjsousa Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.
Wed, 28 May 2014 11:32:09 +0200 Edouard Tisserant merge
Wed, 28 May 2014 10:39:31 +0200 Edouard Tisserant closed temporary fix branch
Tue, 20 May 2014 08:25:59 +0100 mjsousa Check VAR_EXTERN variables declared in FBs instantiated in a Program (and recursively too - FBs in FBs).
Tue, 20 May 2014 08:24:25 +0100 mjsousa Fix typo in as yet dormant code (related to REF_TO keyword, that is not yet active)
Thu, 08 May 2014 12:21:48 +0100 mjsousa Fix compilation error on platforms where real64_t is mapped onto 'long double'
Tue, 08 Apr 2014 14:35:31 +0100 mjsousa Correctly handle structured variables that include FB and external FBs (example: FB1.FB2.extFB3.FB4.extFB5.extFB6.structvar.field1 := 42;) (this commit fixes only ST code. TODO: IL and SFC)
Fri, 04 Apr 2014 16:21:55 +0100 mjsousa Remove call to type_is_complex() in ST code generation.
Mon, 31 Mar 2014 20:05:49 +0100 mjsousa A little code cleanup (reduce number of possible variable generation states)
Sun, 30 Mar 2014 09:41:06 +0100 mjsousa Finish: Change order of SET_xxx() macros. (this will allow me to simplify the print_setter() methods later on)
Sat, 29 Mar 2014 22:46:09 +0000 mjsousa Change order of SET_xxx() macros. (this will allow me to simplify the print_setter() methods later on)
Thu, 27 Mar 2014 09:52:13 +0100 Edouard Tisserant More static declarations in POUS.c in order to avoid conflicting symbol definitions with new POUS.c inclusion scheme
Wed, 26 Mar 2014 13:20:45 +0100 Edouard Tisserant Fix multiple resources support, POUS.c now only contain static definitions. POUS.c is included in configuration C code as well as in resources to allow GLOBAL FBs to be declared in configurations
Thu, 20 Mar 2014 17:27:29 +0100 Edouard Tisserant Disable stage4 options with on windows since getsuboptr isn't supported in mingw
Thu, 20 Mar 2014 10:29:39 +0100 Edouard Tisserant merge
Wed, 19 Mar 2014 12:13:43 +0000 mjsousa Track of line number correctly when input file has code with very long lines.
Wed, 19 Mar 2014 12:05:18 +0000 mjsousa Fix memory leak in lexical parser.
Sun, 16 Mar 2014 13:02:28 +0000 mjsousa Make generation of #line directives optional.
Sun, 16 Mar 2014 10:16:25 +0000 mjsousa Insert #line directives in generated C code.
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.
Sat, 15 Mar 2014 08:31:35 +0000 mjsousa Update files to be ignored by mercurial: ignore files generated by autoconf, directory test/, and *.orig
Sun, 02 Mar 2014 17:04:17 +0000 mjsousa Fix bug: do not print IL 'label' when generating inline functions (JMPxx label was generating erroneous C code)
Sun, 02 Mar 2014 16:42:56 +0000 mjsousa Add limited support for the REF() operator (defined in v3 of IEC 61131-3)
Mon, 24 Feb 2014 22:00:55 +0000 mjsousa Remove assertion being failed by IL labels (IL labels do not yet have specific datatypes).
Fri, 28 Feb 2014 11:27:53 +0100 Edouard Tisserant Added stage1_2/Makefile.am weird rule to keep compatible with previous version of automake
Wed, 19 Feb 2014 22:27:11 +0100 Edouard Tisserant Merge
Sun, 16 Feb 2014 14:29:31 +0000 mjsousa fix definition of pragma.
Sun, 16 Feb 2014 14:27:06 +0000 mjsousa Fix the state machine that became broken 2 commits ago (when adding support for nested comments)
Sun, 16 Feb 2014 00:37:40 +0000 mjsousa Add option to control support for nested comments (default is off, as defined in IEC 61131-3 v2)
Sat, 15 Feb 2014 23:58:16 +0000 mjsousa Add support for nested comments
Wed, 12 Feb 2014 17:02:08 +0000 mjsousa Fix bug: when checking compatibility between GLOBAL and EXTERNAL variables, must only enforce GLOBAL CONSTANT => EXTERNAL CONSTANT.
Tue, 11 Feb 2014 10:55:27 +0000 mjsousa merge
Mon, 06 Jan 2014 12:25:21 +0000 Mario de Sousa Fix bug: correctly generate code when accessing external variables declared inside FBs as a structured variable (realvar := fb1.fb2.extvar1.realvar)
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.
Sun, 09 Feb 2014 07:23:30 +0000 mjsousa Code cleanup (part 3): generate_c_typedecl_c is no longer needed for code generation in POUS.c It is now only needed for datatype declaration in POUS.h
Sat, 08 Feb 2014 23:10:12 +0000 mjsousa Code cleanup (part 2): generate_typedecl_c now only prints to POUS.h !
Sat, 08 Feb 2014 20:38:19 +0000 mjsousa Code cleanup (part 1): subrange check functions are now declared in POUS.h (as static inline functions or #define)
Sat, 08 Feb 2014 18:33:32 +0000 mjsousa Fix get_datatype_info_c::is_subrange(), which did not work when using base type! (we now use get_equivtype() instead of get_base_type() )
Sat, 08 Feb 2014 10:48:20 +0000 mjsousa fix a couple of typos.
Sat, 08 Feb 2014 10:32:26 +0000 mjsousa Fix bug - correctly declare struct members whose type is a directly defined array (e.g.: STRUCT x: ARRAY of XXX; END_STRUCT)
Wed, 05 Feb 2014 20:04:50 +0000 mjsousa Start using the called_fb_declaration annotation when generating C code from FB calls in ST.
Sun, 22 Dec 2013 09:50:02 +0000 Mario de Sousa Code cleanup: move datatype analysis to get_datatype_info_c
Fri, 20 Dec 2013 11:44:38 +0000 Mario de Sousa Fix bug-fix of previous commit.
Thu, 19 Dec 2013 19:38:29 +0000 Mario de Sousa Fix bug: allow use, as lvalues, structures/arrays inside FBs (e.g. fb1.struct1.r := 33.3).
Wed, 18 Dec 2013 18:41:05 +0000 Mario de Sousa Fix bug/issue #33 (correctly access struct/array variables declared inside a FB -> r:=FB1.FB2.struct1.array1[3] )
Sat, 07 Sep 2013 22:08:09 +0100 Mario de Sousa Add assertion suggested by Manuele.
Fri, 23 Aug 2013 15:13:11 +0100 mjsousa merge
Fri, 23 Aug 2013 12:33:12 +0100 mjsousa Use get_datatype_info_c::is_type_valid() to determine datatype validity
Fri, 23 Aug 2013 12:06:08 +0100 mjsousa Recursively check the datatype compatibility of values/expressions passed in function/FB invocations.
Fri, 23 Aug 2013 09:34:04 +0100 mjs Change error message text so as to become more suitable to where they might occur in the source code.
Thu, 22 Aug 2013 19:12:10 +0100 mjsousa Add code to check if an IN_OUT variable is being passed an IL list in formal IL FB/function invocations.
Thu, 22 Aug 2013 18:50:43 +0100 mjsousa Generate correct error message when encountering IL lists embedded in IL formal invocations.
Thu, 22 Aug 2013 16:53:17 +0100 mjsousa Fill in the 'datatype' anotation in the identifiers of symbolic variables.
Thu, 22 Aug 2013 16:51:22 +0100 mjsousa Fix C code generation of FB invocation in IL.
Thu, 22 Aug 2013 07:39:33 +0100 mjsousa Fix detection of datatype errors on IL conditional flow control operators (JMPC, RETC, ...)
Wed, 21 Aug 2013 21:56:41 +0100 mjsousa Allow array_dimension_iterator to accept an array_spec_init_c.
Wed, 21 Aug 2013 21:34:43 +0100 mjsousa Small code cleanup (move common code to a function)
Wed, 21 Aug 2013 21:26:55 +0100 mjsousa Fix datatype analysis of conditional IL operators (CALC, CALCN, RETC, RETCN, JMPC, JMPCN, S and R)
Wed, 21 Aug 2013 21:14:50 +0100 mjsousa Fix datatype analyses of S and R IL operators.
Wed, 21 Aug 2013 16:08:50 +0100 mjsousa make sure all IL operands are narrowed (datatype checking algorithm)
Wed, 21 Aug 2013 16:06:43 +0100 mjsousa cosmetic change only - fix code alignment.
Tue, 20 Aug 2013 11:15:40 +0100 mjsousa Add support for FB call semantics of 'S' and 'R' IL operators!
Tue, 20 Aug 2013 11:11:09 +0100 mjsousa Stop lvalue check from segfaulting when coming across buggy IL code (IL operator with no operand!)
Tue, 20 Aug 2013 11:08:15 +0100 mjsousa Allow get_datatype_info_c to be called with NULL parameters.
Thu, 15 Aug 2013 11:24:54 +0100 mjsousa Do lvalue check of function output parameters (since they may contain expressions inside array subscripts!)
Sat, 10 Aug 2013 09:10:06 +0100 mjsousa Handle buggy source code gracefully (do not bork when non-array variable is used as an array. e.g: int_var[42]:= 33)
Wed, 07 Aug 2013 10:34:57 +0100 mjsousa Delete debugging messages left in by mistake.
Wed, 07 Aug 2013 10:24:32 +0100 mjsousa Fix segfault when doing lvalue check of buggy IEC 61131-3 source code
Wed, 07 Aug 2013 10:18:29 +0100 mjsousa Fix datatype analysis of structured variables that contain arrays in their fields (e.g. var.x1[var2 + 42].y1).
Mon, 05 Aug 2013 15:57:00 +0100 mjsousa Add capability of returning array subscript list while decomposing a struct/array variable.
Mon, 05 Aug 2013 08:26:30 +0100 mjsousa Code cleanup: Remove unused option = Delete dead code.
Tue, 20 Aug 2013 17:35:11 +0100 mjsousa merge
Fri, 19 Jul 2013 13:31:35 +0100 Mario de Sousa Declare that YYLSTYPE is not the default trivial datatype used by bison. (was causing compile errors in bison ver >= 2.7)
Wed, 19 Feb 2014 22:25:10 +0100 Edouard Tisserant Fix build on Ubuntu 13.10
Fri, 11 Oct 2013 12:38:36 +0200 Laurent Bessard Fixed warning when compiling generated program containing external variable assignments
Fri, 07 Jun 2013 11:27:29 +0900 Edouard Tisserant Enlarged flex buffer size in order to accept larger C pragmas
Sat, 18 May 2013 16:35:41 +0900 edouard Missing braces arround extern declarartions in __SET_EXTERNAL define was making problem with GCC in switch case statements
Thu, 16 May 2013 14:37:33 +0900 Edouard Tisserant Moved __INIT_* defines within type definition headers files
Thu, 02 May 2013 10:42:17 +0200 Laurent Bessard Fixed warning in accessor __SET_EXTERNAL
Thu, 18 Apr 2013 22:27:01 +0200 Laurent Bessard Fixed bug when defining task with single_data_source instead of interval_data_source
Fri, 05 Apr 2013 09:37:52 +0900 Edouard Tisserant Merged Mario's changes
Thu, 04 Apr 2013 18:55:20 +0100 Mario de Sousa Fix bug related to FB invocation of FB instances declared as VAR_EXTERN.
Thu, 04 Apr 2013 09:45:11 +0900 Edouard Tisserant Merged Mario's changes
Wed, 03 Apr 2013 19:49:52 +0100 Mario de Sousa Partial fix to VAR_EXTERN vs VAR_GLOBAL check. Now considers globals declared in resources too. TODO: recursively check FB declared in the program.
Fri, 22 Feb 2013 21:09:59 +0000 Mario de Sousa Allow variables declared inside resources to be referenced by res_name.var_name
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, 05 Feb 2013 17:40:23 +0000 Mario de Sousa Print filename when debugging abstract symbol table.
Wed, 23 Jan 2013 14:53:14 +0000 Mario de Sousa Consider fb_name_decl_c a non base data type class!
Wed, 23 Jan 2013 14:30:03 +0000 Mario de Sousa Fill symbol->datatype anotation for FB declarations.
Wed, 23 Jan 2013 13:46:11 +0000 Mario de Sousa Fill in the symbol.datatype annotation in symbol classes used in derived data type declarations.
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).
Mon, 11 Mar 2013 12:54:25 +0100 Laurent Bessard Merged
Mon, 11 Mar 2013 12:51:01 +0100 Laurent Bessard Fixed bug in string format when translating TIME and DATETIME to STRING
Mon, 11 Mar 2013 12:49:33 +0100 Laurent Bessard Fixed bug with SFC transition datatype checking