2013-12-18Fix bug/issue #33 (correctly access struct/array variables declared inside a FB -> r:=FB1.FB2.struct1.array1[3] )
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Dec 2013 18:41:05 +0000] rev 851
Fix bug/issue #33 (correctly access struct/array variables declared inside a FB -> r:=FB1.FB2.struct1.array1[3] )

2013-09-07Add assertion suggested by Manuele.
Mario de Sousa <msousa@fe.up.pt> [Sat, 07 Sep 2013 22:08:09 +0100] rev 850
Add assertion suggested by Manuele.

2013-08-23merge
mjsousa [Fri, 23 Aug 2013 15:13:11 +0100] rev 849
merge

2013-08-23Use get_datatype_info_c::is_type_valid() to determine datatype validity
mjsousa [Fri, 23 Aug 2013 12:33:12 +0100] rev 848
Use get_datatype_info_c::is_type_valid() to determine datatype validity
(some datatype bugs in source code were going unreported!)

2013-08-23Recursively check the datatype compatibility of values/expressions passed in function/FB invocations.
mjsousa [Fri, 23 Aug 2013 12:06:08 +0100] rev 847
Recursively check the datatype compatibility of values/expressions passed in function/FB invocations.

2013-08-23Change error message text so as to become more suitable to where they might occur in the source code.
mjs [Fri, 23 Aug 2013 09:34:04 +0100] rev 846
Change error message text so as to become more suitable to where they might occur in the source code.

2013-08-22Add code to check if an IN_OUT variable is being passed an IL list in formal IL FB/function invocations.
mjsousa [Thu, 22 Aug 2013 19:12:10 +0100] rev 845
Add code to check if an IN_OUT variable is being passed an IL list in formal IL FB/function invocations.

2013-08-22Generate correct error message when encountering IL lists embedded in IL formal invocations.
mjsousa [Thu, 22 Aug 2013 18:50:43 +0100] rev 844
Generate correct error message when encountering IL lists embedded in IL formal invocations.

2013-08-22Fill in the 'datatype' anotation in the identifiers of symbolic variables.
mjsousa [Thu, 22 Aug 2013 16:53:17 +0100] rev 843
Fill in the 'datatype' anotation in the identifiers of symbolic variables.
(even though currently it is not being used).

2013-08-22Fix C code generation of FB invocation in IL.
mjsousa [Thu, 22 Aug 2013 16:51:22 +0100] rev 842
Fix C code generation of FB invocation in IL.

2013-08-22Fix detection of datatype errors on IL conditional flow control operators (JMPC, RETC, ...)
mjsousa [Thu, 22 Aug 2013 07:39:33 +0100] rev 841
Fix detection of datatype errors on IL conditional flow control operators (JMPC, RETC, ...)

2013-08-21Allow array_dimension_iterator to accept an array_spec_init_c.
mjsousa [Wed, 21 Aug 2013 21:56:41 +0100] rev 840
Allow array_dimension_iterator to accept an array_spec_init_c.
Fixes bug activated by generating C code from IL code containing array variables.

2013-08-21Small code cleanup (move common code to a function)
mjsousa [Wed, 21 Aug 2013 21:34:43 +0100] rev 839
Small code cleanup (move common code to a function)

2013-08-21Fix datatype analysis of conditional IL operators (CALC, CALCN, RETC, RETCN, JMPC, JMPCN, S and R)
mjsousa [Wed, 21 Aug 2013 21:26:55 +0100] rev 838
Fix datatype analysis of conditional IL operators (CALC, CALCN, RETC, RETCN, JMPC, JMPCN, S and R)

2013-08-21Fix datatype analyses of S and R IL operators.
mjsousa [Wed, 21 Aug 2013 21:14:50 +0100] rev 837
Fix datatype analyses of S and R IL operators.

2013-08-21make sure all IL operands are narrowed (datatype checking algorithm)
mjsousa [Wed, 21 Aug 2013 16:08:50 +0100] rev 836
make sure all IL operands are narrowed (datatype checking algorithm)

2013-08-21cosmetic change only - fix code alignment.
mjsousa [Wed, 21 Aug 2013 16:06:43 +0100] rev 835
cosmetic change only - fix code alignment.

2013-08-20Add support for FB call semantics of 'S' and 'R' IL operators!
mjsousa [Tue, 20 Aug 2013 11:15:40 +0100] rev 834
Add support for FB call semantics of 'S' and 'R' IL operators!
Remove segfaults when analysing buggy IL code (IL operators with no operands).

2013-08-20Stop lvalue check from segfaulting when coming across buggy IL code (IL operator with no operand!)
mjsousa [Tue, 20 Aug 2013 11:11:09 +0100] rev 833
Stop lvalue check from segfaulting when coming across buggy IL code (IL operator with no operand!)

