Sun, 23 Nov 2014 09:41:16 +0000Fix main state machine in flex (states were being pushed without being poped from the stack)
mjsousa [Sun, 23 Nov 2014 09:41:16 +0000] rev 948
Fix main state machine in flex (states were being pushed without being poped from the stack)

Sun, 16 Nov 2014 15:37:12 +0000merge
mjsousa [Sun, 16 Nov 2014 15:37:12 +0000] rev 947
merge

Sun, 16 Nov 2014 14:46:52 +0000Make the relaxed datatype model a runtime option (off by default)
mjsousa [Sun, 16 Nov 2014 14:46:52 +0000] rev 946
Make the relaxed datatype model a runtime option (off by default)

Sun, 16 Nov 2014 12:54:10 +0000Add support for relaxed datatype model for array datatypes.
mjsousa [Sun, 16 Nov 2014 12:54:10 +0000] rev 945
Add support for relaxed datatype model for array datatypes.

Sun, 09 Nov 2014 22:02:34 +0000fix bug introduced a few commits ago: do not print the first char ('%') of a direct_variable_c (e.g. skip % in %IW4.2)
mjsousa [Sun, 09 Nov 2014 22:02:34 +0000] rev 944
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 +0100fix code generation when dereferencing pointers (ref_to) to arrays (ref_to_array^[5])
mjsousa [Sat, 25 Oct 2014 13:20:10 +0100] rev 943
fix code generation when dereferencing pointers (ref_to) to arrays (ref_to_array^[5])

Sat, 25 Oct 2014 13:17:12 +0100Fix bug: set the scope annotation in deref_operators used inside structs
mjsousa [Sat, 25 Oct 2014 13:17:12 +0100] rev 942
Fix bug: set the scope annotation in deref_operators used inside structs

Sat, 25 Oct 2014 11:28:48 +0100Editing of error message to make it more clear.
mjsousa [Sat, 25 Oct 2014 11:28:48 +0100] rev 941
Editing of error message to make it more clear.

Sat, 25 Oct 2014 11:21:40 +0100Filling 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)
mjsousa [Sat, 25 Oct 2014 11:21:40 +0100] rev 940
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 +0100fill_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)
mjsousa [Sat, 25 Oct 2014 11:15:55 +0100] rev 939
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 +0100Do the full fill_candidate/narrow_datatype algorithm for all fields of a structured variable in the fill_candidate_datatypes_c
mjsousa [Sun, 19 Oct 2014 21:30:58 +0100] rev 938
Do the full fill_candidate/narrow_datatype algorithm for all fields of a structured variable in the fill_candidate_datatypes_c
Allows us to remove temporary code from the search_varfb_decl_c

Sun, 19 Oct 2014 11:53:36 +0100Fix bug with multple dereferencing (bool_var := bool_ptr_ptr^^;)
mjsousa [Sun, 19 Oct 2014 11:53:36 +0100] rev 937
Fix bug with multple dereferencing (bool_var := bool_ptr_ptr^^;)

Sun, 19 Oct 2014 08:36:49 +0100Fix bug: Add support for de-referencing pointers to struct (struct_ptr^.elem1) when used inside FB.
mjsousa [Sun, 19 Oct 2014 08:36:49 +0100] rev 936
Fix bug: Add support for de-referencing pointers to struct (struct_ptr^.elem1) when used inside FB.
Note that multiple de-referencing of structs (struct_ptr_ptr^^.elem) is not supported inside FB code (this would need BIG changes to the compiler!)

Sun, 28 Sep 2014 17:48:42 +0100Fix bug: add support for dereferencing of REF_TO to REF_TO xxx (e.g.: bool_var := ref_to_ref_to_bool^^;)
mjsousa [Sun, 28 Sep 2014 17:48:42 +0100] rev 935
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 +0100Turn support of derefencing operator '^' an option (default is not supported).
mjsousa [Sun, 28 Sep 2014 17:39:28 +0100] rev 934
Turn support of derefencing operator '^' an option (default is not supported).

Sun, 28 Sep 2014 16:35:44 +0100Add support for de-referencing of REF_TO datatypes (Note: dereferencing of arrays and structs not yet supported!)
mjsousa [Sun, 28 Sep 2014 16:35:44 +0100] rev 933
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 +0100Add support for REF_TO inside arrays and structs (a non-standard feature!)
mjsousa [Sat, 27 Sep 2014 20:09:19 +0100] rev 932
Add support for REF_TO inside arrays and structs (a non-standard feature!)

Mon, 11 Aug 2014 08:07:12 +0100Code cleanup: with the introduction of anotation_map[], generate_c_vardecl_c can now derive directly from generate_c_base_c
mjsousa [Mon, 11 Aug 2014 08:07:12 +0100] rev 931
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 +0100Fix typos in comments
mjsousa [Mon, 11 Aug 2014 07:56:00 +0100] rev 930
Fix typos in comments

Mon, 11 Aug 2014 07:55:11 +0100Add comments, and make get_datatype_id_str_c equivalent to get_datatype_id_c
mjsousa [Mon, 11 Aug 2014 07:55:11 +0100] rev 929
Add comments, and make get_datatype_id_str_c equivalent to get_datatype_id_c

Mon, 11 Aug 2014 07:22:37 +0100Fix 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).
mjsousa [Mon, 11 Aug 2014 07:22:37 +0100] rev 928
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 +0100fix indentations.
mjsousa [Sun, 10 Aug 2014 08:51:33 +0100] rev 927
fix indentations.

Sun, 10 Aug 2014 08:27:28 +0100in lvalue, add check for REF() fucntion invocation, and the NULL literal
mjsousa [Sun, 10 Aug 2014 08:27:28 +0100] rev 926
in lvalue, add check for REF() fucntion invocation, and the NULL literal

Sat, 09 Aug 2014 11:22:57 +0100Initialise REF_TO variables to NULL.
mjsousa [Sat, 09 Aug 2014 11:22:57 +0100] rev 925
Initialise REF_TO variables to NULL.

Sat, 09 Aug 2014 10:12:38 +0100Make support for REF_TO ANY a command line option.
mjsousa [Sat, 09 Aug 2014 10:12:38 +0100] rev 924
Make support for REF_TO ANY a command line option.

Sat, 09 Aug 2014 09:20:03 +0100Add support for non standard REF_TO ANY (equivalent to void *)
mjsousa [Sat, 09 Aug 2014 09:20:03 +0100] rev 923
Add support for non standard REF_TO ANY (equivalent to void *)

Fri, 08 Aug 2014 10:45:54 +0100Update some comments. (No changes to code)
mjsousa [Fri, 08 Aug 2014 10:45:54 +0100] rev 922
Update some comments. (No changes to code)

Fri, 08 Aug 2014 10:26:52 +0100Introduce absyntax class for keyword ANY, and use REF_TO(ANY) as datatype of NULL literal.
mjsousa [Fri, 08 Aug 2014 10:26:52 +0100] rev 921
Introduce absyntax class for keyword ANY, and use REF_TO(ANY) as datatype of NULL literal.

Wed, 06 Aug 2014 10:43:15 +0100Fix 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).
mjsousa [Wed, 06 Aug 2014 10:43:15 +0100] rev 920
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 +0100Add support for the 'NULL' keyword, defined in version 3 of IEC 61131-3.
mjsousa [Thu, 31 Jul 2014 17:49:44 +0100] rev 919
Add support for the 'NULL' keyword, defined in version 3 of IEC 61131-3.

Tue, 29 Jul 2014 13:39:40 +0100for option '-Op' (generate <pouname>.h/c): add '#include <pouname>.h' to the .c file, and '#ifdef <pouname>_H' to the .h file
mjsousa [Tue, 29 Jul 2014 13:39:40 +0100] rev 918
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 +0100Ass include of iec_std_lib.h in POUS.h file.
mjsousa [Fri, 25 Jul 2014 14:58:33 +0100] rev 917
Ass include of iec_std_lib.h in POUS.h file.

Mon, 21 Jul 2014 10:39:46 +0100Add support for implicitly declared REF_TO datatypes.
mjsousa [Mon, 21 Jul 2014 10:39:46 +0100] rev 916
Add support for implicitly declared REF_TO datatypes.

Sun, 20 Jul 2014 21:57:10 +0100With -Op option --> Place implicitly defined datatypes in the .h file corresponding to the POU where they are used.
mjsousa [Sun, 20 Jul 2014 21:57:10 +0100] rev 915
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 +0100Add name of POU as prefix to names of implicitly defined datatypes
mjsousa [Sun, 20 Jul 2014 21:48:58 +0100] rev 914
Add name of POU as prefix to names of implicitly defined datatypes

Sun, 20 Jul 2014 16:45:45 +0100Implicitly defined array datatypes use new naming method (greatly simplifies stage 4 code).
mjsousa [Sun, 20 Jul 2014 16:45:45 +0100] rev 913
Implicitly defined array datatypes use new naming method (greatly simplifies stage 4 code).

Sun, 20 Jul 2014 03:14:57 +0100array_specification_c may be used as a datatype! Add it to spec_init_separator_c
mjsousa [Sun, 20 Jul 2014 03:14:57 +0100] rev 912
array_specification_c may be used as a datatype! Add it to spec_init_separator_c

Sun, 13 Jul 2014 17:25:20 +0100Change REF() operator to return the correct REF_TO datatype datatype.
mjsousa [Sun, 13 Jul 2014 17:25:20 +0100] rev 911
Change REF() operator to return the correct REF_TO datatype datatype.

Sun, 13 Jul 2014 13:47:16 +0100Narrow 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).
mjsousa [Sun, 13 Jul 2014 13:47:16 +0100] rev 910
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 +0100Add support for REF_TO derived datatypes (along with datatype verification)
mjsousa [Sun, 13 Jul 2014 12:26:58 +0100] rev 909
Add support for REF_TO derived datatypes (along with datatype verification)

Sun, 06 Jul 2014 23:31:08 +0100Add option to place each POU in a distinct .c and .h file pair.
mjsousa [Sun, 06 Jul 2014 23:31:08 +0100] rev 908
Add option to place each POU in a distinct .c and .h file pair.

Sun, 06 Jul 2014 16:54:53 +0100code re-organisation. Preparing for the changes to come in the next commit (one C file for each POU)
mjsousa [Sun, 06 Jul 2014 16:54:53 +0100] rev 907
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 +0100Remove un-used parameter from class constructor.
mjsousa [Sun, 06 Jul 2014 13:40:54 +0100] rev 906
Remove un-used parameter from class constructor.

Sun, 06 Jul 2014 11:39:20 +0100Move standard FBs to a pre-converted C file, insted of converting them every time along with the IEC source.
mjsousa [Sun, 06 Jul 2014 11:39:20 +0100] rev 905
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 +0100Move library files compiled to C to their own subdiectory.
mjsousa [Sun, 06 Jul 2014 11:07:38 +0100] rev 904
Move library files compiled to C to their own subdiectory.

Sun, 06 Jul 2014 10:16:48 +0100Fix stupid mistake in previous commit (use 'long double' instead of 'ld' in istandard library macro)
mjsousa [Sun, 06 Jul 2014 10:16:48 +0100] rev 903
Fix stupid mistake in previous commit (use 'long double' instead of 'ld' in istandard library macro)

