Fri, 26 Dec 2014 08:09:34 +0000 mjsousa Do constant propagation inside Configurations and Resources (required for support of extension: array [1..max] OF int); (Resources is still buggy)
Thu, 25 Dec 2014 08:40:15 +0000 mjsousa Do constant folding of default initial values of datatypes.
Wed, 24 Dec 2014 13:19:53 +0000 mjsousa Do constant propagation to symbolic_variables, and correctly handle constant folding and propagation of variable declarations.
Wed, 17 Dec 2014 13:47:37 +0000 mjsousa When generating C code, use the const_value of a symbolic_variable when it is used in a subrange.
Wed, 17 Dec 2014 13:46:36 +0000 mjsousa Small code re-organization of how const values are stored in symbol_c (can now be accessed through member functions, instead of macros)
Sun, 14 Dec 2014 19:15:29 +0000 mjsousa Fix bugs introduced in previous commit (once again do constant folding of all literals in type declarations)
Sun, 14 Dec 2014 18:40:20 +0000 mjsousa Do constant folding of variable's initial value (allows correct C code generation with variables in the subrange of an array declaration: ARRAY [1..max] of INT).
Wed, 10 Dec 2014 12:06:45 +0000 mjsousa Delete un-used declaration.
Wed, 10 Dec 2014 11:57:43 +0000 mjsousa merge
Sat, 22 Nov 2014 19:30:47 +0000 mjsousa Allow variables to be used when declaring the dimension of an array.
Sat, 06 Dec 2014 19:14:23 +0000 mjsousa Fix C code generation when forward references (-p command line option) is on.
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, 30 Nov 2014 12:49:42 +0000 mjsousa Delete unused file.
Sun, 30 Nov 2014 10:27:28 +0000 mjsousa Make use of pre-parser a command line option.
Sun, 30 Nov 2014 10:26:31 +0000 mjsousa Fix AST generated by parsing with preparsing switched OFF (typo in array datatypes, and fix parsing of POUs).
Sat, 29 Nov 2014 21:33:30 +0000 mjsousa Fix AST generated by parsing with preparsing switched on, and allow parsing to work with preparsing off.
Sat, 29 Nov 2014 20:32:11 +0000 mjsousa Fix bug introduced when adding support for relaxed datatype model: change derived_datatype_identifier_c to identifier_c when used as an identifier
Sat, 29 Nov 2014 13:43:20 +0000 mjsousa Add a pre-parsing phase to stage1_2 (allows source code that references POUs and datatypes before they are declared)
Sat, 29 Nov 2014 12:10:34 +0000 mjsousa Comment out unused and buggy code.
Thu, 27 Nov 2014 13:26:58 +0000 mjsousa Update the comments in source code.
Wed, 26 Nov 2014 19:47:54 +0000 mjsousa Fix bug introduced when adding support for relaxed datatype model. Code cleanup.
Sun, 23 Nov 2014 09:41:16 +0000 mjsousa Fix main state machine in flex (states were being pushed without being poped from the stack)
Sun, 16 Nov 2014 15:37:12 +0000 mjsousa merge
Sun, 16 Nov 2014 14:46:52 +0000 mjsousa Make the relaxed datatype model a runtime option (off by default)
Sun, 16 Nov 2014 12:54:10 +0000 mjsousa Add support for relaxed datatype model for array datatypes.
Sun, 09 Nov 2014 22:02:34 +0000 mjsousa fix bug introduced a few commits ago: do not print the first char ('%') of a direct_variable_c (e.g. skip % in %IW4.2)
Sat, 25 Oct 2014 13:20:10 +0100 mjsousa fix code generation when dereferencing pointers (ref_to) to arrays (ref_to_array^[5])
Sat, 25 Oct 2014 13:17:12 +0100 mjsousa Fix bug: set the scope annotation in deref_operators used inside structs
Sat, 25 Oct 2014 11:28:48 +0100 mjsousa Editing of error message to make it more clear.
Sat, 25 Oct 2014 11:21:40 +0100 mjsousa Filling of symbol->scope annotation moved from narrow to fill_candidate_datatypes_c (became possible because narrowing of struct, array and symbolic variables is now done directly in fill_candidate_datatypes_c)
Sat, 25 Oct 2014 11:15:55 +0100 mjsousa fill_candidate_datatypes_c now uses search_varinstance_decl_c instead of search_varfb_instance_type_c (moving towards deprecation of search_varfb_instance_type_c)
Sun, 19 Oct 2014 21:30:58 +0100 mjsousa Do the full fill_candidate/narrow_datatype algorithm for all fields of a structured variable in the fill_candidate_datatypes_c
Sun, 19 Oct 2014 11:53:36 +0100 mjsousa Fix bug with multple dereferencing (bool_var := bool_ptr_ptr^^;)
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 17:48:42 +0100 mjsousa Fix bug: add support for dereferencing of REF_TO to REF_TO xxx (e.g.: bool_var := ref_to_ref_to_bool^^;)
Sun, 28 Sep 2014 17:39:28 +0100 mjsousa Turn support of derefencing operator '^' an option (default is not supported).
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!)
Sat, 27 Sep 2014 20:09:19 +0100 mjsousa Add support for REF_TO inside arrays and structs (a non-standard feature!)
Mon, 11 Aug 2014 08:07:12 +0100 mjsousa Code cleanup: with the introduction of anotation_map[], generate_c_vardecl_c can now derive directly from generate_c_base_c
Mon, 11 Aug 2014 07:56:00 +0100 mjsousa Fix typos in comments
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
Fri, 08 Mar 2013 11:38:26 +0900 Edouard Tisserant Stripped generated files again. http://stackoverflow.com/questions/3290908/which-files-generated-by-autotools-should-i-keep-in-version-control-repository
Fri, 08 Mar 2013 02:00:36 +0100 Laurent Bessard Fixed bug in case statement with enumerated type variable as case expression
Fri, 08 Mar 2013 01:01:15 +0100 Laurent Bessard Merged
Sun, 13 Jan 2013 16:06:00 +0000 Mario de Sousa Set the symbol->datatpe of function_declaration_c
Sun, 13 Jan 2013 14:25:38 +0000 Mario de Sousa Fill in the symbol->datatype of elementary datatypes.
Thu, 10 Jan 2013 10:49:50 +0000 Mario de Sousa merge
Thu, 03 Jan 2013 18:27:06 +0000 Mario de Sousa merge
Thu, 03 Jan 2013 18:26:32 +0000 Mario de Sousa Fix divide by 0 bug.
Thu, 03 Jan 2013 18:23:07 +0000 Mario de Sousa grand merge
Thu, 10 Jan 2013 10:47:06 +0000 Mario de Sousa disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),
Thu, 10 Jan 2013 10:38:41 +0000 Mario de Sousa merge
Thu, 03 Jan 2013 23:39:25 +0100 Manuele Conti Fix constant propagation for repeat_statement_c class.
Thu, 03 Jan 2013 23:16:19 +0100 Manuele Conti Remove unused variable.
Thu, 03 Jan 2013 22:54:55 +0100 Manuele Conti Implement Mario's suggestions:
Thu, 03 Jan 2013 20:34:10 +0100 Manuele Conti Fix constant_folding missing call. [Bug found by Mario.]
Thu, 03 Jan 2013 19:31:12 +0000 Mario de Sousa Fix divide by 0 bug.
Thu, 03 Jan 2013 17:04:04 +0000 Mario de Sousa merge
Thu, 03 Jan 2013 11:39:27 +0100 Manuele Conti Fix CPPFLAGS Makefile.am for all stage4.
Mon, 31 Dec 2012 11:02:38 +0100 Manuele Conti Remove redundant class for get variable name.
Fri, 28 Dec 2012 16:24:17 +0100 Manuele Conti Fix constant propagation alg. in for statement like Mario suggestion.
Fri, 28 Dec 2012 11:22:02 +0100 Manuele Conti Add note about How Constant Folding class is extended with a implementation constant propagation algorithm
Thu, 27 Dec 2012 00:17:08 +0100 Manuele Conti Add constant propagation algorithm for loop cycles.
Fri, 28 Dec 2012 11:51:24 +0000 Mario de Sousa Update symbol_c::first_file/last_file entries in list_c::add_element()
Thu, 27 Dec 2012 15:31:01 +0000 Mario de Sousa moved class to obtain datatype name (in char *) to get_datatype_info_c
Thu, 27 Dec 2012 15:04:58 +0000 Mario de Sousa merge
Mon, 24 Dec 2012 16:56:08 +0100 Manuele Conti Fix comment about meet semilattice rules.
Sat, 22 Dec 2012 19:34:57 +0100 Manuele Conti Complete fix initialize const_value.
Sat, 22 Dec 2012 19:31:48 +0100 Manuele Conti Start to implement constant propagation algorithm.
Sat, 22 Dec 2012 19:30:44 +0100 Manuele Conti Fix const_value field initialized.
Sun, 02 Dec 2012 18:20:02 +0100 Manuele Conti Remove Ambiguous enumerate value in enum conversion functions.
Sun, 02 Dec 2012 12:30:41 +0100 Manuele Conti Fix enum conversion function to string.
Wed, 28 Nov 2012 22:51:24 +0100 Manuele Conti Fix struct generic_function_call_t initialize style.
Tue, 27 Nov 2012 23:47:22 +0100 Manuele Conti Merge with Mario's changes.
Thu, 20 Dec 2012 10:46:51 +0100 Manuele Conti Merge with Mario's repository.
Thu, 20 Dec 2012 10:42:01 +0100 Manuele Conti Fix warning about call fprintf without format string.
Mon, 03 Dec 2012 18:44:16 +0000 Mario de Sousa merge
Sun, 02 Dec 2012 18:20:02 +0100 Manuele Conti Remove Ambiguous enumerate value in enum conversion functions.
Sun, 02 Dec 2012 12:30:41 +0100 Manuele Conti Fix enum conversion function to string.
Wed, 28 Nov 2012 22:51:24 +0100 Manuele Conti Fix struct generic_function_call_t initialize style.
Mon, 03 Dec 2012 14:06:49 +0000 Mario de Sousa Small code cleanup.
Sat, 01 Dec 2012 11:30:16 +0000 mjsousa Allow bison to ask for an END_OF_INPUT token multiple times!
Sat, 01 Dec 2012 11:27:48 +0000 mjsousa Protect against redefining macros
Tue, 27 Nov 2012 17:20:16 +0000 Mario de Sousa merge
Tue, 27 Nov 2012 17:01:41 +0100 Manuele Conti Fix flag to enable conversion functions.
Tue, 27 Nov 2012 15:49:05 +0000 Mario de Sousa Code cleanup: move tracking functions to flex.
Tue, 27 Nov 2012 14:49:08 +0000 Mario de Sousa Insert the auto generated enum datatype conversion functions after the TYPE...END_TYPE, instead of at the end of input file.
Mon, 26 Nov 2012 16:38:15 +0000 Mario de Sousa merge
Fri, 23 Nov 2012 11:38:57 +0100 Manuele Conti Set ENO to false when conversion function fails.
Fri, 23 Nov 2012 14:11:57 +0100 Manuele Conti Fix typo in functionDataType array.
Fri, 23 Nov 2012 09:31:55 +0000 Mario de Sousa Add files missing from a few commits ago...
Thu, 22 Nov 2012 19:26:56 +0000 Mario de Sousa merge
Tue, 20 Nov 2012 21:06:55 +0100 Manuele Conti Refix automake files.
Tue, 20 Nov 2012 20:55:44 +0100 Manuele Conti Add some comments to argument new code.
Tue, 20 Nov 2012 00:01:57 +0100 Manuele Conti Start to change code like Mario suggestions.
Mon, 19 Nov 2012 22:53:43 +0100 Manuele Conti Create functionDataType array in derived_conversion_functions_c.
Fri, 16 Nov 2012 10:26:23 +0100 Manuele Conti Add conversion functions option.
Thu, 15 Nov 2012 17:30:35 +0100 Manuele Conti Start enumerate conversion functions.
Thu, 22 Nov 2012 19:19:48 +0000 Mario de Sousa merge
Mon, 12 Nov 2012 22:36:55 +0100 Manuele Conti Be sure to not redefine TRUE and FALSE macros.
Thu, 22 Nov 2012 19:05:29 +0000 Mario de Sousa merge
Mon, 12 Nov 2012 22:33:58 +0100 Manuele Conti Removed unused __attribute__((__packed__)) only gcc compatible.
Mon, 12 Nov 2012 22:26:21 +0100 Manuele Conti Protect IEC_STD_LIB.H header agaist multi-include problems.
Thu, 22 Nov 2012 19:02:05 +0000 Mario de Sousa merge
Thu, 22 Nov 2012 18:53:37 +0000 Mario de Sousa Start to move enumeration declaration checking to its own class.
Thu, 22 Nov 2012 18:51:42 +0000 Mario de Sousa Fix comments and code alignment
Mon, 19 Nov 2012 18:59:12 +0000 Mario de Sousa Fix warnings previous change introduced when compiling with gcc.
Sun, 18 Nov 2012 12:54:48 +0100 Manuele Conti Fix some important clang++ warnings.
Thu, 15 Nov 2012 14:14:00 +0000 Mario de Sousa Allow use of type#value syntax when defining default initial value inside a TYPE..END_TYPE declaration.
Thu, 15 Nov 2012 12:57:04 +0000 Mario de Sousa Do datatype verification of fully qualified enumerated values (e.g. ENUMTYPE#enumconst)
Wed, 14 Nov 2012 18:39:02 +0000 Mario de Sousa Add datatype checking of enumeration data type declarations.
Wed, 14 Nov 2012 18:37:42 +0000 Mario de Sousa Print const values of symbol.
Wed, 14 Nov 2012 15:25:03 +0000 Mario de Sousa Fix code generation of enum value constants (this is a temporary fix - it will be followed by a code cleanup).
Wed, 14 Nov 2012 15:18:14 +0000 Mario de Sousa Fix bug in datatype checking of enumerated datatypes delcarations.
Wed, 14 Nov 2012 14:03:57 +0000 Mario de Sousa Fix datatype checking of enumerated datatype declarations. We now follow the fill->narrow algorithm correctly.
Wed, 14 Nov 2012 13:10:05 +0000 Mario de Sousa Add method to determine the id (name) of a datatype.
Tue, 13 Nov 2012 18:03:17 +0000 Mario de Sousa Change the base datatype of enumerations to an enumerated_type_declaration_c (for named types!)
Tue, 13 Nov 2012 18:02:15 +0000 Mario de Sousa Change the public interface to debug functions.
Fri, 09 Nov 2012 14:34:36 +0000 Mario de Sousa Check for errors in enum datatype declarations. (This is not yet complete as it will not yet stop the compilation process if these errors are found)
Fri, 09 Nov 2012 13:08:18 +0000 Mario de Sousa Fix one more bug - upper_bound() works a little differently to what we want!
Thu, 08 Nov 2012 17:54:48 +0000 Mario de Sousa Fix more bugs in dsymtable_c (real semantics of std::multimap::lower_bound is not what was assumed!)
Thu, 08 Nov 2012 17:31:50 +0000 Mario de Sousa Fix counting bug in dsymbtable_c
Thu, 08 Nov 2012 17:31:29 +0000 Mario de Sousa Use duplicate symtable instead of symtable for enum constant value table (this will later allow us to detect semantic errors in IEC 61131-3 source code)
Thu, 08 Nov 2012 12:49:03 +0000 Mario de Sousa Move the enumerated_value_symtable to fill_candidate_datatypes_c, since it is only used there!
Wed, 07 Nov 2012 20:07:11 +0000 Mario de Sousa Make search_base_type_c a singleton!
Wed, 07 Nov 2012 19:26:38 +0000 Mario de Sousa Start datatype checking of variable declarations (for now, only seting symbol.datatype of enumerations)
Wed, 07 Nov 2012 10:03:54 +0000 Mario de Sousa Do datatype checking of enum values defined inside anonymous enumeration types (i.e. enum types defined inside a VAR ... END_VAR daclaration).
Sat, 23 Feb 2013 23:14:59 +0100 Laurent Bessard Added support for testing BCD value validity in BCD_TO_UINT function
Sat, 23 Feb 2013 22:38:37 +0100 Laurent Bessard Fixed bug in DATE_AND_TIME_TO_TIME_OF_DAY and DATE_AND_TIME_TO_DATE when date and time is before 1970-01-01-00:00:00
Wed, 19 Dec 2012 12:25:56 +0100 Laurent Bessard Fix warning message when declaring global variables in configuration
Tue, 04 Dec 2012 00:05:22 +0100 Laurent Bessard Removed unused variable
Mon, 03 Dec 2012 23:36:03 +0100 Laurent Bessard Replacing libc time functions for date <-> timespec translation by platform and localtime independant implementation
Wed, 28 Nov 2012 12:00:38 +0900 Edouard Tisserant Removed files generedted by autoconf, should not be in repo
Wed, 28 Nov 2012 11:52:03 +0900 Edouard Tisserant Fixed timegm usage incompatible with mingw, reverted to mktime in case mingw is detected
Fri, 16 Nov 2012 01:02:54 +0100 Laurent Bessard Fix in accessor undefined init methods for function block global instances
Fri, 16 Nov 2012 00:39:35 +0100 Laurent Bessard Fix undefined function toupper in iec_std_lib
Thu, 15 Nov 2012 22:28:53 +0100 Laurent Bessard Adding support for declaring function block instances as global and external variables
Thu, 08 Nov 2012 18:55:57 +0100 Laurent Bessard Fix DATE conversions standard functions
Thu, 08 Nov 2012 12:10:52 +0100 Laurent Bessard Fix definition of BCD to ANY_UINT and ANY_UINT to BCD conversion standard functions
Tue, 06 Nov 2012 19:56:23 +0100 Laurent Bessard Fix indentation in SFC SL qualifier code generated
Tue, 06 Nov 2012 19:17:36 +0100 Laurent Bessard Fix indentation and unused variable warning in SFC generated code
Wed, 31 Oct 2012 19:21:09 +0100 Laurent Bessard Fix pragma with double bracket token stripping
Wed, 24 Oct 2012 00:06:55 +0200 Manuele Conti Fix some warning about loss of precision data in iec_std_lib.h file.
Fri, 26 Oct 2012 17:41:21 +0100 Mario de Sousa Fix typo.
Fri, 26 Oct 2012 13:52:16 +0100 Mario de Sousa Remove deprecated class search_constant_type_c
Fri, 26 Oct 2012 13:48:16 +0100 Mario de Sousa replace call to search_constant_type_c with symbol.datatype
Tue, 09 Oct 2012 22:29:26 +0200 Manuele Conti Removing several warning in iec_std_lib.h
Fri, 26 Oct 2012 10:25:38 +0100 Mario de Sousa Code formating only.
Sat, 06 Oct 2012 14:21:04 +0200 Manuele Conti Fix stage4 for compare expressions.
Fri, 26 Oct 2012 10:11:28 +0100 Mario de Sousa Prepare to delete search_constant_type_c -> Move the static variables from search_constant_type_c to get_datatype_info_c
Thu, 25 Oct 2012 18:51:55 +0100 Mario de Sousa Remove no longer needed search_il_operand_type_c
Thu, 25 Oct 2012 18:27:23 +0100 Mario de Sousa Also force_narrow IL instructions inside IL expressions, i.e. inside parenthesis.
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 18:12:51 +0100 Mario de Sousa Fix bug when handling IL expressions (i.e. IL instructions inside parenthesis).
Thu, 25 Oct 2012 13:40:13 +0100 Mario de Sousa Delete debugging code, introduced by mistake in previous commit.
Thu, 25 Oct 2012 12:48:48 +0100 Mario de Sousa Fix handling of IL parenthesized expressions in generate_c_il_c
Thu, 25 Oct 2012 12:39:01 +0100 Mario de Sousa Fix processing of TIME literals (submited by Andreas)
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!)
Thu, 25 Oct 2012 11:28:06 +0100 Mario de Sousa Comment out invalid assertion.
Thu, 25 Oct 2012 11:15:55 +0100 Mario de Sousa Code cleanup: get the datatype of each entity off symbol->datatype (set in stage3 datatype checking), instead of determining it again in stage4. (NOTE: handling of IL parenthesized expressions is not working! Will be fixed later.)
Wed, 24 Oct 2012 15:32:48 +0100 Mario de Sousa Major code cleanup: IL code generation now uses symbol.datatype (filled in during stage3 data type checking) instead of determining the symbol's datatype by itself.
Thu, 18 Oct 2012 10:57:13 +0100 Mario de Sousa Do not repeat narrow algorithm for ST code, and better comments.
Tue, 16 Oct 2012 18:56:03 +0100 Mario de Sousa New visitor classes missing from previous commit.
Tue, 16 Oct 2012 18:23:16 +0100 Mario de Sousa Remove line printing debug info.
Tue, 16 Oct 2012 18:06:32 +0100 Mario de Sousa Add classes to print status of AST (use only for debugging!)
Tue, 16 Oct 2012 18:01:22 +0100 Mario de Sousa Remove all remaining NULL (undefined) datatypes from IL code.
Sat, 13 Oct 2012 12:13:49 +0100 Mario de Sousa Move is_datatype_valid/equal() to get_datatype_info_c
Thu, 11 Oct 2012 19:16:35 +0100 Mario de Sousa Fix bug related to support of SAFE datatypes.
Sun, 07 Oct 2012 09:45:54 +0100 Mario de Sousa Set datatype of il_intruction_c objects containing an ST operator.
Sun, 07 Oct 2012 09:33:42 +0100 Mario de Sousa Delete unused variables.
Sat, 06 Oct 2012 22:29:04 +0100 Mario de Sousa Use doubly linked connections for flow control graph (will be used later).
Thu, 04 Oct 2012 18:54:15 +0100 Mario de Sousa Remove deprecated search_expression_type_c
Thu, 04 Oct 2012 18:50:21 +0100 Mario de Sousa Deprecate use of search_expression_type_c (prepare for complete removal!).
Thu, 04 Oct 2012 18:29:26 +0100 Mario de Sousa Deprecate use of search_expression_type_c (prepare for complete removal!)
Thu, 04 Oct 2012 16:53:02 +0100 Mario de Sousa Deprecating use of search_expression_type_c, so it may later be deleted!
Thu, 04 Oct 2012 15:10:45 +0100 Mario de Sousa Merge
Thu, 04 Oct 2012 14:30:51 +0100 Mario de Sousa Add new get_datatype_info_c (preparing to remove search_expression_type_c)
Thu, 04 Oct 2012 13:12:19 +0100 Mario de Sousa Delete declaration of unused & undeclared functions.
Wed, 03 Oct 2012 17:44:25 +0100 Mario de Sousa Delete class elements that are not used (clean up code).
Fri, 28 Sep 2012 23:59:28 +0200 Manuele Conti Add check whether external var matches to global var.
Thu, 27 Sep 2012 18:14:52 +0100 Mario de Sousa Also check FB passed as parameters in FB/Function calls (Thanks Andreas!)
Wed, 26 Sep 2012 20:12:39 +0200 Manuele Conti Minor changes needed to build with pedantic flag.
Fri, 21 Sep 2012 09:54:10 +0100 Mario de Sousa Also check external/global variable consistency in configurations and FBs.
Fri, 21 Sep 2012 09:53:20 +0100 Mario de Sousa add method for printing class_name. USE ONLY FOR DEBUGING!
Wed, 19 Sep 2012 11:23:15 +0100 Mario de Sousa store POU reference to POU declaration instead of global var declarations.
Tue, 18 Sep 2012 14:21:19 +0200 Manuele Conti Start declaration check class.
Fri, 14 Sep 2012 23:35:18 +0200 Manuele Conti Start declaration check class.
Thu, 13 Sep 2012 17:12:40 +0100 Mario de Sousa Adjust coding style.
Sat, 08 Sep 2012 10:44:04 +0100 agraeper list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.
Fri, 31 Aug 2012 19:30:48 +0100 Mario de Sousa Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).
Fri, 31 Aug 2012 15:09:25 +0100 Mario de Sousa Start adding support for data type checking of enums.
Fri, 31 Aug 2012 10:11:19 +0100 Mario de Sousa Remove comment no longer valid since introduction of constant folding.
Thu, 30 Aug 2012 16:44:29 +0100 Mario de Sousa Add some comments.
Thu, 30 Aug 2012 15:06:32 +0200 Manuele Conti Update configure script.
Thu, 30 Aug 2012 13:35:15 +0100 Mario de Sousa More precise handling of const value status.
Thu, 30 Aug 2012 13:08:02 +0100 Mario de Sousa Fix bug in checking array ranges.
Thu, 30 Aug 2012 13:06:54 +0100 Mario de Sousa Add more info to error messages.
Thu, 30 Aug 2012 13:04:30 +0100 Mario de Sousa Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.
Wed, 29 Aug 2012 21:52:33 +0100 Mario de Sousa Merge.
Wed, 29 Aug 2012 19:38:15 +0100 Mario de Sousa Fix constant folding: now handles INT_MIN and neg_integer_c correctly.
Tue, 28 Aug 2012 22:37:26 +0200 Manuele Conti Replace test bison version without bash regular expression.
Thu, 16 Aug 2012 22:44:38 +0200 Manuele Conti Fix Segmentation Fault FB var declaration in a single list.
Mon, 27 Aug 2012 17:58:07 +0100 Mario de Sousa Add some comments.
Thu, 25 Oct 2012 11:09:06 +0200 Edouard Tisserant Fix some warning about loss of precision data in iec_std_lib.h file.
Tue, 23 Oct 2012 11:32:49 +0200 Laurent Bessard Fix bug with NE function for STRING variables
Mon, 22 Oct 2012 23:08:54 +0200 Laurent Bessard Fix bug in code for pragma with double brackets
Mon, 22 Oct 2012 17:44:40 +0200 Laurent Bessard Merged
Sun, 21 Oct 2012 16:55:08 +0200 Laurent Bessard Adding support for direct array declaration in structure element declaration
Fri, 19 Oct 2012 12:10:32 +0200 Edouard Tisserant Added double curly braces for pragma (kept single curly braces for compatibility). Added macro def and undef surrounding pragma to simplify user code. Moved useless comment from generated code back to code generator.
Thu, 13 Sep 2012 16:35:10 +0200 Laurent Bessard Fix bug with task interval using fixed_point value for duration items
Thu, 13 Sep 2012 15:14:55 +0200 Laurent Bessard Adding error message when task interval value is not supported
Thu, 13 Sep 2012 09:55:00 +0200 Laurent Bessard Adding error message when task interval value is not supported
Wed, 12 Sep 2012 01:14:38 +0200 Laurent Bessard Fix bug SFC action index declarations were different in POUS.c and VARIABLES.csv when boolean variables are used as action name in step action association
Tue, 11 Sep 2012 16:27:33 +0200 Laurent Bessard Fix generated code when using boolean variable as action name in step action association
Tue, 11 Sep 2012 01:05:24 +0200 Laurent Bessard Fix bug in SFC generated code. Action state was declared in the list of variables to debug, but wasn't stored using structure with flags. This error had side effects that makes Beremiz debug crash.
Tue, 04 Sep 2012 18:02:06 +0200 Laurent Bessard Adding support for P0 and P1 qualifiers and fixing code generated for SL qualifier
Sat, 01 Sep 2012 16:27:24 +0200 Edouard Tisserant Fixed VARIABLES.csv, was broken when using enumrated types
Wed, 22 Aug 2012 16:46:17 +0200 Laurent Bessard Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b
Fri, 17 Aug 2012 19:03:13 +0100 Mario de Sousa Moving function to correct location (formating only).
Sat, 04 Aug 2012 09:59:52 +0200 Manuele Conti Fix bug in code generation for FB IN_OUT structured parameter.
Mon, 30 Jul 2012 22:59:00 +0200 Manuele Conti Add check bison version in configure.ac file.
Thu, 16 Aug 2012 18:28:23 +0100 Mario de Sousa Remove remaining signed/unsigned comparison error messages when compiling.
Fri, 20 Jul 2012 23:18:32 +0200 Manuele Conti Remove warning about comparisons between int and unsigned int.
Wed, 01 Aug 2012 10:31:14 +0100 Mario de Sousa Support for data types of STEP.T and STEP.X in SFCs
Wed, 01 Aug 2012 09:05:25 +0100 Mario de Sousa Remove dead code.
Wed, 01 Aug 2012 08:33:58 +0100 Mario de Sousa Change code formatting (alignment)
Tue, 31 Jul 2012 12:39:04 +0100 Mario de Sousa Aloow use of SFC STEPs as variables.
Sat, 28 Jul 2012 09:07:55 +0100 Mario de Sousa Check lvalues in expressions passed to Function/FB IN parameters.
Fri, 20 Jul 2012 15:57:02 +0100 Mario de Sousa Fix comment (bug found by Manuele).
Fri, 20 Jul 2012 15:53:58 +0100 Mario de Sousa Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).
Fri, 20 Jul 2012 15:50:49 +0100 Mario de Sousa Constant folding for IL.
Thu, 19 Jul 2012 13:42:05 +0100 Mario de Sousa update comments.
Thu, 19 Jul 2012 11:05:41 +0100 Mario de Sousa fix bug: remove REAL from candidate datatypes when real constant has overflowed.
Wed, 18 Jul 2012 23:44:42 +0100 Mario de Sousa signed integer limits do not affect ANY_INT constant values.
Wed, 18 Jul 2012 23:43:57 +0100 Mario de Sousa comment out un-used code.
Wed, 18 Jul 2012 22:34:51 +0100 Mario de Sousa cleaning up code. Changing HUGE_VAL to INFINITY.
Wed, 18 Jul 2012 17:10:57 +0100 Mario de Sousa Cleaning up the code.
Wed, 18 Jul 2012 17:04:34 +0100 Mario de Sousa Clean up the code a little.
Wed, 18 Jul 2012 16:56:36 +0100 Mario de Sousa Fixing includes to define INTxx_MAX etc...
Sat, 14 Jul 2012 11:09:26 +0200 Manuele Conti Add remove_from_candidate_datatype_list method using constant_folding results.
Tue, 19 Jun 2012 18:55:43 +0100 Mario de Sousa fix typo.
Tue, 19 Jun 2012 11:23:30 +0100 Mario de Sousa fix parsing of non base 10 constant values.
Mon, 18 Jun 2012 16:11:00 +0100 Mario de Sousa determine const value of hex, octal and bin literals correctly.
Mon, 18 Jun 2012 15:52:09 +0100 Mario de Sousa fix array bounds check.
Mon, 18 Jun 2012 15:37:37 +0100 Mario de Sousa Fix stupid typos (in calculating array dimension)!
Sat, 16 Jun 2012 07:41:30 +0100 Mario de Sousa Add file missing from previous commit.
Fri, 15 Jun 2012 19:54:33 +0100 Mario de Sousa Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc
Thu, 14 Jun 2012 17:50:37 +0100 Mario de Sousa Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)
Thu, 14 Jun 2012 12:00:19 +0100 Mario de Sousa Clean up code (remove parsing of integers in stage 4).
Wed, 13 Jun 2012 19:51:26 +0200 Manuele Conti Fix literal MACRO gcc compliant.
Wed, 13 Jun 2012 19:43:12 +0100 Mario de Sousa Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Wed, 13 Jun 2012 14:21:30 +0100 Mario de Sousa extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)
Wed, 13 Jun 2012 14:07:41 +0100 Mario de Sousa Add support for -INT64_MIN values in literals.
Wed, 13 Jun 2012 13:50:46 +0100 Mario de Sousa Make compiler portable (do not assume int64_t is long long int)
Tue, 12 Jun 2012 22:46:51 +0200 Manuele Conti Add missing set overflow flag.
Tue, 12 Jun 2012 22:32:09 +0200 Manuele Conti Fix extract_integer_value.
Tue, 12 Jun 2012 17:15:24 +0100 Mario de Sousa Fix typo (thanks Manuele)
Tue, 12 Jun 2012 17:12:09 +0100 Mario de Sousa Remove potential access to NULL pointer.
Tue, 12 Jun 2012 17:07:40 +0100 Mario de Sousa fix error message.
Tue, 12 Jun 2012 17:00:00 +0100 Mario de Sousa Fix array index bound check to consider uint64 indexes/limits.
Tue, 12 Jun 2012 09:45:31 +0200 Manuele conti Fix structure initialize.
Mon, 11 Jun 2012 22:38:36 +0200 Manuele Conti Add check array out of bound.
Mon, 11 Jun 2012 18:48:58 +0100 Mario de Sousa Code for debugging const_value annotations in abstract syntax tree.
Mon, 11 Jun 2012 15:58:44 +0100 Mario de Sousa Fix 'overflow' detection for real64.
Sun, 10 Jun 2012 21:51:16 +0100 Mario de Sousa small bug fix.
Sun, 10 Jun 2012 21:28:21 +0200 Manuele Conti Fix compare expression in constat folding class.
Sun, 10 Jun 2012 21:47:15 +0100 Mario de Sousa Fix extract_real (thanks Manuele), and add check for overflow.
Sun, 10 Jun 2012 15:54:10 +0100 Mario de Sousa cleaning up the code...
Sun, 10 Jun 2012 15:38:24 +0100 Mario de Sousa Fix remaining overflow checks.
Sat, 09 Jun 2012 22:58:43 +0100 Mario de Sousa remove incorrect include file.
Sat, 09 Jun 2012 22:55:29 +0100 Mario de Sousa Correctly implement MOD operation and overflow checks (still missing uint * / MOD).
Sat, 09 Jun 2012 08:35:46 +0100 Mario de Sousa Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)
Fri, 08 Jun 2012 19:47:45 +0100 Mario de Sousa cosmetic changes.
Fri, 08 Jun 2012 19:44:32 +0100 Mario de Sousa Add data structure for storing overflow of constant values.
Wed, 06 Jun 2012 16:39:54 +0100 Mario de Sousa make the compiler platform independent (i.e. no longer assume sizeof(double)==8).
Wed, 06 Jun 2012 13:28:50 +0100 Mario de Sousa create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!
Wed, 06 Jun 2012 00:20:06 +0200 Manuele Conti Update constant folding: fixing minor bug.
Wed, 06 Jun 2012 12:39:32 +0100 Mario de Sousa Fix a few bugs of previous commit.
Tue, 05 Jun 2012 19:17:29 +0200 Manuele Conti Start constant_folding class.
Tue, 05 Jun 2012 11:10:12 +0200 Andreas Graeper little typo in last commited code
Mon, 04 Jun 2012 18:22:11 +0100 Mario de Sousa Change return data type of array_dimension_iterator_c.next()
Wed, 16 May 2012 00:15:32 +0200 Manuele Conti Fix SFC stage4 error.
Tue, 15 May 2012 23:03:25 +0100 mjsousa Renamed class, remove unused code, delete allocated objects.
Tue, 15 May 2012 18:59:32 +0200 Manuele Conti Start sematinc range check class.
Tue, 15 May 2012 15:50:43 +0100 mjsousa Located variables may have other data types besides ANY_BIT.
Sun, 13 May 2012 17:57:15 +0200 Manuele Conti Add verify_is_lvalue to control_variable in for_statement.
Thu, 10 May 2012 22:03:59 +0100 mjsousa Remove useless code, and replace with assertion.
Thu, 10 May 2012 19:20:18 +0100 mjsousa Fix bug: initialise un-initialised variable.
Thu, 10 May 2012 19:09:02 +0100 mjsousa Delete incorrect comment.
Thu, 10 May 2012 16:15:27 +0100 mjsousa Add some comments...
Thu, 10 May 2012 16:09:50 +0100 mjsousa Add high level comments.
Thu, 10 May 2012 15:40:19 +0100 mjsousa Fix comment.
Wed, 09 May 2012 23:13:04 +0100 mjsousa Fix the previous commit: check for errors in expressions used as subscripts.
Wed, 09 May 2012 20:05:57 +0200 Manuele Conti Fix data type check array subscript field.
Wed, 09 May 2012 23:04:03 +0100 mjsousa Merge changes.
Wed, 09 May 2012 23:00:10 +0100 mjsousa Fix parsing os TIME literals & rename the extract_integer() function.
Wed, 09 May 2012 22:59:10 +0100 mjsousa Fix generation of output for iec2iec.
Wed, 09 May 2012 22:04:38 +0100 mjsousa Do not compile deleted files...
Wed, 09 May 2012 22:04:07 +0100 mjsousa Do not compile deleted files...
Wed, 09 May 2012 22:03:05 +0100 mjsousa ReDelete files - used in old method of supporting standard functions.
Wed, 09 May 2012 21:46:21 +0100 mjsousa Remove file (used for old method of supporting standard functions).
Fri, 27 Apr 2012 13:40:36 +0100 Mario de Sousa Add TODO list!
Thu, 26 Apr 2012 11:12:19 +0100 Mario de Sousa Delete unecessary variable.
Thu, 03 May 2012 17:43:32 +0200 Conti Manuele Fix __dt_to_timespec primitive function.
Wed, 02 May 2012 14:46:48 +0200 Conti Manuele Fix __dt_to_string primitive function.
Tue, 24 Apr 2012 16:49:43 +0200 Conti Manuele Fix code generation about __INIT_GLOBAL_LOCATED.
Wed, 25 Apr 2012 16:56:25 +0100 Mario de Sousa Change constants into enums.
Wed, 25 Apr 2012 16:45:00 +0100 Mario de Sousa Add lvalue checking for IL function and FB invocations.
Wed, 25 Apr 2012 16:44:23 +0100 Mario de Sousa Fix comment.
Wed, 25 Apr 2012 16:21:14 +0100 Mario de Sousa Add clarifying comment.
Wed, 25 Apr 2012 15:56:45 +0100 Mario de Sousa Remove access to NULL pointer.
Wed, 25 Apr 2012 15:46:53 +0100 Mario de Sousa Make temporary fix to is_complex() method.
Tue, 24 Apr 2012 19:17:53 +0100 Mario de Sousa Fix comment. (thanks go to Manuele for pointing it put).
Mon, 23 Apr 2012 16:50:10 +0100 Mario de Sousa Stop lvalue checks after finding an error in the expression.
Mon, 23 Apr 2012 16:44:05 +0100 Mario de Sousa Remove erroneous check for S1 and R1, and add missing declrataion.
Sat, 21 Apr 2012 17:42:07 +0200 Manuele Conti Start implement lvalue check in IL instruction.
Sat, 21 Apr 2012 17:43:55 +0200 Manuele Conti Add lvalue check on fb invocation.
Thu, 19 Apr 2012 19:49:11 +0100 Mario de Sousa Literals are also part of expressions!
Wed, 18 Apr 2012 14:19:40 +0200 Conti Manuele Implement check_assignment_to_expression in lvalue_check_c class.
Wed, 18 Apr 2012 15:44:00 +0100 Mario de Sousa Remove potential access to NULL pointer.
Wed, 18 Apr 2012 13:29:08 +0100 Mario de Sousa Start having nicer stage 4 error messages.
Tue, 17 Apr 2012 17:41:58 +0200 Conti Manuele Improve usability command line under windows.
Tue, 17 Apr 2012 17:59:02 +0100 Mario de Sousa Ignore trailing EOLs when determining symbol location.
Tue, 17 Apr 2012 14:21:31 +0100 Mario de Sousa Add comment.
Tue, 17 Apr 2012 14:17:07 +0100 Conti Manuele Fix Segmentation fault in check_assignment_to_output lvalue method.
Tue, 17 Apr 2012 10:11:45 +0100 Mario de Sousa Remove deprecated status for ANYTIME operations.
Tue, 17 Apr 2012 09:58:06 +0100 Mario de Sousa Produce similar error messages in stage2 and stage3.
Mon, 16 Apr 2012 20:13:58 +0100 Mario de Sousa Fix bug when handling code with data type errors.
Mon, 16 Apr 2012 15:40:12 +0100 Mario de Sousa Fix printing of data type errors in while and repeat statements.
Mon, 16 Apr 2012 15:27:53 +0100 Mario de Sousa Add lvalue check for non formal function invocations.
Mon, 16 Apr 2012 15:17:24 +0100 Mario de Sousa Fixing check for assingment to FOR control variables.
Mon, 16 Apr 2012 15:10:31 +0100 Mario de Sousa Moving get_var_name_c into its own file.
Mon, 16 Apr 2012 14:41:07 +0100 Mario de Sousa Fixing check for assignment to output variables.
Sun, 15 Apr 2012 19:56:33 +0100 Mario de Sousa Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)
Sat, 14 Apr 2012 20:02:36 +0200 Manuele Conti Add lvalue check class.
Sat, 14 Apr 2012 18:05:50 +0100 manuele conti Determine the modifiers (CONST, REATAIN) used when declaring a variable.
Sat, 14 Apr 2012 16:53:35 +0100 Mario de Sousa Fix typo in comparison expression.
Sat, 14 Apr 2012 16:44:53 +0100 Mario de Sousa Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
Sat, 14 Apr 2012 15:19:17 +0100 Mario de Sousa Fix bug by expanding permissible data input of search_var_instance_decl_c
Fri, 13 Apr 2012 13:05:44 +0100 Mario de Sousa Edit formating and delete unused code.
Sat, 07 Apr 2012 16:14:17 +0100 Mario de Sousa Start data type checking of var declarations (including direct variables!)
Tue, 03 Apr 2012 12:42:16 +0100 Mario de Sousa Delete incorrect comments I had inserted previously (confusing EQ and NE functions)
Sat, 31 Mar 2012 21:46:37 +0100 Mario de Sousa merging with Lauren't changeset.
Sat, 31 Mar 2012 21:36:17 +0100 Mario de Sousa merge with Laurent's changeset (essentially ignore all changes).
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:36:08 +0100 Mario de Sousa merging with Laurent's changes.
Sat, 31 Mar 2012 15:34:33 +0100 Mario de Sousa merging with Laurent's change.
Sat, 31 Mar 2012 15:30:38 +0100 Mario de Sousa merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)
Thu, 29 Mar 2012 19:03:40 +0100 Mario de Sousa Add coment warning about incorrect implementation of the NE standard function.
Thu, 29 Mar 2012 18:57:53 +0100 Mario de Sousa merging with Laurent's patch.
Thu, 29 Mar 2012 15:39:38 +0100 Mario de Sousa Print correct error message when handling IL function calls.
Thu, 15 Mar 2012 13:23:09 +0000 Mario de Sousa Edit error message.
Thu, 15 Mar 2012 13:18:02 +0000 Mario de Sousa Add EXPT widen table.
Thu, 15 Mar 2012 12:50:44 +0000 Mario de Sousa Some stupid code cleanups.
Thu, 15 Mar 2012 12:31:57 +0000 Mario de Sousa Some code cleanups.
Wed, 14 Mar 2012 20:01:50 +0000 Mario de Sousa Clean up the code.
Wed, 14 Mar 2012 19:31:17 +0000 Mario de Sousa Fix error messages of il function calls - it now prints out location info of first parameter.
Wed, 14 Mar 2012 11:31:07 +0000 Mario de Sousa Clean code for printing errors in expressions.
Wed, 14 Mar 2012 11:14:41 +0000 Mario de Sousa Clean code for comparison operations & operators.
Wed, 14 Mar 2012 10:51:49 +0000 Mario de Sousa Cleaning up XORN, ANDN, and ORN operator code.
Wed, 14 Mar 2012 10:44:17 +0000 Mario de Sousa Cleaning up some code.
Wed, 14 Mar 2012 10:26:03 +0000 Mario de Sousa Add 'widen' tables for AND, OR and XOR operations.
Tue, 13 Mar 2012 19:04:07 +0000 Mario de Sousa Add MOD widening table, and some code clean-ups.
Tue, 13 Mar 2012 18:29:34 +0000 Mario de Sousa Re-organizing the code.
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.
Sun, 11 Mar 2012 18:24:39 +0000 Mario de Sousa Fix remaining 'widen' tables.
Sun, 11 Mar 2012 16:38:05 +0000 Mario de Sousa Fix some 'widen' table entries.
Sat, 10 Mar 2012 11:27:49 +0000 Mario de Sousa Add a TODO comment.
Sat, 10 Mar 2012 11:21:41 +0000 Mario de Sousa Clean up code, and add support for 'safe' version of literals.
Sat, 10 Mar 2012 11:21:04 +0000 Mario de Sousa Bringing comment up to date.
Fri, 09 Mar 2012 17:58:19 +0000 Mario de Sousa Semantic verification of NOT operator.
Fri, 09 Mar 2012 10:52:23 +0000 Mario de Sousa Fix bug in building structured variables.
Fri, 09 Mar 2012 10:51:56 +0000 Mario de Sousa Delete unecessary copy_candidate_datatype_list() function.
Thu, 08 Mar 2012 19:14:45 +0000 Mario de Sousa Delete no longer needed copy_candidate_datatype_list() function.
Thu, 08 Mar 2012 18:57:55 +0000 Mario de Sousa Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.
Thu, 08 Mar 2012 18:57:14 +0000 Mario de Sousa Do not allow duplicate values in candidate datatype list.
Sat, 03 Mar 2012 20:42:48 +0000 Mario de Sousa Handle JMP to labels preceding the JMP instruction itself.
Sat, 03 Mar 2012 20:27:20 +0000 Mario de Sousa Correctly handle JMP and RET IL operators in flow control analysis.
Sat, 03 Mar 2012 13:07:00 +0000 Mario de Sousa Fix filling candidate datatypes of JMP operations
Sat, 03 Mar 2012 08:51:28 +0000 Mario de Sousa Remove spurious printf()s, used during debugging session.
Fri, 02 Mar 2012 17:59:20 +0000 Mario de Sousa Add missing files.
Fri, 02 Mar 2012 12:53:41 +0000 Mario de Sousa Continue adding support for semantic verification of JMP and RET.
Thu, 01 Mar 2012 10:28:27 +0000 Conti Manuele iAdd warning for deprecated operations.