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.