Sat, 05 Jul 2014 14:10:28 +0100merge
mjsousa [Sat, 05 Jul 2014 14:10:28 +0100] rev 902
merge

Sat, 05 Jul 2014 13:57:39 +0100Update build/compile instructions to reflect the fact that autoconf needs to be executed.
mjsousa [Sat, 05 Jul 2014 13:57:39 +0100] rev 901
Update build/compile instructions to reflect the fact that autoconf needs to be executed.

Sat, 05 Jul 2014 13:39:30 +0100Fix time conversion function in std library, and change into macro (so it may be used in variable initialisations)
mjsousa [Sat, 05 Jul 2014 13:39:30 +0100] rev 900
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 +0100Add support for the stepname.T syntax.
mjsousa [Sun, 01 Jun 2014 08:59:57 +0100] rev 899
Add support for the stepname.T syntax.

Sun, 01 Jun 2014 08:59:02 +0100Change the name of the variable with the step state to stepname.X (in the generated VARIABLES.csv file)
mjsousa [Sun, 01 Jun 2014 08:59:02 +0100] rev 898
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 +0100Add support for Stepname.X syntax.
mjsousa [Sat, 31 May 2014 16:22:57 +0100] rev 897
Add support for Stepname.X syntax.

Sat, 31 May 2014 12:49:43 +0100Remove dead code previously left in by mistake.
mjsousa [Sat, 31 May 2014 12:49:43 +0100] rev 896
Remove dead code previously left in by mistake.

Thu, 29 May 2014 12:06:22 +0100Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.
mjsousa [Thu, 29 May 2014 12:06:22 +0100] rev 895
Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.

Wed, 28 May 2014 11:32:09 +0200merge
Edouard Tisserant [Wed, 28 May 2014 11:32:09 +0200] rev 894
merge

Wed, 28 May 2014 10:39:31 +0200closed temporary fix branch
Edouard Tisserant [Wed, 28 May 2014 10:39:31 +0200] rev 893
closed temporary fix branch

Tue, 20 May 2014 08:25:59 +0100Check VAR_EXTERN variables declared in FBs instantiated in a Program (and recursively too - FBs in FBs).
mjsousa [Tue, 20 May 2014 08:25:59 +0100] rev 892
Check VAR_EXTERN variables declared in FBs instantiated in a Program (and recursively too - FBs in FBs).

Tue, 20 May 2014 08:24:25 +0100Fix typo in as yet dormant code (related to REF_TO keyword, that is not yet active)
mjsousa [Tue, 20 May 2014 08:24:25 +0100] rev 891
Fix typo in as yet dormant code (related to REF_TO keyword, that is not yet active)

Thu, 08 May 2014 12:21:48 +0100Fix compilation error on platforms where real64_t is mapped onto 'long double'
mjsousa [Thu, 08 May 2014 12:21:48 +0100] rev 890
Fix compilation error on platforms where real64_t is mapped onto 'long double'

Tue, 08 Apr 2014 14:35:31 +0100Correctly 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)
mjsousa [Tue, 08 Apr 2014 14:35:31 +0100] rev 889
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 +0100Remove call to type_is_complex() in ST code generation.
mjsousa [Fri, 04 Apr 2014 16:21:55 +0100] rev 888
Remove call to type_is_complex() in ST code generation.

Mon, 31 Mar 2014 20:05:49 +0100A little code cleanup (reduce number of possible variable generation states)
mjsousa [Mon, 31 Mar 2014 20:05:49 +0100] rev 887
A little code cleanup (reduce number of possible variable generation states)

Sun, 30 Mar 2014 09:41:06 +0100Finish: Change order of SET_xxx() macros. (this will allow me to simplify the print_setter() methods later on)
mjsousa [Sun, 30 Mar 2014 09:41:06 +0100] rev 886
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 +0000Change order of SET_xxx() macros. (this will allow me to simplify the print_setter() methods later on)
mjsousa [Sat, 29 Mar 2014 22:46:09 +0000] rev 885
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 +0100More static declarations in POUS.c in order to avoid conflicting symbol definitions with new POUS.c inclusion scheme
Edouard Tisserant [Thu, 27 Mar 2014 09:52:13 +0100] rev 884
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 +0100Fix 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
Edouard Tisserant [Wed, 26 Mar 2014 13:20:45 +0100] rev 883
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 +0100Disable stage4 options with on windows since getsuboptr isn't supported in mingw
Edouard Tisserant [Thu, 20 Mar 2014 17:27:29 +0100] rev 882
Disable stage4 options with on windows since getsuboptr isn't supported in mingw

Thu, 20 Mar 2014 10:29:39 +0100merge
Edouard Tisserant [Thu, 20 Mar 2014 10:29:39 +0100] rev 881
merge

Wed, 19 Mar 2014 12:13:43 +0000Track of line number correctly when input file has code with very long lines.
mjsousa [Wed, 19 Mar 2014 12:13:43 +0000] rev 880
Track of line number correctly when input file has code with very long lines.

Wed, 19 Mar 2014 12:05:18 +0000Fix memory leak in lexical parser.
mjsousa [Wed, 19 Mar 2014 12:05:18 +0000] rev 879
Fix memory leak in lexical parser.

Sun, 16 Mar 2014 13:02:28 +0000Make generation of #line directives optional.
mjsousa [Sun, 16 Mar 2014 13:02:28 +0000] rev 878
Make generation of #line directives optional.

Sun, 16 Mar 2014 10:16:25 +0000Insert #line directives in generated C code.
mjsousa [Sun, 16 Mar 2014 10:16:25 +0000] rev 877
Insert #line directives in generated C code.

Sat, 15 Mar 2014 20:10:20 +0000Add 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.
mjsousa [Sat, 15 Mar 2014 20:10:20 +0000] rev 876
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 +0000Update files to be ignored by mercurial: ignore files generated by autoconf, directory test/, and *.orig
mjsousa [Sat, 15 Mar 2014 08:31:35 +0000] rev 875
Update files to be ignored by mercurial: ignore files generated by autoconf, directory test/, and *.orig

Sun, 02 Mar 2014 17:04:17 +0000Fix bug: do not print IL 'label' when generating inline functions (JMPxx label was generating erroneous C code)
mjsousa [Sun, 02 Mar 2014 17:04:17 +0000] rev 874
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 +0000Add limited support for the REF() operator (defined in v3 of IEC 61131-3)
mjsousa [Sun, 02 Mar 2014 16:42:56 +0000] rev 873
Add limited support for the REF() operator (defined in v3 of IEC 61131-3)

Mon, 24 Feb 2014 22:00:55 +0000Remove assertion being failed by IL labels (IL labels do not yet have specific datatypes).
mjsousa [Mon, 24 Feb 2014 22:00:55 +0000] rev 872
Remove assertion being failed by IL labels (IL labels do not yet have specific datatypes).

Fri, 28 Feb 2014 11:27:53 +0100Added stage1_2/Makefile.am weird rule to keep compatible with previous version of automake
Edouard Tisserant [Fri, 28 Feb 2014 11:27:53 +0100] rev 871
Added stage1_2/Makefile.am weird rule to keep compatible with previous version of automake

Wed, 19 Feb 2014 22:27:11 +0100Merge
Edouard Tisserant [Wed, 19 Feb 2014 22:27:11 +0100] rev 870
Merge

Sun, 16 Feb 2014 14:29:31 +0000fix definition of pragma.
mjsousa [Sun, 16 Feb 2014 14:29:31 +0000] rev 869
fix definition of pragma.

Sun, 16 Feb 2014 14:27:06 +0000Fix the state machine that became broken 2 commits ago (when adding support for nested comments)
mjsousa [Sun, 16 Feb 2014 14:27:06 +0000] rev 868
Fix the state machine that became broken 2 commits ago (when adding support for nested comments)

Sun, 16 Feb 2014 00:37:40 +0000Add option to control support for nested comments (default is off, as defined in IEC 61131-3 v2)
mjsousa [Sun, 16 Feb 2014 00:37:40 +0000] rev 867
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 +0000Add support for nested comments
mjsousa [Sat, 15 Feb 2014 23:58:16 +0000] rev 866
Add support for nested comments

Wed, 12 Feb 2014 17:02:08 +0000Fix bug: when checking compatibility between GLOBAL and EXTERNAL variables, must only enforce GLOBAL CONSTANT => EXTERNAL CONSTANT.
mjsousa [Wed, 12 Feb 2014 17:02:08 +0000] rev 865
Fix bug: when checking compatibility between GLOBAL and EXTERNAL variables, must only enforce GLOBAL CONSTANT => EXTERNAL CONSTANT.
Reverse CONSTANT implication is not enforced, and neither is RETAIN compatibility.

Tue, 11 Feb 2014 10:55:27 +0000merge
mjsousa [Tue, 11 Feb 2014 10:55:27 +0000] rev 864
merge

Mon, 06 Jan 2014 12:25:21 +0000Fix bug: correctly generate code when accessing external variables declared inside FBs as a structured variable (realvar := fb1.fb2.extvar1.realvar)
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Jan 2014 12:25:21 +0000] rev 863
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 +0000Fix 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.
mjsousa [Sun, 09 Feb 2014 08:05:44 +0000] rev 862
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 +0000Code 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
mjsousa [Sun, 09 Feb 2014 07:23:30 +0000] rev 861
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 +0000Code cleanup (part 2): generate_typedecl_c now only prints to POUS.h !
mjsousa [Sat, 08 Feb 2014 23:10:12 +0000] rev 860
Code cleanup (part 2): generate_typedecl_c now only prints to POUS.h !

Sat, 08 Feb 2014 20:38:19 +0000Code cleanup (part 1): subrange check functions are now declared in POUS.h (as static inline functions or #define)
mjsousa [Sat, 08 Feb 2014 20:38:19 +0000] rev 859
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 +0000Fix get_datatype_info_c::is_subrange(), which did not work when using base type! (we now use get_equivtype() instead of get_base_type() )
mjsousa [Sat, 08 Feb 2014 18:33:32 +0000] rev 858
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 +0000fix a couple of typos.
mjsousa [Sat, 08 Feb 2014 10:48:20 +0000] rev 857
fix a couple of typos.

Sat, 08 Feb 2014 10:32:26 +0000Fix bug - correctly declare struct members whose type is a directly defined array (e.g.: STRUCT x: ARRAY of XXX; END_STRUCT)
mjsousa [Sat, 08 Feb 2014 10:32:26 +0000] rev 856
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 +0000Start using the called_fb_declaration annotation when generating C code from FB calls in ST.
mjsousa [Wed, 05 Feb 2014 20:04:50 +0000] rev 855
Start using the called_fb_declaration annotation when generating C code from FB calls in ST.

Sun, 22 Dec 2013 09:50:02 +0000Code cleanup: move datatype analysis to get_datatype_info_c
Mario de Sousa <msousa@fe.up.pt> [Sun, 22 Dec 2013 09:50:02 +0000] rev 854
Code cleanup: move datatype analysis to get_datatype_info_c

Fri, 20 Dec 2013 11:44:38 +0000Fix bug-fix of previous commit.
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Dec 2013 11:44:38 +0000] rev 853
Fix bug-fix of previous commit.