2013-08-20Allow get_datatype_info_c to be called with NULL parameters.
mjsousa [Tue, 20 Aug 2013 11:08:15 +0100] rev 832
Allow get_datatype_info_c to be called with NULL parameters.

2013-08-15Do lvalue check of function output parameters (since they may contain expressions inside array subscripts!)
mjsousa [Thu, 15 Aug 2013 11:24:54 +0100] rev 831
Do lvalue check of function output parameters (since they may contain expressions inside array subscripts!)

2013-08-10Handle buggy source code gracefully (do not bork when non-array variable is used as an array. e.g: int_var[42]:= 33)
mjsousa [Sat, 10 Aug 2013 09:10:06 +0100] rev 830
Handle buggy source code gracefully (do not bork when non-array variable is used as an array. e.g: int_var[42]:= 33)

2013-08-07Delete debugging messages left in by mistake.
mjsousa [Wed, 07 Aug 2013 10:34:57 +0100] rev 829
Delete debugging messages left in by mistake.

2013-08-07Fix segfault when doing lvalue check of buggy IEC 61131-3 source code
mjsousa [Wed, 07 Aug 2013 10:24:32 +0100] rev 828
Fix segfault when doing lvalue check of buggy IEC 61131-3 source code

2013-08-07Fix datatype analysis of structured variables that contain arrays in their fields (e.g. var.x1[var2 + 42].y1).
mjsousa [Wed, 07 Aug 2013 10:18:29 +0100] rev 827
Fix datatype analysis of structured variables that contain arrays in their fields (e.g. var.x1[var2 + 42].y1).

2013-08-05Add capability of returning array subscript list while decomposing a struct/array variable.
mjsousa [Mon, 05 Aug 2013 15:57:00 +0100] rev 826
Add capability of returning array subscript list while decomposing a struct/array variable.

2013-08-05Code cleanup: Remove unused option = Delete dead code.
mjsousa [Mon, 05 Aug 2013 08:26:30 +0100] rev 825
Code cleanup: Remove unused option = Delete dead code.

2013-08-20merge
mjsousa [Tue, 20 Aug 2013 17:35:11 +0100] rev 824
merge

2013-07-19Declare that YYLSTYPE is not the default trivial datatype used by bison. (was causing compile errors in bison ver >= 2.7)
Mario de Sousa <msousa@fe.up.pt> [Fri, 19 Jul 2013 13:31:35 +0100] rev 823
Declare that YYLSTYPE is not the default trivial datatype used by bison. (was causing compile errors in bison ver >= 2.7)

2014-02-19Fix build on Ubuntu 13.10
Edouard Tisserant [Wed, 19 Feb 2014 22:25:10 +0100] rev 822
Fix build on Ubuntu 13.10

2013-10-11Fixed warning when compiling generated program containing external variable assignments
Laurent Bessard [Fri, 11 Oct 2013 12:38:36 +0200] rev 821
Fixed warning when compiling generated program containing external variable assignments

2013-06-07Enlarged flex buffer size in order to accept larger C pragmas
Edouard Tisserant [Fri, 07 Jun 2013 11:27:29 +0900] rev 820
Enlarged flex buffer size in order to accept larger C pragmas

2013-05-18Missing braces arround extern declarartions in __SET_EXTERNAL define was making problem with GCC in switch case statements
edouard [Sat, 18 May 2013 16:35:41 +0900] rev 819
Missing braces arround extern declarartions in __SET_EXTERNAL define was making problem with GCC in switch case statements

2013-05-16Moved __INIT_* defines within type definition headers files
Edouard Tisserant [Thu, 16 May 2013 14:37:33 +0900] rev 818
Moved __INIT_* defines within type definition headers files

2013-05-02Fixed warning in accessor __SET_EXTERNAL
Laurent Bessard [Thu, 02 May 2013 10:42:17 +0200] rev 817
Fixed warning in accessor __SET_EXTERNAL

2013-04-18Fixed bug when defining task with single_data_source instead of interval_data_source
Laurent Bessard [Thu, 18 Apr 2013 22:27:01 +0200] rev 816
Fixed bug when defining task with single_data_source instead of interval_data_source

2013-04-05Merged Mario's changes
Edouard Tisserant [Fri, 05 Apr 2013 09:37:52 +0900] rev 815
Merged Mario's changes

2013-04-04Fix bug related to FB invocation of FB instances declared as VAR_EXTERN.
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Apr 2013 18:55:20 +0100] rev 814
Fix bug related to FB invocation of FB instances declared as VAR_EXTERN.

2013-04-04Merged Mario's changes
Edouard Tisserant [Thu, 04 Apr 2013 09:45:11 +0900] rev 813
Merged Mario's changes

