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
Edouard Tisserant [Wed, 19 Feb 2014 22:27:11 +0100] rev 870
Merge
mjsousa [Sun, 16 Feb 2014 14:29:31 +0000] rev 869
fix definition of pragma.
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)
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)
mjsousa [Sat, 15 Feb 2014 23:58:16 +0000] rev 866
Add support for nested comments
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.
mjsousa [Tue, 11 Feb 2014 10:55:27 +0000] rev 864
merge
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)
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.
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
mjsousa [Sat, 08 Feb 2014 23:10:12 +0000] rev 860
Code cleanup (part 2): generate_typedecl_c now only prints to POUS.h !
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)
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() )
mjsousa [Sat, 08 Feb 2014 10:48:20 +0000] rev 857
fix a couple of typos.
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)
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.
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
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Dec 2013 11:44:38 +0000] rev 853
Fix bug-fix of previous commit.
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).
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] )
Mario de Sousa <msousa@fe.up.pt> [Sat, 07 Sep 2013 22:08:09 +0100] rev 850
Add assertion suggested by Manuele.
mjsousa [Fri, 23 Aug 2013 15:13:11 +0100] rev 849
merge
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!)
mjsousa [Fri, 23 Aug 2013 12:06:08 +0100] rev 847
Recursively check the datatype compatibility of values/expressions passed in function/FB invocations.
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.
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.
mjsousa [Thu, 22 Aug 2013 18:50:43 +0100] rev 844
Generate correct error message when encountering IL lists embedded in IL formal invocations.
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).
mjsousa [Thu, 22 Aug 2013 16:51:22 +0100] rev 842
Fix C code generation of FB invocation in IL.
mjsousa [Thu, 22 Aug 2013 07:39:33 +0100] rev 841
Fix detection of datatype errors on IL conditional flow control operators (JMPC, RETC, ...)
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.
mjsousa [Wed, 21 Aug 2013 21:34:43 +0100] rev 839
Small code cleanup (move common code to a function)
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)
mjsousa [Wed, 21 Aug 2013 21:14:50 +0100] rev 837
Fix datatype analyses of S and R IL operators.
mjsousa [Wed, 21 Aug 2013 16:08:50 +0100] rev 836
make sure all IL operands are narrowed (datatype checking algorithm)
mjsousa [Wed, 21 Aug 2013 16:06:43 +0100] rev 835
cosmetic change only - fix code alignment.
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).
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!)
mjsousa [Tue, 20 Aug 2013 11:08:15 +0100] rev 832
Allow get_datatype_info_c to be called with NULL parameters.
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!)
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)
mjsousa [Wed, 07 Aug 2013 10:34:57 +0100] rev 829
Delete debugging messages left in by mistake.
mjsousa [Wed, 07 Aug 2013 10:24:32 +0100] rev 828
Fix segfault when doing lvalue check of buggy IEC 61131-3 source code
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).
mjsousa [Mon, 05 Aug 2013 15:57:00 +0100] rev 826
Add capability of returning array subscript list while decomposing a struct/array variable.
mjsousa [Mon, 05 Aug 2013 08:26:30 +0100] rev 825
Code cleanup: Remove unused option = Delete dead code.
mjsousa [Tue, 20 Aug 2013 17:35:11 +0100] rev 824
merge
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)
Edouard Tisserant [Wed, 19 Feb 2014 22:25:10 +0100] rev 822
Fix build on Ubuntu 13.10
Laurent Bessard [Fri, 11 Oct 2013 12:38:36 +0200] rev 821
Fixed warning when compiling generated program containing external variable assignments
Edouard Tisserant [Fri, 07 Jun 2013 11:27:29 +0900] rev 820
Enlarged flex buffer size in order to accept larger C pragmas
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
Edouard Tisserant [Thu, 16 May 2013 14:37:33 +0900] rev 818
Moved __INIT_* defines within type definition headers files
Laurent Bessard [Thu, 02 May 2013 10:42:17 +0200] rev 817
Fixed warning in accessor __SET_EXTERNAL
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
Edouard Tisserant [Fri, 05 Apr 2013 09:37:52 +0900] rev 815
Merged Mario's changes
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.
Edouard Tisserant [Thu, 04 Apr 2013 09:45:11 +0900] rev 813
Merged Mario's changes
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.
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
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.
Mario de Sousa <msousa@fe.up.pt> [Tue, 05 Feb 2013 17:40:23 +0000] rev 809
Print filename when debugging abstract symbol table.
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!
Mario de Sousa <msousa@fe.up.pt> [Wed, 23 Jan 2013 14:30:03 +0000] rev 807
Fill symbol->datatype anotation for FB 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.
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).
Laurent Bessard [Mon, 11 Mar 2013 12:54:25 +0100] rev 804
Merged
Laurent Bessard [Mon, 11 Mar 2013 12:51:01 +0100] rev 803
Fixed bug in string format when translating TIME and DATETIME to STRING
Laurent Bessard [Mon, 11 Mar 2013 12:49:33 +0100] rev 802
Fixed bug with SFC transition datatype checking
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
Laurent Bessard [Fri, 08 Mar 2013 02:00:36 +0100] rev 800
Fixed bug in case statement with enumerated type variable as case expression
Laurent Bessard [Fri, 08 Mar 2013 01:01:15 +0100] rev 799
Merged
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
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.
Mario de Sousa <msousa@fe.up.pt> [Thu, 10 Jan 2013 10:49:50 +0000] rev 796
merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 18:27:06 +0000] rev 795
merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 18:26:32 +0000] rev 794
Fix divide by 0 bug.
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 18:23:07 +0000] rev 793
grand merge
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),
Mario de Sousa <msousa@fe.up.pt> [Thu, 10 Jan 2013 10:38:41 +0000] rev 791
merge
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 23:39:25 +0100] rev 790
Fix constant propagation for repeat_statement_c class.
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 23:16:19 +0100] rev 789
Remove unused variable.
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.
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.]
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 19:31:12 +0000] rev 786
Fix divide by 0 bug.
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 17:04:04 +0000] rev 785
merge
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 11:39:27 +0100] rev 784
Fix CPPFLAGS Makefile.am for all stage4.
Manuele Conti <conti.ma@alice.it> [Mon, 31 Dec 2012 11:02:38 +0100] rev 783
Remove redundant class for get variable name.
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.
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.
Manuele Conti <conti.ma@alice.it> [Thu, 27 Dec 2012 00:17:08 +0100] rev 780
Add constant propagation algorithm for loop cycles.
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()
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
Mario de Sousa <msousa@fe.up.pt> [Thu, 27 Dec 2012 15:04:58 +0000] rev 777
merge
Manuele Conti <conti.ma@alice.it> [Mon, 24 Dec 2012 16:56:08 +0100] rev 776
Fix comment about meet semilattice rules.
Manuele Conti <conti.ma@alice.it> [Sat, 22 Dec 2012 19:34:57 +0100] rev 775
Complete fix initialize const_value.
Manuele Conti <conti.ma@alice.it> [Sat, 22 Dec 2012 19:31:48 +0100] rev 774
Start to implement constant propagation algorithm.
Manuele Conti <conti.ma@alice.it> [Sat, 22 Dec 2012 19:30:44 +0100] rev 773
Fix const_value field initialized.
Manuele Conti <conti.ma@alice.it> [Sun, 02 Dec 2012 18:20:02 +0100] rev 772
Remove Ambiguous enumerate value in enum conversion functions.
Manuele Conti <conti.ma@alice.it> [Sun, 02 Dec 2012 12:30:41 +0100] rev 771
Fix enum conversion function to string.
Manuele Conti <conti.ma@alice.it> [Wed, 28 Nov 2012 22:51:24 +0100] rev 770
Fix struct generic_function_call_t initialize style.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Nov 2012 23:47:22 +0100] rev 769
Merge with Mario's changes.
Manuele Conti <conti.ma@alice.it> [Thu, 20 Dec 2012 10:46:51 +0100] rev 768
Merge with Mario's repository.
Manuele Conti <conti.ma@alice.it> [Thu, 20 Dec 2012 10:42:01 +0100] rev 767
Fix warning about call fprintf without format string.
Mario de Sousa <msousa@fe.up.pt> [Mon, 03 Dec 2012 18:44:16 +0000] rev 766
merge
Manuele Conti <conti.ma@alice.it> [Sun, 02 Dec 2012 18:20:02 +0100] rev 765
Remove Ambiguous enumerate value in enum conversion functions.
Manuele Conti <conti.ma@alice.it> [Sun, 02 Dec 2012 12:30:41 +0100] rev 764
Fix enum conversion function to string.
Manuele Conti <conti.ma@alice.it> [Wed, 28 Nov 2012 22:51:24 +0100] rev 763
Fix struct generic_function_call_t initialize style.
Mario de Sousa <msousa@fe.up.pt> [Mon, 03 Dec 2012 14:06:49 +0000] rev 762
Small code cleanup.
mjsousa [Sat, 01 Dec 2012 11:30:16 +0000] rev 761
Allow bison to ask for an END_OF_INPUT token multiple times!
mjsousa [Sat, 01 Dec 2012 11:27:48 +0000] rev 760
Protect against redefining macros
Mario de Sousa <msousa@fe.up.pt> [Tue, 27 Nov 2012 17:20:16 +0000] rev 759
merge
Manuele Conti <conti.ma@alice.it> [Tue, 27 Nov 2012 17:01:41 +0100] rev 758
Fix flag to enable conversion functions.
Mario de Sousa <msousa@fe.up.pt> [Tue, 27 Nov 2012 15:49:05 +0000] rev 757
Code cleanup: move tracking functions to flex.
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.
Mario de Sousa <msousa@fe.up.pt> [Mon, 26 Nov 2012 16:38:15 +0000] rev 755
merge
Manuele Conti <conti.ma@alice.it> [Fri, 23 Nov 2012 11:38:57 +0100] rev 754
Set ENO to false when conversion function fails.
Manuele Conti <conti.ma@alice.it> [Fri, 23 Nov 2012 14:11:57 +0100] rev 753
Fix typo in functionDataType array.
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...
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 19:26:56 +0000] rev 751
merge
Manuele Conti <conti.ma@alice.it> [Tue, 20 Nov 2012 21:06:55 +0100] rev 750
Refix automake files.
Manuele Conti <conti.ma@alice.it> [Tue, 20 Nov 2012 20:55:44 +0100] rev 749
Add some comments to argument new code.
Manuele Conti <conti.ma@alice.it> [Tue, 20 Nov 2012 00:01:57 +0100] rev 748
Start to change code like Mario suggestions.
Manuele Conti <conti.ma@alice.it> [Mon, 19 Nov 2012 22:53:43 +0100] rev 747
Create functionDataType array in derived_conversion_functions_c.
Manuele Conti <conti.ma@alice.it> [Fri, 16 Nov 2012 10:26:23 +0100] rev 746
Add conversion functions option.
Manuele Conti <manuele.conti@sirius-es.it> [Thu, 15 Nov 2012 17:30:35 +0100] rev 745
Start enumerate conversion functions.
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 19:19:48 +0000] rev 744
merge
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.
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 19:05:29 +0000] rev 742
merge
Manuele Conti <conti.ma@alice.it> [Mon, 12 Nov 2012 22:33:58 +0100] rev 741
Removed unused __attribute__((__packed__)) only gcc compatible.
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.
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 19:02:05 +0000] rev 739
merge
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.
Mario de Sousa <msousa@fe.up.pt> [Thu, 22 Nov 2012 18:51:42 +0000] rev 737
Fix comments and code alignment
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.
Manuele Conti <conti.ma@alice.it> [Sun, 18 Nov 2012 12:54:48 +0100] rev 735
Fix some important clang++ warnings.
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.
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)
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Nov 2012 18:37:42 +0000] rev 731
Print const values of symbol.
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).
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.
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.
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.
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!)
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Nov 2012 18:02:15 +0000] rev 725
Change the public interface to debug functions.
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)
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!
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!)
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Nov 2012 17:31:50 +0000] rev 721
Fix counting bug in dsymbtable_c
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)
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!
Mario de Sousa <msousa@fe.up.pt> [Wed, 07 Nov 2012 20:07:11 +0000] rev 718
Make search_base_type_c a singleton!
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)
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).
Laurent Bessard [Sat, 23 Feb 2013 23:14:59 +0100] rev 715
Added support for testing BCD value validity in BCD_TO_UINT function
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
Laurent Bessard [Wed, 19 Dec 2012 12:25:56 +0100] rev 713
Fix warning message when declaring global variables in configuration
Laurent Bessard [Tue, 04 Dec 2012 00:05:22 +0100] rev 712
Removed unused variable
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
Edouard Tisserant [Wed, 28 Nov 2012 12:00:38 +0900] rev 710
Removed files generedted by autoconf, should not be in repo
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
Laurent Bessard [Fri, 16 Nov 2012 01:02:54 +0100] rev 708
Fix in accessor undefined init methods for function block global instances
Laurent Bessard [Fri, 16 Nov 2012 00:39:35 +0100] rev 707
Fix undefined function toupper in iec_std_lib
Laurent Bessard [Thu, 15 Nov 2012 22:28:53 +0100] rev 706
Adding support for declaring function block instances as global and external variables
Laurent Bessard [Thu, 08 Nov 2012 18:55:57 +0100] rev 705
Fix DATE conversions 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
Laurent Bessard [Tue, 06 Nov 2012 19:56:23 +0100] rev 703
Fix indentation in SFC SL qualifier code generated
Laurent Bessard [Tue, 06 Nov 2012 19:17:36 +0100] rev 702
Fix indentation and unused variable warning in SFC generated code
Laurent Bessard [Wed, 31 Oct 2012 19:21:09 +0100] rev 701
Fix pragma with double bracket token stripping
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.
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 17:41:21 +0100] rev 699
Fix typo.
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 13:52:16 +0100] rev 698
Remove deprecated class search_constant_type_c
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
Manuele Conti <conti.ma@alice.it> [Tue, 09 Oct 2012 22:29:26 +0200] rev 696
Removing several warning in iec_std_lib.h
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Oct 2012 10:25:38 +0100] rev 695
Code formating only.
Manuele Conti <conti.ma@alice.it> [Sat, 06 Oct 2012 14:21:04 +0200] rev 694
Fix stage4 for compare expressions.
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
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
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.
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.
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).
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.
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
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)
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!)
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Oct 2012 11:28:06 +0100] rev 684
Comment out invalid assertion.
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.)
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Tue, 16 Oct 2012 18:56:03 +0100] rev 680
New visitor classes missing from previous commit.
Mario de Sousa <msousa@fe.up.pt> [Tue, 16 Oct 2012 18:23:16 +0100] rev 679
Remove line printing debug info.
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!)
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.
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
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Sun, 07 Oct 2012 09:33:42 +0100] rev 673
Delete unused variables.
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).
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 18:54:15 +0100] rev 671
Remove deprecated search_expression_type_c
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!).
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!)
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!
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 15:10:45 +0100] rev 667
Merge
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)
Mario de Sousa <msousa@fe.up.pt> [Thu, 04 Oct 2012 13:12:19 +0100] rev 665
Delete declaration of unused & undeclared functions.
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).
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.
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!)
Manuele Conti <conti.ma@alice.it> [Wed, 26 Sep 2012 20:12:39 +0200] rev 661
Minor changes needed to build with pedantic flag.
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.
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!
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.
Manuele Conti <manuele.conti@sirius-es.it> [Tue, 18 Sep 2012 14:21:19 +0200] rev 657
Start declaration check class.
Manuele Conti <conti.ma@alice.it> [Fri, 14 Sep 2012 23:35:18 +0200] rev 656
Start declaration check class.
Mario de Sousa <msousa@fe.up.pt> [Thu, 13 Sep 2012 17:12:40 +0100] rev 655
Adjust coding style.
agraeper [Sat, 08 Sep 2012 10:44:04 +0100] rev 654
list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.
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).
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 16:44:29 +0100] rev 650
Add some comments.
Manuele Conti <manuele.conti@sirius-es.it> [Thu, 30 Aug 2012 15:06:32 +0200] rev 649
Update configure script.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:35:15 +0100] rev 648
More precise handling of const value status.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:08:02 +0100] rev 647
Fix bug in checking array ranges.
Mario de Sousa <msousa@fe.up.pt> [Thu, 30 Aug 2012 13:06:54 +0100] rev 646
Add more info to error messages.
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 29 Aug 2012 21:52:33 +0100] rev 644
Merge.
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.
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Aug 2012 17:58:07 +0100] rev 640
Add some comments.
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.
Laurent Bessard [Tue, 23 Oct 2012 11:32:49 +0200] rev 638
Fix bug with NE function for STRING variables
Laurent Bessard [Mon, 22 Oct 2012 23:08:54 +0200] rev 637
Fix bug in code for pragma with double brackets
Laurent Bessard [Mon, 22 Oct 2012 17:44:40 +0200] rev 636
Merged
Laurent Bessard [Sun, 21 Oct 2012 16:55:08 +0200] rev 635
Adding support for direct array declaration in structure element declaration
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.
Laurent Bessard [Thu, 13 Sep 2012 16:35:10 +0200] rev 633
Fix bug with task interval using fixed_point value for duration items
Laurent Bessard [Thu, 13 Sep 2012 15:14:55 +0200] rev 632
Adding 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
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
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
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.
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
Edouard Tisserant [Sat, 01 Sep 2012 16:27:24 +0200] rev 626
Fixed VARIABLES.csv, was broken when using enumrated types
Laurent Bessard [Wed, 22 Aug 2012 16:46:17 +0200] rev 625
Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Aug 2012 19:03:13 +0100] rev 624
Moving function to correct location (formating only).
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.
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.
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.
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.
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
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Aug 2012 09:05:25 +0100] rev 618
Remove dead code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Aug 2012 08:33:58 +0100] rev 617
Change code formatting (alignment)
Mario de Sousa <msousa@fe.up.pt> [Tue, 31 Jul 2012 12:39:04 +0100] rev 616
Aloow use of SFC STEPs as variables.
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.
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Jul 2012 15:57:02 +0100] rev 614
Fix comment (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).
Mario de Sousa <msousa@fe.up.pt> [Fri, 20 Jul 2012 15:50:49 +0100] rev 612
Constant folding for IL.
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Jul 2012 13:42:05 +0100] rev 611
update comments.
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 23:43:57 +0100] rev 608
comment out un-used code.
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 17:10:57 +0100] rev 606
Cleaning up the code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 17:04:34 +0100] rev 605
Clean up the code a little.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Jul 2012 16:56:36 +0100] rev 604
Fixing includes to define INTxx_MAX etc...
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.
Mario de Sousa <msousa@fe.up.pt> [Tue, 19 Jun 2012 18:55:43 +0100] rev 602
fix typo.
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:52:09 +0100] rev 599
fix array bounds check.
Mario de Sousa <msousa@fe.up.pt> [Mon, 18 Jun 2012 15:37:37 +0100] rev 598
Fix stupid typos (in calculating array dimension)!
Mario de Sousa <msousa@fe.up.pt> [Sat, 16 Jun 2012 07:41:30 +0100] rev 597
Add file missing from previous commit.
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
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)
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).
Manuele Conti <conti.ma@alice.it> [Wed, 13 Jun 2012 19:51:26 +0200] rev 593
Fix literal MACRO gcc compliant.
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.
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!)
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.
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)
Manuele Conti <conti.ma@alice.it> [Tue, 12 Jun 2012 22:46:51 +0200] rev 588
Add missing set overflow flag.
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)
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:15:24 +0100] rev 586
Fix typo (thanks Manuele)
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:12:09 +0100] rev 585
Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Tue, 12 Jun 2012 17:07:40 +0100] rev 584
fix error message.
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.
Manuele conti <conti.ma@alice.it> [Tue, 12 Jun 2012 09:45:31 +0200] rev 582
Fix structure initialize.
Manuele Conti <conti.ma@alice.it> [Mon, 11 Jun 2012 22:38:36 +0200] rev 581
Add check array out of bound.
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.
Mario de Sousa <msousa@fe.up.pt> [Mon, 11 Jun 2012 15:58:44 +0100] rev 579
Fix 'overflow' detection for real64.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 21:51:16 +0100] rev 578
small bug fix.
Manuele Conti <conti.ma@alice.it> [Sun, 10 Jun 2012 21:28:21 +0200] rev 577
Fix compare expression in constat folding class.
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.
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:54:10 +0100] rev 575
cleaning up the code...
Mario de Sousa <msousa@fe.up.pt> [Sun, 10 Jun 2012 15:38:24 +0100] rev 574
Fix remaining overflow checks.
Mario de Sousa <msousa@fe.up.pt> [Sat, 09 Jun 2012 22:58:43 +0100] rev 573
remove incorrect include file.
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).
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)
Mario de Sousa <msousa@fe.up.pt> [Fri, 08 Jun 2012 19:47:45 +0100] rev 570
cosmetic changes.
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.
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).
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!
Manuele Conti <conti.ma@alice.it> [Wed, 06 Jun 2012 00:20:06 +0200] rev 566
Update constant folding: fixing minor bug.
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 12:39:32 +0100] rev 565
Fix a few bugs of previous commit.
Manuele Conti <conti.ma@alice.it> [Tue, 05 Jun 2012 19:17:29 +0200] rev 564
Start constant_folding class.
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 ..
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()
Manuele Conti <conti.ma@alice.it> [Wed, 16 May 2012 00:15:32 +0200] rev 561
Fix SFC stage4 error.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 23:03:25 +0100] rev 560
Renamed class, remove unused code, delete allocated objects.
Manuele Conti <conti.ma@alice.it> [Tue, 15 May 2012 18:59:32 +0200] rev 559
Start sematinc range check class.
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.
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.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 22:03:59 +0100] rev 556
Remove useless code, and replace with assertion.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:20:18 +0100] rev 555
Fix bug: initialise un-initialised variable.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 19:09:02 +0100] rev 554
Delete incorrect comment.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:15:27 +0100] rev 553
Add some comments...
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 16:09:50 +0100] rev 552
Add high level comments.
mjsousa <msousa@fe.up.pt> [Thu, 10 May 2012 15:40:19 +0100] rev 551
Fix comment.
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.
Manuele Conti <conti.ma@alice.it> [Wed, 09 May 2012 20:05:57 +0200] rev 549
Fix data type check array subscript field.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 23:04:03 +0100] rev 548
Merge changes.
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.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:59:10 +0100] rev 546
Fix generation of output for iec2iec.
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:38 +0100] rev 545
Do not compile deleted files...
mjsousa <msousa@fe.up.pt> [Wed, 09 May 2012 22:04:07 +0100] rev 544
Do not compile deleted files...
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.
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).
Mario de Sousa <msousa@fe.up.pt> [Fri, 27 Apr 2012 13:40:36 +0100] rev 541
Add TODO list!
Mario de Sousa <msousa@fe.up.pt> [Thu, 26 Apr 2012 11:12:19 +0100] rev 540
Delete unecessary variable.
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.
Conti Manuele <manuele.conti@alice.it> [Wed, 02 May 2012 14:46:48 +0200] rev 538
Fix __dt_to_string primitive function.
Conti Manuele <manuele.conti@alice.it> [Tue, 24 Apr 2012 16:49:43 +0200] rev 537
Fix code generation about __INIT_GLOBAL_LOCATED.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:56:25 +0100] rev 536
Change constants into enums.
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:44:23 +0100] rev 534
Fix comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 16:21:14 +0100] rev 533
Add clarifying comment.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:56:45 +0100] rev 532
Remove access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 25 Apr 2012 15:46:53 +0100] rev 531
Make temporary fix to is_complex() method.
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).
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.
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.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:42:07 +0200] rev 527
Start implement lvalue check in IL instruction.
Manuele Conti <conti.ma@alice.it> [Sat, 21 Apr 2012 17:43:55 +0200] rev 526
Add lvalue check on fb invocation.
Mario de Sousa <msousa@fe.up.pt> [Thu, 19 Apr 2012 19:49:11 +0100] rev 525
Literals are also part of expressions!
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 15:44:00 +0100] rev 523
Remove potential access to NULL pointer.
Mario de Sousa <msousa@fe.up.pt> [Wed, 18 Apr 2012 13:29:08 +0100] rev 522
Start having nicer stage 4 error messages.
Conti Manuele <conti.ma@alice.it> [Tue, 17 Apr 2012 17:41:58 +0200] rev 521
Improve usability command line under windows.
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)
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 14:21:31 +0100] rev 519
Add comment.
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.
Mario de Sousa <msousa@fe.up.pt> [Tue, 17 Apr 2012 10:11:45 +0100] rev 517
Remove deprecated status for ANYTIME operations.
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.
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.
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.
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.
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Mon, 16 Apr 2012 14:41:07 +0100] rev 510
Fixing check for assignment to output variables.
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)
Manuele Conti <conti.ma@alice.it> [Sat, 14 Apr 2012 20:02:36 +0200] rev 508
Add lvalue check class.
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.
Mario de Sousa <msousa@fe.up.pt> [Sat, 14 Apr 2012 16:53:35 +0100] rev 506
Fix typo in comparison expression.
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!)
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)
Mario de Sousa <msousa@fe.up.pt> [Fri, 13 Apr 2012 13:05:44 +0100] rev 503
Edit formating and delete unused code.
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!)
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)
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:46:37 +0100] rev 500
merging with Lauren't changeset.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:36:17 +0100] rev 499
merge with Laurent's changeset (essentially ignore all changes).
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 21:34:20 +0100] rev 498
merge with Laurent's changeset (essentially, ignore all changes).
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:36:08 +0100] rev 497
merging with Laurent's changes.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:34:33 +0100] rev 496
merging with Laurent's change.
Mario de Sousa <msousa@fe.up.pt> [Sat, 31 Mar 2012 15:30:38 +0100] rev 495
merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 19:03:40 +0100] rev 494
Add coment warning about incorrect implementation of the NE standard function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 18:57:53 +0100] rev 493
merging with Laurent's patch.
Mario de Sousa <msousa@fe.up.pt> [Thu, 29 Mar 2012 15:39:38 +0100] rev 492
Print correct error message when handling IL function calls.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 13:23:09 +0000] rev 491
Edit error message.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 13:18:02 +0000] rev 490
Add EXPT widen table.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 12:50:44 +0000] rev 489
Some stupid code cleanups.
Mario de Sousa <msousa@fe.up.pt> [Thu, 15 Mar 2012 12:31:57 +0000] rev 488
Some code cleanups.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 20:01:50 +0000] rev 487
Clean up the code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 19:31:17 +0000] rev 486
Fix error messages of il function calls - it now prints out location info of first parameter.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 11:31:07 +0000] rev 485
Clean code for printing errors in expressions.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 11:14:41 +0000] rev 484
Clean code for comparison operations & operators.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 10:51:49 +0000] rev 483
Cleaning up XORN, ANDN, and ORN operator code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 10:44:17 +0000] rev 482
Cleaning up some code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 14 Mar 2012 10:26:03 +0000] rev 481
Add 'widen' tables for AND, OR and XOR operations.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 19:04:07 +0000] rev 480
Add MOD widening table, and some code clean-ups.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 18:29:34 +0000] rev 479
Re-organizing the code.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 16:38:21 +0000] rev 478
Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
Expand widening tables for ADD, SUB, MUL and DIV.
Mario de Sousa <msousa@fe.up.pt> [Tue, 13 Mar 2012 12:39:09 +0000] rev 477
Clarify some details in the comments.
Manuele Conti <conti.ma@alice.it> [Sun, 11 Mar 2012 22:21:47 +0100] rev 476
Add check widening status for IL operator.
Fix check widening status for ST expression.
Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 18:24:39 +0000] rev 475
Fix remaining 'widen' tables.
Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 16:38:05 +0000] rev 474
Fix some 'widen' table entries.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:27:49 +0000] rev 473
Add a TODO comment.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:21:41 +0000] rev 472
Clean up code, and add support for 'safe' version of literals.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:21:04 +0000] rev 471
Bringing comment up to date.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 17:58:19 +0000] rev 470
Semantic verification of NOT operator.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:52:23 +0000] rev 469
Fix bug in building structured variables.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:51:56 +0000] rev 468
Delete unecessary copy_candidate_datatype_list() function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 19:14:45 +0000] rev 467
Delete no longer needed copy_candidate_datatype_list() function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 18:57:55 +0000] rev 466
Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 18:57:14 +0000] rev 465
Do not allow duplicate values in candidate datatype list.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 20:42:48 +0000] rev 464
Handle JMP to labels preceding the JMP instruction itself.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 20:27:20 +0000] rev 463
Correctly handle JMP and RET IL operators in flow control analysis.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 13:07:00 +0000] rev 462
Fix filling candidate datatypes of JMP operations
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 08:51:28 +0000] rev 461
Remove spurious printf()s, used during debugging session.
Mario de Sousa <msousa@fe.up.pt> [Fri, 02 Mar 2012 17:59:20 +0000] rev 460
Add missing files.
Mario de Sousa <msousa@fe.up.pt> [Fri, 02 Mar 2012 12:53:41 +0000] rev 459
Continue adding support for semantic verification of JMP and RET.
Conti Manuele <conti.ma@alice.it> [Thu, 01 Mar 2012 10:28:27 +0000] rev 458
iAdd warning for deprecated operations.
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:44:03 +0000] rev 457
Change prev_il_instruction to a vector<>
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:28:51 +0000] rev 456
Some small cleanups.
Mario de Sousa <msousa@fe.up.pt> [Sat, 25 Feb 2012 19:16:35 +0000] rev 455
Add support for semantic verification of CALC, CALCN, etc..
Mario de Sousa <msousa@fe.up.pt> [Thu, 23 Feb 2012 13:25:49 +0000] rev 454
Finish support for semantic verification of IL paranthesised expressions.
Mario de Sousa <msousa@fe.up.pt> [Tue, 21 Feb 2012 17:39:57 +0000] rev 453
More changes for support of semantic verification of il_expressions
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 19:44:40 +0000] rev 452
Start of support for IL expressions (parenthesis).
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 17:52:01 +0000] rev 451
Cleaning up the code.
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 15:24:26 +0000] rev 450
Fix a few more bugs related to FB/function calls in IL.
Mario de Sousa <msousa@fe.up.pt> [Sun, 19 Feb 2012 16:16:45 +0000] rev 449
Semantic verification: Add compatibility check for parameter direction in function invocation.
Mario de Sousa <msousa@fe.up.pt> [Sat, 18 Feb 2012 21:03:01 +0000] rev 448
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Feb 2012 19:47:58 +0000] rev 447
Start of support for semantic verification of FB calls in IL using special IL instructions.
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Feb 2012 19:47:23 +0000] rev 446
Delete some comments.
Conti Manuele <conti.ma@alice.it> [Thu, 16 Feb 2012 14:18:23 +0100] rev 445
Change name help function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Feb 2012 12:59:02 +0000] rev 444
Update comments on general architecture.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Feb 2012 10:27:52 +0000] rev 443
Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 17:04:29 +0000] rev 442
Code cleanup.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 16:29:55 +0000] rev 441
Add printing of semantic errors when calling FB from IL.
Manuele Conti <conti.ma@alice.it> [Sun, 12 Feb 2012 20:43:49 +0100] rev 440
Fix typo error in some il visit in fill_candidate_datatypes_c class.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 13:45:57 +0000] rev 439
Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!)
Mario de Sousa <msousa@fe.up.pt> [Fri, 10 Feb 2012 19:04:31 +0000] rev 438
Add support for semantic verification of function calls in IL.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:33:01 +0000] rev 437
Add TODO comment, and delete unused debugging code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:27:45 +0000] rev 436
Delete un-used code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:16:13 +0000] rev 435
Change negation expression (neg_expression_c) to only allow signed data types.
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 17:45:17 +0000] rev 434
Move elementary_c::to_string() to datatype_functions.cc/hh
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 17:40:19 +0000] rev 433
Add, to types symbol table, string datatypes with limited length (my_string_type: STRING[33]) (Thanks Andreas!)
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 12:17:00 +0000] rev 432
Correctly return the initial value of a string datatype, with limited length (STRING[33] := 'hello')
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 11:55:29 +0000] rev 431
More detailed error messages for FB invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 18:32:11 +0000] rev 430
More detailed error messages in function invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:21:08 +0000] rev 429
Fix bug in analysing real literals (thanks Andreas!)
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:15:31 +0000] rev 428
Remove debugging messages, and code cleanup.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:10:22 +0000] rev 427
Better error reporting in function invocations, and in invalid literal values.
Mario de Sousa <msousa@fe.up.pt> [Sun, 05 Feb 2012 19:09:12 +0000] rev 426
Better identification of erros in function/FB invocations.
Mario de Sousa <msousa@fe.up.pt> [Fri, 03 Feb 2012 18:16:20 +0000] rev 425
Print error messages when datatype erros found in ST function/FB calls.
Mario de Sousa <msousa@fe.up.pt> [Fri, 03 Feb 2012 14:43:14 +0000] rev 424
Continue checking data type compatibility inside expressions used to pass paramters to invalid function/FB calls
Mario de Sousa <msousa@fe.up.pt> [Fri, 03 Feb 2012 10:54:35 +0000] rev 423
Adding support for semantic verification of FB calls in ST.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 16:50:12 +0000] rev 422
Delete wrong comment.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 16:20:19 +0000] rev 421
Add support in stage 3 for checking function invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 14:18:02 +0000] rev 420
Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier.
Fix handling of FB calls in stage3.
Start handling of function invocations in stage3.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 10:00:53 +0000] rev 419
Changing code indenting.
Manuele Conti <conti.ma@alice.it> [Wed, 01 Feb 2012 22:40:54 +0100] rev 418
Add fill candidate method for fb_invocation_c symbol.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Feb 2012 19:49:11 +0000] rev 417
Re-write of stage3 code (done by Manuele and I), re-write of search_varfb_instance_type_c (done by myself), and several other bug fixes.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Feb 2012 13:01:08 +0000] rev 416
Merging with Laurent's repository.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Sep 2011 00:07:16 +0200] rev 415
Fix YYLTYPE declaration.
Mario de Sousa <msousa@fe.up.pt> [Sun, 20 Nov 2011 19:36:48 +0000] rev 414
Merging with Laurent's repository.
Mario de Sousa <msousa@fe.up.pt> [Fri, 04 Nov 2011 19:16:29 +0000] rev 413
Add list of things we must check for in stage 3 (TODO list!)
Laurent Bessard [Tue, 14 Aug 2012 19:40:01 +0200] rev 412
Fix bug with InOut variable of structured type
Laurent Bessard [Sat, 28 Jul 2012 17:38:57 +0200] rev 411
Fix bug while using complex type variables in Function and FunctionBlock interface
Laurent Bessard [Fri, 27 Jul 2012 15:43:32 +0200] rev 410
Fix bug while using complex type variables in Function and FunctionBlock interface
Laurent Bessard [Fri, 27 Jul 2012 15:40:44 +0200] rev 409
Fix bug with complex type inout variables while generating variable list
laurent [Thu, 22 Mar 2012 00:22:48 +0100] rev 408
Fixing bug in inlinefcall when a transition is in ST and contains literals
laurent [Fri, 24 Feb 2012 18:16:56 +0100] rev 407
Fix bug in code generated for MUL function
laurent [Fri, 24 Feb 2012 14:16:51 +0100] rev 406
Fix bug with overloaded function due to literal input values
laurent [Tue, 21 Feb 2012 22:31:38 +0100] rev 405
Fix bug wrong code generated when, in a pou, a located variable has the same name than a function block instance input variable
laurent [Tue, 21 Feb 2012 22:28:57 +0100] rev 404
Fix bug pointed structure not declared for directly derived datatypes
Edouard Tisserant [Thu, 16 Feb 2012 13:27:04 +0100] rev 403
removed forgotten prototype in __INIT_EXTERNAL accessor, causing warning ant build time
laurent [Tue, 07 Feb 2012 20:20:19 +0100] rev 402
Merge with Edouard's modifications
laurent [Tue, 07 Feb 2012 20:18:11 +0100] rev 401
Fix STEP and ACTION structure initialization value in SFC
Edouard Tisserant [Fri, 03 Feb 2012 18:01:13 +0100] rev 400
Applied anonymous contribution RTC, '[Beremiz-devel] RTC function', 29/06/11
laurent [Fri, 03 Feb 2012 00:09:52 +0100] rev 399
Fix bug with functions like LEN and TRUNC that have overloaded return type for same inputs type
laurent [Thu, 02 Feb 2012 00:34:04 +0100] rev 398
Fix issues in standard library with MUX, MOD, NE and convertions to BOOL
laurent [Wed, 25 Jan 2012 01:16:30 +0100] rev 397
Adding Common_Ticktime to informations printed in VARIABLES.csv file
laurent [Fri, 30 Dec 2011 18:25:39 +0100] rev 396
Fixing bug with external variables refering to global variables defined in configurations
Edouard Tisserant [Fri, 23 Dec 2011 15:17:45 +0100] rev 395
removed useless extern func declaration in __INIT_EXTERNAL, producing warning during build of POUS.c
laurent [Fri, 09 Dec 2011 10:03:37 +0100] rev 394
Fixing bug in generated code for complex type external variable
laurent [Fri, 09 Dec 2011 10:01:48 +0100] rev 393
Fixing SUB standard function defined in standard library
laurent [Fri, 18 Nov 2011 17:28:37 +0100] rev 392
Fixing generated code for global variables. Adding support for defining global variables with complex type
Fixing bug preventing to generate SFC transition with IL body
laurent [Fri, 18 Nov 2011 17:21:16 +0100] rev 391
Fixing bug in all SUB function definitions in standard_functions.txt
laurent [Fri, 18 Nov 2011 11:23:17 +0100] rev 390
Fix bug when using enumerated type in equ_expression or notequ_expression
Edouard Tisserant [Wed, 16 Nov 2011 17:48:22 +0100] rev 389
silenced warning on X86_64 build by casying numerical operand of snprintf
laurent [Fri, 04 Nov 2011 18:40:58 +0100] rev 388
Fix bug in generate_c_inlinefcall. Was not handling textual SFC elements
Mario de Sousa <msousa@fe.up.pt> [Sat, 29 Oct 2011 19:30:47 +0100] rev 387
Fix code generation of FOR loops. Now handles negative values of BY correctly.
Mario de Sousa <msousa@fe.up.pt> [Sat, 29 Oct 2011 18:56:25 +0100] rev 386
Fix semantic verification of enumerated data types.
Mario de Sousa <msousa@fe.up.pt> [Fri, 28 Oct 2011 10:25:07 +0100] rev 385
Adding a line to a comment. Does not change any code.
Edouard Tisserant [Thu, 20 Oct 2011 00:41:44 +0200] rev 384
fixed signedness warning on string slicing funcs in std lib
laurent [Wed, 12 Oct 2011 16:09:29 +0200] rev 383
Fix bug generate_c_inlinefcall in inline function name generated
laurent [Tue, 11 Oct 2011 12:30:49 +0200] rev 382
Fix bug in parser while trying to use IL operator like S1, R1, etc... as standard function block interface variable in structured_variable syntax and bug in code generator while generating code for assignment of function block interface variable using structured_variable syntax
laurent [Sun, 09 Oct 2011 20:18:55 +0200] rev 381
Fix bug in code generation of directly declared array variables that generate wrong code when using located variables in a program POU
laurent [Sun, 09 Oct 2011 20:16:41 +0200] rev 380
Fix bug in generate_c_inlinefcall.cc that prevent to use extendible standard functions
laurent [Sun, 09 Oct 2011 20:12:05 +0200] rev 379
Fix bug in definition of CONCAT standard function in iec_std_lib.h
Edouard Tisserant [Wed, 28 Sep 2011 14:55:26 +0200] rev 378
moved declaration __STR_CMP to prevent warning
laurent [Wed, 14 Sep 2011 22:58:39 +0200] rev 377
Adding support for compiling direct array specification inside variable declaration
laurent [Fri, 09 Sep 2011 12:03:15 +0200] rev 376
Making case statement code generated safer
laurent [Thu, 08 Sep 2011 20:25:00 +0200] rev 375
Merge with 01068ccb73b202b2872d4117ad01984bac956cbb
Manuele Conti <conti.ma@alice.it> [Thu, 01 Sep 2011 21:32:57 +0200] rev 374
Fix make on system without mercurial installed.
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 19:29:47 +0100] rev 373
delete code no longer needed.
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 14:51:59 +0100] rev 372
Implement get_type_decl(), as it seems Manuele will need it later...
Mario de Sousa <msousa@fe.up.pt> [Wed, 31 Aug 2011 14:10:53 +0100] rev 371
Cleaning up: Getting some sense into the code handling structures.
Matteo Facchinetti [Thu, 25 Aug 2011 17:22:44 +0200] rev 370
Add automatic HG changeset id information in "-v" param
Matteo Facchinetti [Thu, 25 Aug 2011 08:56:28 +0200] rev 369
Add iec2iec building in the project Makefiles.
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Aug 2011 11:29:43 +0100] rev 368
Update which files to ignore due to new autotools building environment.
Mario de Sousa <msousa@fe.up.pt> [Fri, 26 Aug 2011 10:48:09 +0100] rev 367
Add checks for undefined structure elements used IEC 61131-3 source code being compiled.
Mario de Sousa <msousa@fe.up.pt> [Thu, 25 Aug 2011 17:55:48 +0100] rev 366
Ignore underscores when extracting value of integer.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 17:18:37 +0100] rev 365
Deleting unused code.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 16:28:03 +0100] rev 364
Removing Makefiles made redundant by autotools.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 14:17:46 +0100] rev 363
fix bug report email address.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 14:15:12 +0100] rev 362
Add print version command line option.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 11:54:34 +0100] rev 361
Remove debugging printf() added by mistake in previous commit.
Mario de Sousa <msousa@fe.up.pt> [Tue, 23 Aug 2011 11:51:14 +0100] rev 360
Print error messages when data type errors in ST expressions are detected.