Thu, 19 Dec 2013 19:38:29 +0000Fix bug: allow use, as lvalues, structures/arrays inside FBs (e.g. fb1.struct1.r := 33.3).
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Dec 2013 19:38:29 +0000] rev 852
Fix bug: allow use, as lvalues, structures/arrays inside FBs (e.g. fb1.struct1.r := 33.3).

Wed, 18 Dec 2013 18:41:05 +0000Fix 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] )

Sat, 07 Sep 2013 22:08:09 +0100Add 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.

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

Fri, 23 Aug 2013 12:33:12 +0100Use 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!)

Fri, 23 Aug 2013 12:06:08 +0100Recursively 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.

Fri, 23 Aug 2013 09:34:04 +0100Change 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.

Thu, 22 Aug 2013 19:12:10 +0100Add 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.

Thu, 22 Aug 2013 18:50:43 +0100Generate 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.

Thu, 22 Aug 2013 16:53:17 +0100Fill 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).

Thu, 22 Aug 2013 16:51:22 +0100Fix 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.

Thu, 22 Aug 2013 07:39:33 +0100Fix 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, ...)

Wed, 21 Aug 2013 21:56:41 +0100Allow 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.

Wed, 21 Aug 2013 21:34:43 +0100Small 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)

Wed, 21 Aug 2013 21:26:55 +0100Fix 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)

Wed, 21 Aug 2013 21:14:50 +0100Fix 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.

Wed, 21 Aug 2013 16:08:50 +0100make 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)

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

Tue, 20 Aug 2013 11:15:40 +0100Add 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).

Tue, 20 Aug 2013 11:11:09 +0100Stop 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!)

Tue, 20 Aug 2013 11:08:15 +0100Allow 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.

Thu, 15 Aug 2013 11:24:54 +0100Do 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!)

Sat, 10 Aug 2013 09:10:06 +0100Handle 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)

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

Wed, 07 Aug 2013 10:24:32 +0100Fix 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

Wed, 07 Aug 2013 10:18:29 +0100Fix 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).

Mon, 05 Aug 2013 15:57:00 +0100Add 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.

Mon, 05 Aug 2013 08:26:30 +0100Code 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.

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

Fri, 19 Jul 2013 13:31:35 +0100Declare 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)

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

Fri, 11 Oct 2013 12:38:36 +0200Fixed 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

Fri, 07 Jun 2013 11:27:29 +0900Enlarged 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

Sat, 18 May 2013 16:35:41 +0900Missing 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

Thu, 16 May 2013 14:37:33 +0900Moved __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

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

Thu, 18 Apr 2013 22:27:01 +0200Fixed 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

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

Thu, 04 Apr 2013 18:55:20 +0100Fix 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.

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

Wed, 03 Apr 2013 19:49:52 +0100Partial 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.

Fri, 22 Feb 2013 21:09:59 +0000Allow 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

Wed, 13 Feb 2013 18:56:25 +0000Add 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.

Tue, 05 Feb 2013 17:40:23 +0000Print 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.

Wed, 23 Jan 2013 14:53:14 +0000Consider 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!

Wed, 23 Jan 2013 14:30:03 +0000Fill 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.

Wed, 23 Jan 2013 13:46:11 +0000Fill 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.

Tue, 22 Jan 2013 16:07:49 +0000Use 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).

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

Mon, 11 Mar 2013 12:51:01 +0100Fixed 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

Mon, 11 Mar 2013 12:49:33 +0100Fixed 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

Fri, 08 Mar 2013 11:38:26 +0900Stripped 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

Fri, 08 Mar 2013 02:00:36 +0100Fixed 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

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

Sun, 13 Jan 2013 16:06:00 +0000Set 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

Sun, 13 Jan 2013 14:25:38 +0000Fill 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.

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

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

Thu, 03 Jan 2013 18:26:32 +0000Fix 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.

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

Thu, 10 Jan 2013 10:47:06 +0000disable 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),

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

Thu, 03 Jan 2013 23:39:25 +0100Fix 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.

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

Thu, 03 Jan 2013 22:54:55 +0100Implement 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.

Thu, 03 Jan 2013 20:34:10 +0100Fix constant_folding missing call. [Bug found by Mario.]
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 20:34:10 +0100] rev 787
Fix constant_folding missing call. [Bug found by Mario.]

Thu, 03 Jan 2013 19:31:12 +0000Fix divide by 0 bug.
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 19:31:12 +0000] rev 786
Fix divide by 0 bug.

Thu, 03 Jan 2013 17:04:04 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 17:04:04 +0000] rev 785
merge

Thu, 03 Jan 2013 11:39:27 +0100Fix CPPFLAGS Makefile.am for all stage4.
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 11:39:27 +0100] rev 784
Fix CPPFLAGS Makefile.am for all stage4.

Mon, 31 Dec 2012 11:02:38 +0100Remove redundant class for get variable name.
Manuele Conti <conti.ma@alice.it> [Mon, 31 Dec 2012 11:02:38 +0100] rev 783
Remove redundant class for get variable name.

Fri, 28 Dec 2012 16:24:17 +0100Fix constant propagation alg. in for statement like Mario suggestion.
Manuele Conti <conti.ma@alice.it> [Fri, 28 Dec 2012 16:24:17 +0100] rev 782
Fix constant propagation alg. in for statement like Mario suggestion.

Fri, 28 Dec 2012 11:22:02 +0100Add note about How Constant Folding class is extended with a implementation constant propagation algorithm
Manuele Conti <conti.ma@alice.it> [Fri, 28 Dec 2012 11:22:02 +0100] rev 781
Add note about How Constant Folding class is extended with a implementation constant propagation algorithm
by Mario de Sousa.

Thu, 27 Dec 2012 00:17:08 +0100Add constant propagation algorithm for loop cycles.
Manuele Conti <conti.ma@alice.it> [Thu, 27 Dec 2012 00:17:08 +0100] rev 780
Add constant propagation algorithm for loop cycles.

Fri, 28 Dec 2012 11:51:24 +0000Update symbol_c::first_file/last_file entries in list_c::add_element()
Mario de Sousa <msousa@fe.up.pt> [Fri, 28 Dec 2012 11:51:24 +0000] rev 779
Update symbol_c::first_file/last_file entries in list_c::add_element()

Thu, 27 Dec 2012 15:31:01 +0000moved class to obtain datatype name (in char *) to get_datatype_info_c
Mario de Sousa <msousa@fe.up.pt> [Thu, 27 Dec 2012 15:31:01 +0000] rev 778
moved class to obtain datatype name (in char *) to get_datatype_info_c

Thu, 27 Dec 2012 15:04:58 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 27 Dec 2012 15:04:58 +0000] rev 777
merge

Mon, 24 Dec 2012 16:56:08 +0100Fix comment about meet semilattice rules.
Manuele Conti <conti.ma@alice.it> [Mon, 24 Dec 2012 16:56:08 +0100] rev 776
Fix comment about meet semilattice rules.

Sat, 22 Dec 2012 19:34:57 +0100Complete fix initialize const_value.
Manuele Conti <conti.ma@alice.it> [Sat, 22 Dec 2012 19:34:57 +0100] rev 775
Complete fix initialize const_value.

Sat, 22 Dec 2012 19:31:48 +0100Start to implement constant propagation algorithm.
Manuele Conti <conti.ma@alice.it> [Sat, 22 Dec 2012 19:31:48 +0100] rev 774
Start to implement constant propagation algorithm.

Sat, 22 Dec 2012 19:30:44 +0100Fix const_value field initialized.
Manuele Conti <conti.ma@alice.it> [Sat, 22 Dec 2012 19:30:44 +0100] rev 773
Fix const_value field initialized.

Sun, 02 Dec 2012 18:20:02 +0100Remove Ambiguous enumerate value in enum conversion functions.
Manuele Conti <conti.ma@alice.it> [Sun, 02 Dec 2012 18:20:02 +0100] rev 772
Remove Ambiguous enumerate value in enum conversion functions.

Sun, 02 Dec 2012 12:30:41 +0100Fix enum conversion function to string.
Manuele Conti <conti.ma@alice.it> [Sun, 02 Dec 2012 12:30:41 +0100] rev 771
Fix enum conversion function to string.

Wed, 28 Nov 2012 22:51:24 +0100Fix struct generic_function_call_t initialize style.
Manuele Conti <conti.ma@alice.it> [Wed, 28 Nov 2012 22:51:24 +0100] rev 770
Fix struct generic_function_call_t initialize style.

Tue, 27 Nov 2012 23:47:22 +0100Merge with Mario's changes.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Nov 2012 23:47:22 +0100] rev 769
Merge with Mario's changes.

Thu, 20 Dec 2012 10:46:51 +0100Merge with Mario's repository.
Manuele Conti <conti.ma@alice.it> [Thu, 20 Dec 2012 10:46:51 +0100] rev 768
Merge with Mario's repository.

Thu, 20 Dec 2012 10:42:01 +0100Fix warning about call fprintf without format string.
Manuele Conti <conti.ma@alice.it> [Thu, 20 Dec 2012 10:42:01 +0100] rev 767
Fix warning about call fprintf without format string.

Mon, 03 Dec 2012 18:44:16 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Mon, 03 Dec 2012 18:44:16 +0000] rev 766
merge

Sun, 02 Dec 2012 18:20:02 +0100Remove Ambiguous enumerate value in enum conversion functions.
Manuele Conti <conti.ma@alice.it> [Sun, 02 Dec 2012 18:20:02 +0100] rev 765
Remove Ambiguous enumerate value in enum conversion functions.

Sun, 02 Dec 2012 12:30:41 +0100Fix enum conversion function to string.
Manuele Conti <conti.ma@alice.it> [Sun, 02 Dec 2012 12:30:41 +0100] rev 764
Fix enum conversion function to string.

Wed, 28 Nov 2012 22:51:24 +0100Fix struct generic_function_call_t initialize style.
Manuele Conti <conti.ma@alice.it> [Wed, 28 Nov 2012 22:51:24 +0100] rev 763
Fix struct generic_function_call_t initialize style.

Mon, 03 Dec 2012 14:06:49 +0000Small code cleanup.
Mario de Sousa <msousa@fe.up.pt> [Mon, 03 Dec 2012 14:06:49 +0000] rev 762
Small code cleanup.

Sat, 01 Dec 2012 11:30:16 +0000Allow bison to ask for an END_OF_INPUT token multiple times!
mjsousa [Sat, 01 Dec 2012 11:30:16 +0000] rev 761
Allow bison to ask for an END_OF_INPUT token multiple times!

Sat, 01 Dec 2012 11:27:48 +0000Protect against redefining macros
mjsousa [Sat, 01 Dec 2012 11:27:48 +0000] rev 760
Protect against redefining macros

Tue, 27 Nov 2012 17:20:16 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Tue, 27 Nov 2012 17:20:16 +0000] rev 759
merge