2013-04-03Partial fix to VAR_EXTERN vs VAR_GLOBAL check. Now considers globals declared in resources too. TODO: recursively check FB declared in the program.
Mario de Sousa <msousa@fe.up.pt> [Wed, 03 Apr 2013 19:49:52 +0100] rev 812
Partial fix to VAR_EXTERN vs VAR_GLOBAL check. Now considers globals declared in resources too. TODO: recursively check FB declared in the program.

2013-02-22Allow variables declared inside resources to be referenced by res_name.var_name
Mario de Sousa <msousa@fe.up.pt> [Fri, 22 Feb 2013 21:09:59 +0000] rev 811
Allow variables declared inside resources to be referenced by res_name.var_name

2013-02-13Add 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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Feb 2013 18:56:25 +0000] rev 810
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.

2013-02-05Print filename when debugging abstract symbol table.
Mario de Sousa <msousa@fe.up.pt> [Tue, 05 Feb 2013 17:40:23 +0000] rev 809
Print filename when debugging abstract symbol table.

2013-01-23Consider fb_name_decl_c a non base data type class!
Mario de Sousa <msousa@fe.up.pt> [Wed, 23 Jan 2013 14:53:14 +0000] rev 808
Consider fb_name_decl_c a non base data type class!

2013-01-23Fill symbol->datatype anotation for FB declarations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 23 Jan 2013 14:30:03 +0000] rev 807
Fill symbol->datatype anotation for FB declarations.

2013-01-23Fill in the symbol.datatype annotation in symbol classes used in derived data type declarations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 23 Jan 2013 13:46:11 +0000] rev 806
Fill in the symbol.datatype annotation in symbol classes used in derived data type declarations.

2013-01-22Use simple_spec_init_c inside en_param_declaration_c (will reduce need to handle it as a special case in the future).
Mario de Sousa <msousa@fe.up.pt> [Tue, 22 Jan 2013 16:07:49 +0000] rev 805
Use simple_spec_init_c inside en_param_declaration_c (will reduce need to handle it as a special case in the future).

2013-03-11Merged
Laurent Bessard [Mon, 11 Mar 2013 12:54:25 +0100] rev 804
Merged

2013-03-11Fixed bug in string format when translating TIME and DATETIME to STRING
Laurent Bessard [Mon, 11 Mar 2013 12:51:01 +0100] rev 803
Fixed bug in string format when translating TIME and DATETIME to STRING

2013-03-11Fixed bug with SFC transition datatype checking
Laurent Bessard [Mon, 11 Mar 2013 12:49:33 +0100] rev 802
Fixed bug with SFC transition datatype checking

2013-03-08Stripped generated files again. http://stackoverflow.com/questions/3290908/which-files-generated-by-autotools-should-i-keep-in-version-control-repository
Edouard Tisserant [Fri, 08 Mar 2013 11:38:26 +0900] rev 801
Stripped generated files again. http://stackoverflow.com/questions/3290908/which-files-generated-by-autotools-should-i-keep-in-version-control-repository

2013-03-08Fixed bug in case statement with enumerated type variable as case expression
Laurent Bessard [Fri, 08 Mar 2013 02:00:36 +0100] rev 800
Fixed bug in case statement with enumerated type variable as case expression

2013-03-08Merged
Laurent Bessard [Fri, 08 Mar 2013 01:01:15 +0100] rev 799
Merged

2013-01-13Set the symbol->datatpe of function_declaration_c
Mario de Sousa <msousa@fe.up.pt> [Sun, 13 Jan 2013 16:06:00 +0000] rev 798
Set the symbol->datatpe of function_declaration_c

2013-01-13Fill in the symbol->datatype of elementary datatypes.
Mario de Sousa <msousa@fe.up.pt> [Sun, 13 Jan 2013 14:25:38 +0000] rev 797
Fill in the symbol->datatype of elementary datatypes.

2013-01-10merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 10 Jan 2013 10:49:50 +0000] rev 796
merge

2013-01-03merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 18:27:06 +0000] rev 795
merge

2013-01-03Fix divide by 0 bug.
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 18:26:32 +0000] rev 794
Fix divide by 0 bug.

2013-01-03grand merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 18:23:07 +0000] rev 793
grand merge

2013-01-10disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),
Mario de Sousa <msousa@fe.up.pt> [Thu, 10 Jan 2013 10:47:06 +0000] rev 792
disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),

2013-01-10merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 10 Jan 2013 10:38:41 +0000] rev 791
merge

2013-01-03Fix constant propagation for repeat_statement_c class.
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 23:39:25 +0100] rev 790
Fix constant propagation for repeat_statement_c class.

2013-01-03Remove unused variable.
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 23:16:19 +0100] rev 789
Remove unused variable.

2013-01-03Implement Mario's suggestions:
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 22:54:55 +0100] rev 788
Implement Mario's suggestions:
- Clean up code replace merge algorithm with a function.
- Fix for_statement setting control variable to not a constant.
- Fix for_statement checking BY expression to get correct value for optimization
branch.

Thanks Mario.