Tue, 27 Nov 2012 17:01:41 +0100Fix flag to enable conversion functions.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Nov 2012 17:01:41 +0100] rev 758
Fix flag to enable conversion functions.

Tue, 27 Nov 2012 15:49:05 +0000Code cleanup: move tracking functions to flex.
Mario de Sousa <msousa@fe.up.pt> [Tue, 27 Nov 2012 15:49:05 +0000] rev 757
Code cleanup: move tracking functions to flex.

Tue, 27 Nov 2012 14:49:08 +0000Insert the auto generated enum datatype conversion functions after the TYPE...END_TYPE, instead of at the end of input file.
Mario de Sousa <msousa@fe.up.pt> [Tue, 27 Nov 2012 14:49:08 +0000] rev 756
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 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Mon, 26 Nov 2012 16:38:15 +0000] rev 755
merge

Fri, 23 Nov 2012 11:38:57 +0100Set ENO to false when conversion function fails.
Manuele Conti <conti.ma@alice.it> [Fri, 23 Nov 2012 11:38:57 +0100] rev 754
Set ENO to false when conversion function fails.

Fri, 23 Nov 2012 14:11:57 +0100Fix typo in functionDataType array.
Manuele Conti <conti.ma@alice.it> [Fri, 23 Nov 2012 14:11:57 +0100] rev 753
Fix typo in functionDataType array.

Fri, 23 Nov 2012 09:31:55 +0000Add files missing from a few commits ago...
Mario de Sousa <msousa@fe.up.pt> [Fri, 23 Nov 2012 09:31:55 +0000] rev 752
Add files missing from a few commits ago...

Thu, 22 Nov 2012 19:26:56 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 19:26:56 +0000] rev 751
merge

Tue, 20 Nov 2012 21:06:55 +0100Refix automake files.
Manuele Conti <conti.ma@alice.it> [Tue, 20 Nov 2012 21:06:55 +0100] rev 750
Refix automake files.

Tue, 20 Nov 2012 20:55:44 +0100Add some comments to argument new code.
Manuele Conti <conti.ma@alice.it> [Tue, 20 Nov 2012 20:55:44 +0100] rev 749
Add some comments to argument new code.

Tue, 20 Nov 2012 00:01:57 +0100Start to change code like Mario suggestions.
Manuele Conti <conti.ma@alice.it> [Tue, 20 Nov 2012 00:01:57 +0100] rev 748
Start to change code like Mario suggestions.

Mon, 19 Nov 2012 22:53:43 +0100Create functionDataType array in derived_conversion_functions_c.
Manuele Conti <conti.ma@alice.it> [Mon, 19 Nov 2012 22:53:43 +0100] rev 747
Create functionDataType array in derived_conversion_functions_c.

Fri, 16 Nov 2012 10:26:23 +0100Add conversion functions option.
Manuele Conti <conti.ma@alice.it> [Fri, 16 Nov 2012 10:26:23 +0100] rev 746
Add conversion functions option.

Thu, 15 Nov 2012 17:30:35 +0100Start enumerate conversion functions.
Manuele Conti <manuele.conti@sirius-es.it> [Thu, 15 Nov 2012 17:30:35 +0100] rev 745
Start enumerate conversion functions.

Thu, 22 Nov 2012 19:19:48 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 19:19:48 +0000] rev 744
merge

Mon, 12 Nov 2012 22:36:55 +0100Be sure to not redefine TRUE and FALSE macros.
Manuele Conti <conti.ma@alice.it> [Mon, 12 Nov 2012 22:36:55 +0100] rev 743
Be sure to not redefine TRUE and FALSE macros.

Thu, 22 Nov 2012 19:05:29 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 19:05:29 +0000] rev 742
merge

Mon, 12 Nov 2012 22:33:58 +0100Removed unused __attribute__((__packed__)) only gcc compatible.
Manuele Conti <conti.ma@alice.it> [Mon, 12 Nov 2012 22:33:58 +0100] rev 741
Removed unused __attribute__((__packed__)) only gcc compatible.

Mon, 12 Nov 2012 22:26:21 +0100Protect IEC_STD_LIB.H header agaist multi-include problems.
Manuele Conti <conti.ma@alice.it> [Mon, 12 Nov 2012 22:26:21 +0100] rev 740
Protect IEC_STD_LIB.H header agaist multi-include problems.

Thu, 22 Nov 2012 19:02:05 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 19:02:05 +0000] rev 739
merge

Thu, 22 Nov 2012 18:53:37 +0000Start to move enumeration declaration checking to its own class.
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 18:53:37 +0000] rev 738
Start to move enumeration declaration checking to its own class.

Thu, 22 Nov 2012 18:51:42 +0000Fix comments and code alignment
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 18:51:42 +0000] rev 737
Fix comments and code alignment

Mon, 19 Nov 2012 18:59:12 +0000Fix warnings previous change introduced when compiling with gcc.
Mario de Sousa <msousa@fe.up.pt> [Mon, 19 Nov 2012 18:59:12 +0000] rev 736
Fix warnings previous change introduced when compiling with gcc.

Sun, 18 Nov 2012 12:54:48 +0100Fix some important clang++ warnings.
Manuele Conti <conti.ma@alice.it> [Sun, 18 Nov 2012 12:54:48 +0100] rev 735
Fix some important clang++ warnings.

Thu, 15 Nov 2012 14:14:00 +0000Allow use of type#value syntax when defining default initial value inside a TYPE..END_TYPE declaration.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Nov 2012 14:14:00 +0000] rev 734
Allow use of type#value syntax when defining default initial value inside a TYPE..END_TYPE declaration.

Thu, 15 Nov 2012 12:57:04 +0000Do datatype verification of fully qualified enumerated values (e.g. ENUMTYPE#enumconst)
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Nov 2012 12:57:04 +0000] rev 733
Do datatype verification of fully qualified enumerated values (e.g. ENUMTYPE#enumconst)

Wed, 14 Nov 2012 18:39:02 +0000Add datatype checking of enumeration data type declarations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Nov 2012 18:39:02 +0000] rev 732
Add datatype checking of enumeration data type declarations.

Wed, 14 Nov 2012 18:37:42 +0000Print const values of symbol.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Nov 2012 18:37:42 +0000] rev 731
Print const values of symbol.

Wed, 14 Nov 2012 15:25:03 +0000Fix code generation of enum value constants (this is a temporary fix - it will be followed by a code cleanup).
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Nov 2012 15:25:03 +0000] rev 730
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 +0000Fix bug in datatype checking of enumerated datatypes delcarations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Nov 2012 15:18:14 +0000] rev 729
Fix bug in datatype checking of enumerated datatypes delcarations.

Wed, 14 Nov 2012 14:03:57 +0000Fix datatype checking of enumerated datatype declarations. We now follow the fill->narrow algorithm correctly.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Nov 2012 14:03:57 +0000] rev 728
Fix datatype checking of enumerated datatype declarations. We now follow the fill->narrow algorithm correctly.

Wed, 14 Nov 2012 13:10:05 +0000Add method to determine the id (name) of a datatype.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Nov 2012 13:10:05 +0000] rev 727
Add method to determine the id (name) of a datatype.

Tue, 13 Nov 2012 18:03:17 +0000Change the base datatype of enumerations to an enumerated_type_declaration_c (for named types!)
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Nov 2012 18:03:17 +0000] rev 726
Change the base datatype of enumerations to an enumerated_type_declaration_c (for named types!)

Tue, 13 Nov 2012 18:02:15 +0000Change the public interface to debug functions.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Nov 2012 18:02:15 +0000] rev 725
Change the public interface to debug functions.

Fri, 09 Nov 2012 14:34:36 +0000Check 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)
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Nov 2012 14:34:36 +0000] rev 724
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 +0000Fix one more bug - upper_bound() works a little differently to what we want!
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Nov 2012 13:08:18 +0000] rev 723
Fix one more bug - upper_bound() works a little differently to what we want!

Thu, 08 Nov 2012 17:54:48 +0000Fix more bugs in dsymtable_c (real semantics of std::multimap::lower_bound is not what was assumed!)
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Nov 2012 17:54:48 +0000] rev 722
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 +0000Fix counting bug in dsymbtable_c
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Nov 2012 17:31:50 +0000] rev 721
Fix counting bug in dsymbtable_c

Thu, 08 Nov 2012 17:31:29 +0000Use 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)
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Nov 2012 17:31:29 +0000] rev 720
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 +0000Move the enumerated_value_symtable to fill_candidate_datatypes_c, since it is only used there!
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Nov 2012 12:49:03 +0000] rev 719
Move the enumerated_value_symtable to fill_candidate_datatypes_c, since it is only used there!

Wed, 07 Nov 2012 20:07:11 +0000Make search_base_type_c a singleton!
Mario de Sousa <msousa@fe.up.pt> [Wed, 07 Nov 2012 20:07:11 +0000] rev 718
Make search_base_type_c a singleton!

Wed, 07 Nov 2012 19:26:38 +0000Start datatype checking of variable declarations (for now, only seting symbol.datatype of enumerations)
Mario de Sousa <msousa@fe.up.pt> [Wed, 07 Nov 2012 19:26:38 +0000] rev 717
Start datatype checking of variable declarations (for now, only seting symbol.datatype of enumerations)

Wed, 07 Nov 2012 10:03:54 +0000Do datatype checking of enum values defined inside anonymous enumeration types (i.e. enum types defined inside a VAR ... END_VAR daclaration).
Mario de Sousa <msousa@fe.up.pt> [Wed, 07 Nov 2012 10:03:54 +0000] rev 716
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 +0100Added support for testing BCD value validity in BCD_TO_UINT function
Laurent Bessard [Sat, 23 Feb 2013 23:14:59 +0100] rev 715
Added support for testing BCD value validity in BCD_TO_UINT function

Sat, 23 Feb 2013 22:38:37 +0100Fixed 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
Laurent Bessard [Sat, 23 Feb 2013 22:38:37 +0100] rev 714
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 +0100Fix warning message when declaring global variables in configuration
Laurent Bessard [Wed, 19 Dec 2012 12:25:56 +0100] rev 713
Fix warning message when declaring global variables in configuration

Tue, 04 Dec 2012 00:05:22 +0100Removed unused variable
Laurent Bessard [Tue, 04 Dec 2012 00:05:22 +0100] rev 712
Removed unused variable

Mon, 03 Dec 2012 23:36:03 +0100Replacing libc time functions for date <-> timespec translation by platform and localtime independant implementation
Laurent Bessard [Mon, 03 Dec 2012 23:36:03 +0100] rev 711
Replacing libc time functions for date <-> timespec translation by platform and localtime independant implementation

Wed, 28 Nov 2012 12:00:38 +0900Removed files generedted by autoconf, should not be in repo
Edouard Tisserant [Wed, 28 Nov 2012 12:00:38 +0900] rev 710
Removed files generedted by autoconf, should not be in repo

Wed, 28 Nov 2012 11:52:03 +0900Fixed timegm usage incompatible with mingw, reverted to mktime in case mingw is detected
Edouard Tisserant [Wed, 28 Nov 2012 11:52:03 +0900] rev 709
Fixed timegm usage incompatible with mingw, reverted to mktime in case mingw is detected

Fri, 16 Nov 2012 01:02:54 +0100Fix in accessor undefined init methods for function block global instances
Laurent Bessard [Fri, 16 Nov 2012 01:02:54 +0100] rev 708
Fix in accessor undefined init methods for function block global instances

Fri, 16 Nov 2012 00:39:35 +0100Fix undefined function toupper in iec_std_lib
Laurent Bessard [Fri, 16 Nov 2012 00:39:35 +0100] rev 707
Fix undefined function toupper in iec_std_lib

Thu, 15 Nov 2012 22:28:53 +0100Adding support for declaring function block instances as global and external variables
Laurent Bessard [Thu, 15 Nov 2012 22:28:53 +0100] rev 706
Adding support for declaring function block instances as global and external variables

Thu, 08 Nov 2012 18:55:57 +0100Fix DATE conversions standard functions
Laurent Bessard [Thu, 08 Nov 2012 18:55:57 +0100] rev 705
Fix DATE conversions standard functions

Thu, 08 Nov 2012 12:10:52 +0100Fix definition of BCD to ANY_UINT and ANY_UINT to BCD conversion standard functions
Laurent Bessard [Thu, 08 Nov 2012 12:10:52 +0100] rev 704
Fix definition of BCD to ANY_UINT and ANY_UINT to BCD conversion standard functions

Tue, 06 Nov 2012 19:56:23 +0100Fix indentation in SFC SL qualifier code generated
Laurent Bessard [Tue, 06 Nov 2012 19:56:23 +0100] rev 703
Fix indentation in SFC SL qualifier code generated

Tue, 06 Nov 2012 19:17:36 +0100Fix indentation and unused variable warning in SFC generated code
Laurent Bessard [Tue, 06 Nov 2012 19:17:36 +0100] rev 702
Fix indentation and unused variable warning in SFC generated code

Wed, 31 Oct 2012 19:21:09 +0100Fix pragma with double bracket token stripping
Laurent Bessard [Wed, 31 Oct 2012 19:21:09 +0100] rev 701
Fix pragma with double bracket token stripping

Wed, 24 Oct 2012 00:06:55 +0200Fix some warning about loss of precision data in iec_std_lib.h file.
Manuele Conti <conti.ma@alice.it> [Wed, 24 Oct 2012 00:06:55 +0200] rev 700
Fix some warning about loss of precision data in iec_std_lib.h file.

Fri, 26 Oct 2012 17:41:21 +0100Fix typo.
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 17:41:21 +0100] rev 699
Fix typo.

Fri, 26 Oct 2012 13:52:16 +0100Remove deprecated class search_constant_type_c
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 13:52:16 +0100] rev 698
Remove deprecated class search_constant_type_c

Fri, 26 Oct 2012 13:48:16 +0100replace call to search_constant_type_c with symbol.datatype
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 13:48:16 +0100] rev 697
replace call to search_constant_type_c with symbol.datatype

Tue, 09 Oct 2012 22:29:26 +0200Removing several warning in iec_std_lib.h
Manuele Conti <conti.ma@alice.it> [Tue, 09 Oct 2012 22:29:26 +0200] rev 696
Removing several warning in iec_std_lib.h

Fri, 26 Oct 2012 10:25:38 +0100Code formating only.
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 10:25:38 +0100] rev 695
Code formating only.

Sat, 06 Oct 2012 14:21:04 +0200Fix stage4 for compare expressions.
Manuele Conti <conti.ma@alice.it> [Sat, 06 Oct 2012 14:21:04 +0200] rev 694
Fix stage4 for compare expressions.

Fri, 26 Oct 2012 10:11:28 +0100Prepare to delete search_constant_type_c -> Move the static variables from search_constant_type_c to get_datatype_info_c
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 10:11:28 +0100] rev 693
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 +0100Remove no longer needed search_il_operand_type_c
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 18:51:55 +0100] rev 692
Remove no longer needed search_il_operand_type_c

Thu, 25 Oct 2012 18:27:23 +0100Also force_narrow IL instructions inside IL expressions, i.e. inside parenthesis.
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 18:27:23 +0100] rev 691
Also force_narrow IL instructions inside IL expressions, i.e. inside parenthesis.

Thu, 25 Oct 2012 18:20:28 +0100Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis.
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 18:20:28 +0100] rev 690
Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis.

Thu, 25 Oct 2012 18:12:51 +0100Fix bug when handling IL expressions (i.e. IL instructions inside parenthesis).
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 18:12:51 +0100] rev 689
Fix bug when handling IL expressions (i.e. IL instructions inside parenthesis).

Thu, 25 Oct 2012 13:40:13 +0100Delete debugging code, introduced by mistake in previous commit.
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 13:40:13 +0100] rev 688
Delete debugging code, introduced by mistake in previous commit.

Thu, 25 Oct 2012 12:48:48 +0100Fix handling of IL parenthesized expressions in generate_c_il_c
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 12:48:48 +0100] rev 687
Fix handling of IL parenthesized expressions in generate_c_il_c

Thu, 25 Oct 2012 12:39:01 +0100Fix processing of TIME literals (submited by Andreas)
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 12:39:01 +0100] rev 686
Fix processing of TIME literals (submited by Andreas)

Thu, 25 Oct 2012 12:05:31 +0100Fix flow control analysis of IL simple instructions (i.e. IL instructions inside parenthises!)
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 12:05:31 +0100] rev 685
Fix flow control analysis of IL simple instructions (i.e. IL instructions inside parenthises!)

Thu, 25 Oct 2012 11:28:06 +0100Comment out invalid assertion.
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 11:28:06 +0100] rev 684
Comment out invalid assertion.

Thu, 25 Oct 2012 11:15:55 +0100Code 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.)
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 11:15:55 +0100] rev 683
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 +0100Major 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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 24 Oct 2012 15:32:48 +0100] rev 682
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 +0100Do not repeat narrow algorithm for ST code, and better comments.
Mario de Sousa <msousa@fe.up.pt> [Thu, 18 Oct 2012 10:57:13 +0100] rev 681
Do not repeat narrow algorithm for ST code, and better comments.

Tue, 16 Oct 2012 18:56:03 +0100New visitor classes missing from previous commit.
Mario de Sousa <msousa@fe.up.pt> [Tue, 16 Oct 2012 18:56:03 +0100] rev 680
New visitor classes missing from previous commit.

Tue, 16 Oct 2012 18:23:16 +0100Remove line printing debug info.
Mario de Sousa <msousa@fe.up.pt> [Tue, 16 Oct 2012 18:23:16 +0100] rev 679
Remove line printing debug info.

Tue, 16 Oct 2012 18:06:32 +0100Add classes to print status of AST (use only for debugging!)
Mario de Sousa <msousa@fe.up.pt> [Tue, 16 Oct 2012 18:06:32 +0100] rev 678
Add classes to print status of AST (use only for debugging!)

Tue, 16 Oct 2012 18:01:22 +0100Remove all remaining NULL (undefined) datatypes from IL code.
Mario de Sousa <msousa@fe.up.pt> [Tue, 16 Oct 2012 18:01:22 +0100] rev 677
Remove all remaining NULL (undefined) datatypes from IL code.

Sat, 13 Oct 2012 12:13:49 +0100Move is_datatype_valid/equal() to get_datatype_info_c
Mario de Sousa <msousa@fe.up.pt> [Sat, 13 Oct 2012 12:13:49 +0100] rev 676
Move is_datatype_valid/equal() to get_datatype_info_c

Thu, 11 Oct 2012 19:16:35 +0100Fix bug related to support of SAFE datatypes.
Mario de Sousa <msousa@fe.up.pt> [Thu, 11 Oct 2012 19:16:35 +0100] rev 675
Fix bug related to support of SAFE datatypes.

Sun, 07 Oct 2012 09:45:54 +0100Set datatype of il_intruction_c objects containing an ST operator.
Mario de Sousa <msousa@fe.up.pt> [Sun, 07 Oct 2012 09:45:54 +0100] rev 674
Set datatype of il_intruction_c objects containing an ST operator.

Sun, 07 Oct 2012 09:33:42 +0100Delete unused variables.
Mario de Sousa <msousa@fe.up.pt> [Sun, 07 Oct 2012 09:33:42 +0100] rev 673
Delete unused variables.

Sat, 06 Oct 2012 22:29:04 +0100Use doubly linked connections for flow control graph (will be used later).
Mario de Sousa <msousa@fe.up.pt> [Sat, 06 Oct 2012 22:29:04 +0100] rev 672
Use doubly linked connections for flow control graph (will be used later).

Thu, 04 Oct 2012 18:54:15 +0100Remove deprecated search_expression_type_c
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 18:54:15 +0100] rev 671
Remove deprecated search_expression_type_c

Thu, 04 Oct 2012 18:50:21 +0100Deprecate use of search_expression_type_c (prepare for complete removal!).
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 18:50:21 +0100] rev 670
Deprecate use of search_expression_type_c (prepare for complete removal!).

Thu, 04 Oct 2012 18:29:26 +0100Deprecate use of search_expression_type_c (prepare for complete removal!)
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 18:29:26 +0100] rev 669
Deprecate use of search_expression_type_c (prepare for complete removal!)

Thu, 04 Oct 2012 16:53:02 +0100Deprecating use of search_expression_type_c, so it may later be deleted!
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 16:53:02 +0100] rev 668
Deprecating use of search_expression_type_c, so it may later be deleted!

Thu, 04 Oct 2012 15:10:45 +0100Merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 15:10:45 +0100] rev 667
Merge

Thu, 04 Oct 2012 14:30:51 +0100Add new get_datatype_info_c (preparing to remove search_expression_type_c)
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 14:30:51 +0100] rev 666
Add new get_datatype_info_c (preparing to remove search_expression_type_c)

Thu, 04 Oct 2012 13:12:19 +0100Delete declaration of unused & undeclared functions.
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 13:12:19 +0100] rev 665
Delete declaration of unused & undeclared functions.

Wed, 03 Oct 2012 17:44:25 +0100Delete class elements that are not used (clean up code).
Mario de Sousa <msousa@fe.up.pt> [Wed, 03 Oct 2012 17:44:25 +0100] rev 664
Delete class elements that are not used (clean up code).

Fri, 28 Sep 2012 23:59:28 +0200Add check whether external var matches to global var.
Manuele Conti <conti.ma@alice.it> [Fri, 28 Sep 2012 23:59:28 +0200] rev 663
Add check whether external var matches to global var.

Thu, 27 Sep 2012 18:14:52 +0100Also check FB passed as parameters in FB/Function calls (Thanks Andreas!)
Mario de Sousa <msousa@fe.up.pt> [Thu, 27 Sep 2012 18:14:52 +0100] rev 662
Also check FB passed as parameters in FB/Function calls (Thanks Andreas!)

Wed, 26 Sep 2012 20:12:39 +0200Minor changes needed to build with pedantic flag.
Manuele Conti <conti.ma@alice.it> [Wed, 26 Sep 2012 20:12:39 +0200] rev 661
Minor changes needed to build with pedantic flag.

Fri, 21 Sep 2012 09:54:10 +0100Also check external/global variable consistency in configurations and FBs.
Mario de Sousa <msousa@fe.up.pt> [Fri, 21 Sep 2012 09:54:10 +0100] rev 660
Also check external/global variable consistency in configurations and FBs.

Fri, 21 Sep 2012 09:53:20 +0100add method for printing class_name. USE ONLY FOR DEBUGING!
Mario de Sousa <msousa@fe.up.pt> [Fri, 21 Sep 2012 09:53:20 +0100] rev 659
add method for printing class_name. USE ONLY FOR DEBUGING!

Wed, 19 Sep 2012 11:23:15 +0100store POU reference to POU declaration instead of global var declarations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 19 Sep 2012 11:23:15 +0100] rev 658
store POU reference to POU declaration instead of global var declarations.

Tue, 18 Sep 2012 14:21:19 +0200Start declaration check class.
Manuele Conti <manuele.conti@sirius-es.it> [Tue, 18 Sep 2012 14:21:19 +0200] rev 657
Start declaration check class.

Fri, 14 Sep 2012 23:35:18 +0200Start declaration check class.
Manuele Conti <conti.ma@alice.it> [Fri, 14 Sep 2012 23:35:18 +0200] rev 656
Start declaration check class.

Thu, 13 Sep 2012 17:12:40 +0100Adjust coding style.
Mario de Sousa <msousa@fe.up.pt> [Thu, 13 Sep 2012 17:12:40 +0100] rev 655
Adjust coding style.

Sat, 08 Sep 2012 10:44:04 +0100list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.
agraeper [Sat, 08 Sep 2012 10:44:04 +0100] rev 654
list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.

Fri, 31 Aug 2012 19:30:48 +0100Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).
Mario de Sousa <msousa@fe.up.pt> [Fri, 31 Aug 2012 19:30:48 +0100] rev 653
Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).

Fri, 31 Aug 2012 15:09:25 +0100Start adding support for data type checking of enums.
Mario de Sousa <msousa@fe.up.pt> [Fri, 31 Aug 2012 15:09:25 +0100] rev 652
Start adding support for data type checking of enums.

Fri, 31 Aug 2012 10:11:19 +0100Remove comment no longer valid since introduction of constant folding.
Mario de Sousa <msousa@fe.up.pt> [Fri, 31 Aug 2012 10:11:19 +0100] rev 651
Remove comment no longer valid since introduction of constant folding.

Thu, 30 Aug 2012 16:44:29 +0100Add some comments.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 16:44:29 +0100] rev 650
Add some comments.

Thu, 30 Aug 2012 15:06:32 +0200Update configure script.
Manuele Conti <manuele.conti@sirius-es.it> [Thu, 30 Aug 2012 15:06:32 +0200] rev 649
Update configure script.

Thu, 30 Aug 2012 13:35:15 +0100More precise handling of const value status.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:35:15 +0100] rev 648
More precise handling of const value status.

Thu, 30 Aug 2012 13:08:02 +0100Fix bug in checking array ranges.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:08:02 +0100] rev 647
Fix bug in checking array ranges.

Thu, 30 Aug 2012 13:06:54 +0100Add more info to error messages.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:06:54 +0100] rev 646
Add more info to error messages.

Thu, 30 Aug 2012 13:04:30 +0100Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:04:30 +0100] rev 645
Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.

Wed, 29 Aug 2012 21:52:33 +0100Merge.
Mario de Sousa <msousa@fe.up.pt> [Wed, 29 Aug 2012 21:52:33 +0100] rev 644
Merge.

Wed, 29 Aug 2012 19:38:15 +0100Fix constant folding: now handles INT_MIN and neg_integer_c correctly.
Mario de Sousa <msousa@fe.up.pt> [Wed, 29 Aug 2012 19:38:15 +0100] rev 643
Fix constant folding: now handles INT_MIN and neg_integer_c correctly.

Tue, 28 Aug 2012 22:37:26 +0200Replace test bison version without bash regular expression.
Manuele Conti <conti.ma@alice.it> [Tue, 28 Aug 2012 22:37:26 +0200] rev 642
Replace test bison version without bash regular expression.
Tested on OS X 10.8 - Linux Ubuntu 12.4 - MinGW.

Thu, 16 Aug 2012 22:44:38 +0200Fix Segmentation Fault FB var declaration in a single list.
Manuele Conti <conti.ma@alice.it> [Thu, 16 Aug 2012 22:44:38 +0200] rev 641
Fix Segmentation Fault FB var declaration in a single list.

Mon, 27 Aug 2012 17:58:07 +0100Add some comments.
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Aug 2012 17:58:07 +0100] rev 640
Add some comments.

Thu, 25 Oct 2012 11:09:06 +0200Fix some warning about loss of precision data in iec_std_lib.h file.
Edouard Tisserant [Thu, 25 Oct 2012 11:09:06 +0200] rev 639
Fix some warning about loss of precision data in iec_std_lib.h file.

Tue, 23 Oct 2012 11:32:49 +0200Fix bug with NE function for STRING variables
Laurent Bessard [Tue, 23 Oct 2012 11:32:49 +0200] rev 638
Fix bug with NE function for STRING variables

Mon, 22 Oct 2012 23:08:54 +0200Fix bug in code for pragma with double brackets
Laurent Bessard [Mon, 22 Oct 2012 23:08:54 +0200] rev 637
Fix bug in code for pragma with double brackets

Mon, 22 Oct 2012 17:44:40 +0200Merged
Laurent Bessard [Mon, 22 Oct 2012 17:44:40 +0200] rev 636
Merged

Sun, 21 Oct 2012 16:55:08 +0200Adding support for direct array declaration in structure element declaration
Laurent Bessard [Sun, 21 Oct 2012 16:55:08 +0200] rev 635
Adding support for direct array declaration in structure element declaration

Fri, 19 Oct 2012 12:10:32 +0200Added 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.
Edouard Tisserant [Fri, 19 Oct 2012 12:10:32 +0200] rev 634
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 +0200Fix bug with task interval using fixed_point value for duration items
Laurent Bessard [Thu, 13 Sep 2012 16:35:10 +0200] rev 633
Fix bug with task interval using fixed_point value for duration items

Thu, 13 Sep 2012 15:14:55 +0200Adding error message when task interval value is not supported
Laurent Bessard [Thu, 13 Sep 2012 15:14:55 +0200] rev 632
Adding error message when task interval value is not supported

Thu, 13 Sep 2012 09:55:00 +0200Adding error message when task interval value is not supported
Laurent Bessard [Thu, 13 Sep 2012 09:55:00 +0200] rev 631
Adding error message when task interval value is not supported

Wed, 12 Sep 2012 01:14:38 +0200Fix 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
Laurent Bessard [Wed, 12 Sep 2012 01:14:38 +0200] rev 630
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 +0200Fix generated code when using boolean variable as action name in step action association
Laurent Bessard [Tue, 11 Sep 2012 16:27:33 +0200] rev 629
Fix generated code when using boolean variable as action name in step action association

Tue, 11 Sep 2012 01:05:24 +0200Fix 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.
Laurent Bessard [Tue, 11 Sep 2012 01:05:24 +0200] rev 628
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 +0200Adding support for P0 and P1 qualifiers and fixing code generated for SL qualifier
Laurent Bessard [Tue, 04 Sep 2012 18:02:06 +0200] rev 627
Adding support for P0 and P1 qualifiers and fixing code generated for SL qualifier

Sat, 01 Sep 2012 16:27:24 +0200Fixed VARIABLES.csv, was broken when using enumrated types
Edouard Tisserant [Sat, 01 Sep 2012 16:27:24 +0200] rev 626
Fixed VARIABLES.csv, was broken when using enumrated types

Wed, 22 Aug 2012 16:46:17 +0200Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b
Laurent Bessard [Wed, 22 Aug 2012 16:46:17 +0200] rev 625
Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b

Fri, 17 Aug 2012 19:03:13 +0100Moving function to correct location (formating only).
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Aug 2012 19:03:13 +0100] rev 624
Moving function to correct location (formating only).

Sat, 04 Aug 2012 09:59:52 +0200Fix bug in code generation for FB IN_OUT structured parameter.
Manuele Conti <conti.ma@alice.it> [Sat, 04 Aug 2012 09:59:52 +0200] rev 623
Fix bug in code generation for FB IN_OUT structured parameter.

Mon, 30 Jul 2012 22:59:00 +0200Add check bison version in configure.ac file.
Manuele Conti <conti.ma@alice.it> [Mon, 30 Jul 2012 22:59:00 +0200] rev 622
Add check bison version in configure.ac file.
To build correctly matiec we need bison greater or equals than 2.4 version.
Now the "configure" script is able to check if system has correctly requirements.

Thu, 16 Aug 2012 18:28:23 +0100Remove remaining signed/unsigned comparison error messages when compiling.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Aug 2012 18:28:23 +0100] rev 621
Remove remaining signed/unsigned comparison error messages when compiling.

Fri, 20 Jul 2012 23:18:32 +0200Remove warning about comparisons between int and unsigned int.
Manuele Conti <conti.ma@alice.it> [Fri, 20 Jul 2012 23:18:32 +0200] rev 620
Remove warning about comparisons between int and unsigned int.

Wed, 01 Aug 2012 10:31:14 +0100Support for data types of STEP.T and STEP.X in SFCs
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Aug 2012 10:31:14 +0100] rev 619
Support for data types of STEP.T and STEP.X in SFCs

Wed, 01 Aug 2012 09:05:25 +0100Remove dead code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Aug 2012 09:05:25 +0100] rev 618
Remove dead code.

Wed, 01 Aug 2012 08:33:58 +0100Change code formatting (alignment)
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Aug 2012 08:33:58 +0100] rev 617
Change code formatting (alignment)

Tue, 31 Jul 2012 12:39:04 +0100Aloow use of SFC STEPs as variables.
Mario de Sousa <msousa@fe.up.pt> [Tue, 31 Jul 2012 12:39:04 +0100] rev 616
Aloow use of SFC STEPs as variables.

Sat, 28 Jul 2012 09:07:55 +0100Check lvalues in expressions passed to Function/FB IN parameters.
Mario de Sousa <msousa@fe.up.pt> [Sat, 28 Jul 2012 09:07:55 +0100] rev 615
Check lvalues in expressions passed to Function/FB IN parameters.

Fri, 20 Jul 2012 15:57:02 +0100Fix comment (bug found by Manuele).
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Jul 2012 15:57:02 +0100] rev 614
Fix comment (bug found by Manuele).

Fri, 20 Jul 2012 15:53:58 +0100Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Jul 2012 15:53:58 +0100] rev 613
Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).

Fri, 20 Jul 2012 15:50:49 +0100Constant folding for IL.
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Jul 2012 15:50:49 +0100] rev 612
Constant folding for IL.

Thu, 19 Jul 2012 13:42:05 +0100update comments.
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Jul 2012 13:42:05 +0100] rev 611
update comments.

Thu, 19 Jul 2012 11:05:41 +0100fix bug: remove REAL from candidate datatypes when real constant has overflowed.
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Jul 2012 11:05:41 +0100] rev 610
fix bug: remove REAL from candidate datatypes when real constant has overflowed.

Wed, 18 Jul 2012 23:44:42 +0100signed integer limits do not affect ANY_INT constant values.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 23:44:42 +0100] rev 609
signed integer limits do not affect ANY_INT constant values.

Wed, 18 Jul 2012 23:43:57 +0100comment out un-used code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 23:43:57 +0100] rev 608
comment out un-used code.

Wed, 18 Jul 2012 22:34:51 +0100cleaning up code. Changing HUGE_VAL to INFINITY.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 22:34:51 +0100] rev 607
cleaning up code. Changing HUGE_VAL to INFINITY.

Wed, 18 Jul 2012 17:10:57 +0100Cleaning up the code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 17:10:57 +0100] rev 606
Cleaning up the code.

Wed, 18 Jul 2012 17:04:34 +0100Clean up the code a little.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 17:04:34 +0100] rev 605
Clean up the code a little.

Wed, 18 Jul 2012 16:56:36 +0100Fixing includes to define INTxx_MAX etc...
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 16:56:36 +0100] rev 604
Fixing includes to define INTxx_MAX etc...

Sat, 14 Jul 2012 11:09:26 +0200Add remove_from_candidate_datatype_list method using constant_folding results.
Manuele Conti <conti.ma@alice.it> [Sat, 14 Jul 2012 11:09:26 +0200] rev 603
Add remove_from_candidate_datatype_list method using constant_folding results.

Tue, 19 Jun 2012 18:55:43 +0100fix typo.
Mario de Sousa <msousa@fe.up.pt> [Tue, 19 Jun 2012 18:55:43 +0100] rev 602
fix typo.

Tue, 19 Jun 2012 11:23:30 +0100fix parsing of non base 10 constant values.
Mario de Sousa <msousa@fe.up.pt> [Tue, 19 Jun 2012 11:23:30 +0100] rev 601
fix parsing of non base 10 constant values.

Mon, 18 Jun 2012 16:11:00 +0100determine const value of hex, octal and bin literals correctly.
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 16:11:00 +0100] rev 600
determine const value of hex, octal and bin literals correctly.

Mon, 18 Jun 2012 15:52:09 +0100fix array bounds check.
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:52:09 +0100] rev 599
fix array bounds check.

Mon, 18 Jun 2012 15:37:37 +0100Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:37:37 +0100] rev 598
Fix stupid typos (in calculating array dimension)!

Sat, 16 Jun 2012 07:41:30 +0100Add file missing from previous commit.
Mario de Sousa <msousa@fe.up.pt> [Sat, 16 Jun 2012 07:41:30 +0100] rev 597
Add file missing from previous commit.

Fri, 15 Jun 2012 19:54:33 +0100Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc
Mario de Sousa <msousa@fe.up.pt> [Fri, 15 Jun 2012 19:54:33 +0100] rev 596
Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc

Thu, 14 Jun 2012 17:50:37 +0100Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Jun 2012 17:50:37 +0100] rev 595
Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)

Thu, 14 Jun 2012 12:00:19 +0100Clean up code (remove parsing of integers in stage 4).
Mario de Sousa <msousa@fe.up.pt> [Thu, 14 Jun 2012 12:00:19 +0100] rev 594
Clean up code (remove parsing of integers in stage 4).

Wed, 13 Jun 2012 19:51:26 +0200Fix literal MACRO gcc compliant.
Manuele Conti <conti.ma@alice.it> [Wed, 13 Jun 2012 19:51:26 +0200] rev 593
Fix literal MACRO gcc compliant.

Wed, 13 Jun 2012 19:43:12 +0100Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 19:43:12 +0100] rev 592
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.

Wed, 13 Jun 2012 14:21:30 +0100extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 14:21:30 +0100] rev 591
extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)

Wed, 13 Jun 2012 14:07:41 +0100Add support for -INT64_MIN values in literals.
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 14:07:41 +0100] rev 590
Add support for -INT64_MIN values in literals.

Wed, 13 Jun 2012 13:50:46 +0100Make compiler portable (do not assume int64_t is long long int)
Mario de Sousa <msousa@fe.up.pt> [Wed, 13 Jun 2012 13:50:46 +0100] rev 589
Make compiler portable (do not assume int64_t is long long int)

Tue, 12 Jun 2012 22:46:51 +0200Add missing set overflow flag.
Manuele Conti <conti.ma@alice.it> [Tue, 12 Jun 2012 22:46:51 +0200] rev 588
Add missing set overflow flag.

Tue, 12 Jun 2012 22:32:09 +0200Fix extract_integer_value.
Manuele Conti <conti.ma@alice.it> [Tue, 12 Jun 2012 22:32:09 +0200] rev 587
Fix extract_integer_value.
Now we handle signed and unsigned in different mode.
(Thanks to Andreas)

Tue, 12 Jun 2012 17:15:24 +0100Fix typo (thanks Manuele)
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:15:24 +0100] rev 586
Fix typo (thanks Manuele)

Tue, 12 Jun 2012 17:12:09 +0100Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:12:09 +0100] rev 585
Remove potential access to NULL pointer.

Tue, 12 Jun 2012 17:07:40 +0100fix error message.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:07:40 +0100] rev 584
fix error message.

Tue, 12 Jun 2012 17:00:00 +0100Fix array index bound check to consider uint64 indexes/limits.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:00:00 +0100] rev 583
Fix array index bound check to consider uint64 indexes/limits.

Tue, 12 Jun 2012 09:45:31 +0200Fix structure initialize.
Manuele conti <conti.ma@alice.it> [Tue, 12 Jun 2012 09:45:31 +0200] rev 582
Fix structure initialize.

Mon, 11 Jun 2012 22:38:36 +0200Add check array out of bound.
Manuele Conti <conti.ma@alice.it> [Mon, 11 Jun 2012 22:38:36 +0200] rev 581
Add check array out of bound.

Mon, 11 Jun 2012 18:48:58 +0100Code for debugging const_value annotations in abstract syntax tree.
Mario de Sousa <msousa@fe.up.pt> [Mon, 11 Jun 2012 18:48:58 +0100] rev 580
Code for debugging const_value annotations in abstract syntax tree.

Mon, 11 Jun 2012 15:58:44 +0100Fix 'overflow' detection for real64.
Mario de Sousa <msousa@fe.up.pt> [Mon, 11 Jun 2012 15:58:44 +0100] rev 579
Fix 'overflow' detection for real64.

Sun, 10 Jun 2012 21:51:16 +0100small bug fix.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 21:51:16 +0100] rev 578
small bug fix.

Sun, 10 Jun 2012 21:28:21 +0200Fix compare expression in constat folding class.
Manuele Conti <conti.ma@alice.it> [Sun, 10 Jun 2012 21:28:21 +0200] rev 577
Fix compare expression in constat folding class.

Sun, 10 Jun 2012 21:47:15 +0100Fix extract_real (thanks Manuele), and add check for overflow.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 21:47:15 +0100] rev 576
Fix extract_real (thanks Manuele), and add check for overflow.

Sun, 10 Jun 2012 15:54:10 +0100cleaning up the code...
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:54:10 +0100] rev 575
cleaning up the code...

Sun, 10 Jun 2012 15:38:24 +0100Fix remaining overflow checks.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:38:24 +0100] rev 574
Fix remaining overflow checks.

Sat, 09 Jun 2012 22:58:43 +0100remove incorrect include file.
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 22:58:43 +0100] rev 573
remove incorrect include file.

Sat, 09 Jun 2012 22:55:29 +0100Correctly implement MOD operation and overflow checks (still missing uint * / MOD).
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 22:55:29 +0100] rev 572
Correctly implement MOD operation and overflow checks (still missing uint * / MOD).

Sat, 09 Jun 2012 08:35:46 +0100Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 08:35:46 +0100] rev 571
Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)

Fri, 08 Jun 2012 19:47:45 +0100cosmetic changes.
Mario de Sousa <msousa@fe.up.pt> [Fri, 08 Jun 2012 19:47:45 +0100] rev 570
cosmetic changes.

Fri, 08 Jun 2012 19:44:32 +0100Add data structure for storing overflow of constant values.
Mario de Sousa <msousa@fe.up.pt> [Fri, 08 Jun 2012 19:44:32 +0100] rev 569
Add data structure for storing overflow of constant values.

Wed, 06 Jun 2012 16:39:54 +0100make the compiler platform independent (i.e. no longer assume sizeof(double)==8).
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 16:39:54 +0100] rev 568
make the compiler platform independent (i.e. no longer assume sizeof(double)==8).

Wed, 06 Jun 2012 13:28:50 +0100create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 13:28:50 +0100] rev 567
create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!

Wed, 06 Jun 2012 00:20:06 +0200Update constant folding: fixing minor bug.
Manuele Conti <conti.ma@alice.it> [Wed, 06 Jun 2012 00:20:06 +0200] rev 566
Update constant folding: fixing minor bug.

Wed, 06 Jun 2012 12:39:32 +0100Fix a few bugs of previous commit.
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 12:39:32 +0100] rev 565
Fix a few bugs of previous commit.

Tue, 05 Jun 2012 19:17:29 +0200Start constant_folding class.
Manuele Conti <conti.ma@alice.it> [Tue, 05 Jun 2012 19:17:29 +0200] rev 564
Start constant_folding class.

Tue, 05 Jun 2012 11:10:12 +0200little typo in last commited code
Andreas Graeper <agraeper@googemail.com> [Tue, 05 Jun 2012 11:10:12 +0200] rev 563
little typo in last commited code
add if(is_bool_type(sym)) this->bool_type->accept(*this) in generate_c_il_c::visit(il_default_variable_c*)
to get .BOOLvar instead of .FALSEvar resp. .TRUEvar ..

Mon, 04 Jun 2012 18:22:11 +0100Change return data type of array_dimension_iterator_c.next()
Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Jun 2012 18:22:11 +0100] rev 562
Change return data type of array_dimension_iterator_c.next()

Wed, 16 May 2012 00:15:32 +0200Fix SFC stage4 error.
Manuele Conti <conti.ma@alice.it> [Wed, 16 May 2012 00:15:32 +0200] rev 561
Fix SFC stage4 error.

Tue, 15 May 2012 23:03:25 +0100Renamed class, remove unused code, delete allocated objects.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 23:03:25 +0100] rev 560
Renamed class, remove unused code, delete allocated objects.

Tue, 15 May 2012 18:59:32 +0200Start sematinc range check class.
Manuele Conti <conti.ma@alice.it> [Tue, 15 May 2012 18:59:32 +0200] rev 559
Start sematinc range check class.

Tue, 15 May 2012 15:50:43 +0100Located variables may have other data types besides ANY_BIT.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 15:50:43 +0100] rev 558
Located variables may have other data types besides ANY_BIT.

Sun, 13 May 2012 17:57:15 +0200Add verify_is_lvalue to control_variable in for_statement.
Manuele Conti <conti.ma@alice.it> [Sun, 13 May 2012 17:57:15 +0200] rev 557
Add verify_is_lvalue to control_variable in for_statement.

Thu, 10 May 2012 22:03:59 +0100Remove useless code, and replace with assertion.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 22:03:59 +0100] rev 556
Remove useless code, and replace with assertion.

Thu, 10 May 2012 19:20:18 +0100Fix bug: initialise un-initialised variable.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:20:18 +0100] rev 555
Fix bug: initialise un-initialised variable.

Thu, 10 May 2012 19:09:02 +0100Delete incorrect comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:09:02 +0100] rev 554
Delete incorrect comment.

Thu, 10 May 2012 16:15:27 +0100Add some comments...
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:15:27 +0100] rev 553
Add some comments...

Thu, 10 May 2012 16:09:50 +0100Add high level comments.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:09:50 +0100] rev 552
Add high level comments.

Thu, 10 May 2012 15:40:19 +0100Fix comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 15:40:19 +0100] rev 551
Fix comment.

Wed, 09 May 2012 23:13:04 +0100Fix the previous commit: check for errors in expressions used as subscripts.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:13:04 +0100] rev 550
Fix the previous commit: check for errors in expressions used as subscripts.

Wed, 09 May 2012 20:05:57 +0200Fix data type check array subscript field.
Manuele Conti <conti.ma@alice.it> [Wed, 09 May 2012 20:05:57 +0200] rev 549
Fix data type check array subscript field.

Wed, 09 May 2012 23:04:03 +0100Merge changes.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:04:03 +0100] rev 548
Merge changes.

Wed, 09 May 2012 23:00:10 +0100Fix parsing os TIME literals & rename the extract_integer() function.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:00:10 +0100] rev 547
Fix parsing os TIME literals & rename the extract_integer() function.

Wed, 09 May 2012 22:59:10 +0100Fix generation of output for iec2iec.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:59:10 +0100] rev 546
Fix generation of output for iec2iec.

Wed, 09 May 2012 22:04:38 +0100Do not compile deleted files...
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:38 +0100] rev 545
Do not compile deleted files...

Wed, 09 May 2012 22:04:07 +0100Do not compile deleted files...
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:07 +0100] rev 544
Do not compile deleted files...

Wed, 09 May 2012 22:03:05 +0100ReDelete files - used in old method of supporting standard functions.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:03:05 +0100] rev 543
ReDelete files - used in old method of supporting standard functions.

Wed, 09 May 2012 21:46:21 +0100Remove file (used for old method of supporting standard functions).
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 21:46:21 +0100] rev 542
Remove file (used for old method of supporting standard functions).

Fri, 27 Apr 2012 13:40:36 +0100Add TODO list!
Mario de Sousa <msousa@fe.up.pt> [Fri, 27 Apr 2012 13:40:36 +0100] rev 541
Add TODO list!

Thu, 26 Apr 2012 11:12:19 +0100Delete unecessary variable.
Mario de Sousa <msousa@fe.up.pt> [Thu, 26 Apr 2012 11:12:19 +0100] rev 540
Delete unecessary variable.

Thu, 03 May 2012 17:43:32 +0200Fix __dt_to_timespec primitive function.
Conti Manuele <conti.ma@alice.it> [Thu, 03 May 2012 17:43:32 +0200] rev 539
Fix __dt_to_timespec primitive function.
Set tm_isdst = 0 to disable DayLight Savig Time.

Wed, 02 May 2012 14:46:48 +0200Fix __dt_to_string primitive function.
Conti Manuele <manuele.conti@alice.it> [Wed, 02 May 2012 14:46:48 +0200] rev 538
Fix __dt_to_string primitive function.

Tue, 24 Apr 2012 16:49:43 +0200Fix code generation about __INIT_GLOBAL_LOCATED.
Conti Manuele <manuele.conti@alice.it> [Tue, 24 Apr 2012 16:49:43 +0200] rev 537
Fix code generation about __INIT_GLOBAL_LOCATED.

Wed, 25 Apr 2012 16:56:25 +0100Change constants into enums.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:56:25 +0100] rev 536
Change constants into enums.

Wed, 25 Apr 2012 16:45:00 +0100Add lvalue checking for IL function and FB invocations.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:45:00 +0100] rev 535
Add lvalue checking for IL function and FB invocations.

Wed, 25 Apr 2012 16:44:23 +0100Fix comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:44:23 +0100] rev 534
Fix comment.

Wed, 25 Apr 2012 16:21:14 +0100Add clarifying comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:21:14 +0100] rev 533
Add clarifying comment.

Wed, 25 Apr 2012 15:56:45 +0100Remove access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:56:45 +0100] rev 532
Remove access to NULL pointer.

Wed, 25 Apr 2012 15:46:53 +0100Make temporary fix to is_complex() method.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:46:53 +0100] rev 531
Make temporary fix to is_complex() method.

Tue, 24 Apr 2012 19:17:53 +0100Fix comment. (thanks go to Manuele for pointing it put).
Mario de Sousa <msousa@fe.up.pt> [Tue, 24 Apr 2012 19:17:53 +0100] rev 530
Fix comment. (thanks go to Manuele for pointing it put).

Mon, 23 Apr 2012 16:50:10 +0100Stop lvalue checks after finding an error in the expression.
Mario de Sousa <msousa@fe.up.pt> [Mon, 23 Apr 2012 16:50:10 +0100] rev 529
Stop lvalue checks after finding an error in the expression.

Mon, 23 Apr 2012 16:44:05 +0100Remove erroneous check for S1 and R1, and add missing declrataion.
Mario de Sousa <msousa@fe.up.pt> [Mon, 23 Apr 2012 16:44:05 +0100] rev 528
Remove erroneous check for S1 and R1, and add missing declrataion.

Sat, 21 Apr 2012 17:42:07 +0200Start implement lvalue check in IL instruction.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:42:07 +0200] rev 527
Start implement lvalue check in IL instruction.

Sat, 21 Apr 2012 17:43:55 +0200Add lvalue check on fb invocation.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:43:55 +0200] rev 526
Add lvalue check on fb invocation.

Thu, 19 Apr 2012 19:49:11 +0100Literals are also part of expressions!
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Apr 2012 19:49:11 +0100] rev 525
Literals are also part of expressions!

Wed, 18 Apr 2012 14:19:40 +0200Implement check_assignment_to_expression in lvalue_check_c class.
Conti Manuele <conti.ma@alice.it> [Wed, 18 Apr 2012 14:19:40 +0200] rev 524
Implement check_assignment_to_expression in lvalue_check_c class.

Wed, 18 Apr 2012 15:44:00 +0100Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 15:44:00 +0100] rev 523
Remove potential access to NULL pointer.

Wed, 18 Apr 2012 13:29:08 +0100Start having nicer stage 4 error messages.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 13:29:08 +0100] rev 522
Start having nicer stage 4 error messages.

Tue, 17 Apr 2012 17:41:58 +0200Improve usability command line under windows.
Conti Manuele <conti.ma@alice.it> [Tue, 17 Apr 2012 17:41:58 +0200] rev 521
Improve usability command line under windows.

Tue, 17 Apr 2012 17:59:02 +0100Ignore trailing EOLs when determining symbol location.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 17:59:02 +0100] rev 520
Ignore trailing EOLs when determining symbol location.
(Makes for niver error messages)

Tue, 17 Apr 2012 14:21:31 +0100Add comment.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 14:21:31 +0100] rev 519
Add comment.

Tue, 17 Apr 2012 14:17:07 +0100Fix Segmentation fault in check_assignment_to_output lvalue method.
Conti Manuele <conti.ma@alice.it> [Tue, 17 Apr 2012 14:17:07 +0100] rev 518
Fix Segmentation fault in check_assignment_to_output lvalue method.

Tue, 17 Apr 2012 10:11:45 +0100Remove deprecated status for ANYTIME operations.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 10:11:45 +0100] rev 517
Remove deprecated status for ANYTIME operations.

Tue, 17 Apr 2012 09:58:06 +0100Produce similar error messages in stage2 and stage3.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 09:58:06 +0100] rev 516
Produce similar error messages in stage2 and stage3.

Mon, 16 Apr 2012 20:13:58 +0100Fix bug when handling code with data type errors.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 20:13:58 +0100] rev 515
Fix bug when handling code with data type errors.

Mon, 16 Apr 2012 15:40:12 +0100Fix printing of data type errors in while and repeat statements.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:40:12 +0100] rev 514
Fix printing of data type errors in while and repeat statements.

Mon, 16 Apr 2012 15:27:53 +0100Add lvalue check for non formal function invocations.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:27:53 +0100] rev 513
Add lvalue check for non formal function invocations.

Mon, 16 Apr 2012 15:17:24 +0100Fixing check for assingment to FOR control variables.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:17:24 +0100] rev 512
Fixing check for assingment to FOR control variables.

Mon, 16 Apr 2012 15:10:31 +0100Moving get_var_name_c into its own file.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 15:10:31 +0100] rev 511
Moving get_var_name_c into its own file.

Mon, 16 Apr 2012 14:41:07 +0100Fixing check for assignment to output variables.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 14:41:07 +0100] rev 510
Fixing check for assignment to output variables.

Sun, 15 Apr 2012 19:56:33 +0100Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)
Mario de Sousa <msousa@fe.up.pt> [Sun, 15 Apr 2012 19:56:33 +0100] rev 509
Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)

Sat, 14 Apr 2012 20:02:36 +0200Add lvalue check class.
Manuele Conti <conti.ma@alice.it> [Sat, 14 Apr 2012 20:02:36 +0200] rev 508
Add lvalue check class.

Sat, 14 Apr 2012 18:05:50 +0100Determine the modifiers (CONST, REATAIN) used when declaring a variable.
manuele.conti@sirius-es.it [Sat, 14 Apr 2012 18:05:50 +0100] rev 507
Determine the modifiers (CONST, REATAIN) used when declaring a variable.

Sat, 14 Apr 2012 16:53:35 +0100Fix typo in comparison expression.
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 16:53:35 +0100] rev 506
Fix typo in comparison expression.

Sat, 14 Apr 2012 16:44:53 +0100Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 16:44:53 +0100] rev 505
Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
(Preparing to delete search_varfb_instance_type_c in the future!)

Sat, 14 Apr 2012 15:19:17 +0100Fix bug by expanding permissible data input of search_var_instance_decl_c
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 15:19:17 +0100] rev 504
Fix bug by expanding permissible data input of search_var_instance_decl_c
(this will also prepare us for removing search_varfb_instance_type_c in the future)

Fri, 13 Apr 2012 13:05:44 +0100Edit formating and delete unused code.
Mario de Sousa <msousa@fe.up.pt> [Fri, 13 Apr 2012 13:05:44 +0100] rev 503
Edit formating and delete unused code.

Sat, 07 Apr 2012 16:14:17 +0100Start data type checking of var declarations (including direct variables!)
Mario de Sousa <msousa@fe.up.pt> [Sat, 07 Apr 2012 16:14:17 +0100] rev 502
Start data type checking of var declarations (including direct variables!)

Tue, 03 Apr 2012 12:42:16 +0100Delete incorrect comments I had inserted previously (confusing EQ and NE functions)
Mario de Sousa <msousa@fe.up.pt> [Tue, 03 Apr 2012 12:42:16 +0100] rev 501
Delete incorrect comments I had inserted previously (confusing EQ and NE functions)