| Sun, 13 Jan 2013 14:25:38 +0000 |
Mario de Sousa |
Fill in the symbol->datatype of elementary datatypes.
|
changeset |
files
|
| Thu, 10 Jan 2013 10:49:50 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Thu, 03 Jan 2013 18:27:06 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Thu, 03 Jan 2013 18:26:32 +0000 |
Mario de Sousa |
Fix divide by 0 bug.
|
changeset |
files
|
| Thu, 03 Jan 2013 18:23:07 +0000 |
Mario de Sousa |
grand merge
|
changeset |
files
|
| Thu, 10 Jan 2013 10:47:06 +0000 |
Mario de Sousa |
disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),
|
changeset |
files
|
| Thu, 10 Jan 2013 10:38:41 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Thu, 03 Jan 2013 23:39:25 +0100 |
Manuele Conti |
Fix constant propagation for repeat_statement_c class.
|
changeset |
files
|
| Thu, 03 Jan 2013 23:16:19 +0100 |
Manuele Conti |
Remove unused variable.
|
changeset |
files
|
| Thu, 03 Jan 2013 22:54:55 +0100 |
Manuele Conti |
Implement Mario's suggestions:
|
changeset |
files
|
| Thu, 03 Jan 2013 20:34:10 +0100 |
Manuele Conti |
Fix constant_folding missing call. [Bug found by Mario.]
|
changeset |
files
|
| Thu, 03 Jan 2013 19:31:12 +0000 |
Mario de Sousa |
Fix divide by 0 bug.
|
changeset |
files
|
| Thu, 03 Jan 2013 17:04:04 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Thu, 03 Jan 2013 11:39:27 +0100 |
Manuele Conti |
Fix CPPFLAGS Makefile.am for all stage4.
|
changeset |
files
|
| Mon, 31 Dec 2012 11:02:38 +0100 |
Manuele Conti |
Remove redundant class for get variable name.
|
changeset |
files
|
| Fri, 28 Dec 2012 16:24:17 +0100 |
Manuele Conti |
Fix constant propagation alg. in for statement like Mario suggestion.
|
changeset |
files
|
| Fri, 28 Dec 2012 11:22:02 +0100 |
Manuele Conti |
Add note about How Constant Folding class is extended with a implementation constant propagation algorithm
|
changeset |
files
|
| Thu, 27 Dec 2012 00:17:08 +0100 |
Manuele Conti |
Add constant propagation algorithm for loop cycles.
|
changeset |
files
|
| Fri, 28 Dec 2012 11:51:24 +0000 |
Mario de Sousa |
Update symbol_c::first_file/last_file entries in list_c::add_element()
|
changeset |
files
|
| Thu, 27 Dec 2012 15:31:01 +0000 |
Mario de Sousa |
moved class to obtain datatype name (in char *) to get_datatype_info_c
|
changeset |
files
|
| Thu, 27 Dec 2012 15:04:58 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Mon, 24 Dec 2012 16:56:08 +0100 |
Manuele Conti |
Fix comment about meet semilattice rules.
|
changeset |
files
|
| Sat, 22 Dec 2012 19:34:57 +0100 |
Manuele Conti |
Complete fix initialize const_value.
|
changeset |
files
|
| Sat, 22 Dec 2012 19:31:48 +0100 |
Manuele Conti |
Start to implement constant propagation algorithm.
|
changeset |
files
|
| Sat, 22 Dec 2012 19:30:44 +0100 |
Manuele Conti |
Fix const_value field initialized.
|
changeset |
files
|
| Sun, 02 Dec 2012 18:20:02 +0100 |
Manuele Conti |
Remove Ambiguous enumerate value in enum conversion functions.
|
changeset |
files
|
| Sun, 02 Dec 2012 12:30:41 +0100 |
Manuele Conti |
Fix enum conversion function to string.
|
changeset |
files
|
| Wed, 28 Nov 2012 22:51:24 +0100 |
Manuele Conti |
Fix struct generic_function_call_t initialize style.
|
changeset |
files
|
| Tue, 27 Nov 2012 23:47:22 +0100 |
Manuele Conti |
Merge with Mario's changes.
|
changeset |
files
|
| Thu, 20 Dec 2012 10:46:51 +0100 |
Manuele Conti |
Merge with Mario's repository.
|
changeset |
files
|
| Thu, 20 Dec 2012 10:42:01 +0100 |
Manuele Conti |
Fix warning about call fprintf without format string.
|
changeset |
files
|
| Mon, 03 Dec 2012 18:44:16 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Sun, 02 Dec 2012 18:20:02 +0100 |
Manuele Conti |
Remove Ambiguous enumerate value in enum conversion functions.
|
changeset |
files
|
| Sun, 02 Dec 2012 12:30:41 +0100 |
Manuele Conti |
Fix enum conversion function to string.
|
changeset |
files
|
| Wed, 28 Nov 2012 22:51:24 +0100 |
Manuele Conti |
Fix struct generic_function_call_t initialize style.
|
changeset |
files
|
| Mon, 03 Dec 2012 14:06:49 +0000 |
Mario de Sousa |
Small code cleanup.
|
changeset |
files
|
| Sat, 01 Dec 2012 11:30:16 +0000 |
mjsousa |
Allow bison to ask for an END_OF_INPUT token multiple times!
|
changeset |
files
|
| Sat, 01 Dec 2012 11:27:48 +0000 |
mjsousa |
Protect against redefining macros
|
changeset |
files
|
| Tue, 27 Nov 2012 17:20:16 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Tue, 27 Nov 2012 17:01:41 +0100 |
Manuele Conti |
Fix flag to enable conversion functions.
|
changeset |
files
|
| Tue, 27 Nov 2012 15:49:05 +0000 |
Mario de Sousa |
Code cleanup: move tracking functions to flex.
|
changeset |
files
|
| Tue, 27 Nov 2012 14:49:08 +0000 |
Mario de Sousa |
Insert the auto generated enum datatype conversion functions after the TYPE...END_TYPE, instead of at the end of input file.
|
changeset |
files
|
| Mon, 26 Nov 2012 16:38:15 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Fri, 23 Nov 2012 11:38:57 +0100 |
Manuele Conti |
Set ENO to false when conversion function fails.
|
changeset |
files
|
| Fri, 23 Nov 2012 14:11:57 +0100 |
Manuele Conti |
Fix typo in functionDataType array.
|
changeset |
files
|
| Fri, 23 Nov 2012 09:31:55 +0000 |
Mario de Sousa |
Add files missing from a few commits ago...
|
changeset |
files
|
| Thu, 22 Nov 2012 19:26:56 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Tue, 20 Nov 2012 21:06:55 +0100 |
Manuele Conti |
Refix automake files.
|
changeset |
files
|
| Tue, 20 Nov 2012 20:55:44 +0100 |
Manuele Conti |
Add some comments to argument new code.
|
changeset |
files
|
| Tue, 20 Nov 2012 00:01:57 +0100 |
Manuele Conti |
Start to change code like Mario suggestions.
|
changeset |
files
|
| Mon, 19 Nov 2012 22:53:43 +0100 |
Manuele Conti |
Create functionDataType array in derived_conversion_functions_c.
|
changeset |
files
|
| Fri, 16 Nov 2012 10:26:23 +0100 |
Manuele Conti |
Add conversion functions option.
|
changeset |
files
|
| Thu, 15 Nov 2012 17:30:35 +0100 |
Manuele Conti |
Start enumerate conversion functions.
|
changeset |
files
|
| Thu, 22 Nov 2012 19:19:48 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Mon, 12 Nov 2012 22:36:55 +0100 |
Manuele Conti |
Be sure to not redefine TRUE and FALSE macros.
|
changeset |
files
|
| Thu, 22 Nov 2012 19:05:29 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Mon, 12 Nov 2012 22:33:58 +0100 |
Manuele Conti |
Removed unused __attribute__((__packed__)) only gcc compatible.
|
changeset |
files
|
| Mon, 12 Nov 2012 22:26:21 +0100 |
Manuele Conti |
Protect IEC_STD_LIB.H header agaist multi-include problems.
|
changeset |
files
|
| Thu, 22 Nov 2012 19:02:05 +0000 |
Mario de Sousa |
merge
|
changeset |
files
|
| Thu, 22 Nov 2012 18:53:37 +0000 |
Mario de Sousa |
Start to move enumeration declaration checking to its own class.
|
changeset |
files
|
| Thu, 22 Nov 2012 18:51:42 +0000 |
Mario de Sousa |
Fix comments and code alignment
|
changeset |
files
|
| Mon, 19 Nov 2012 18:59:12 +0000 |
Mario de Sousa |
Fix warnings previous change introduced when compiling with gcc.
|
changeset |
files
|
| Sun, 18 Nov 2012 12:54:48 +0100 |
Manuele Conti |
Fix some important clang++ warnings.
|
changeset |
files
|
| Thu, 15 Nov 2012 14:14:00 +0000 |
Mario de Sousa |
Allow use of type#value syntax when defining default initial value inside a TYPE..END_TYPE declaration.
|
changeset |
files
|
| Thu, 15 Nov 2012 12:57:04 +0000 |
Mario de Sousa |
Do datatype verification of fully qualified enumerated values (e.g. ENUMTYPE#enumconst)
|
changeset |
files
|
| Wed, 14 Nov 2012 18:39:02 +0000 |
Mario de Sousa |
Add datatype checking of enumeration data type declarations.
|
changeset |
files
|
| Wed, 14 Nov 2012 18:37:42 +0000 |
Mario de Sousa |
Print const values of symbol.
|
changeset |
files
|
| Wed, 14 Nov 2012 15:25:03 +0000 |
Mario de Sousa |
Fix code generation of enum value constants (this is a temporary fix - it will be followed by a code cleanup).
|
changeset |
files
|
| Wed, 14 Nov 2012 15:18:14 +0000 |
Mario de Sousa |
Fix bug in datatype checking of enumerated datatypes delcarations.
|
changeset |
files
|
| Wed, 14 Nov 2012 14:03:57 +0000 |
Mario de Sousa |
Fix datatype checking of enumerated datatype declarations. We now follow the fill->narrow algorithm correctly.
|
changeset |
files
|
| Wed, 14 Nov 2012 13:10:05 +0000 |
Mario de Sousa |
Add method to determine the id (name) of a datatype.
|
changeset |
files
|
| Tue, 13 Nov 2012 18:03:17 +0000 |
Mario de Sousa |
Change the base datatype of enumerations to an enumerated_type_declaration_c (for named types!)
|
changeset |
files
|
| Tue, 13 Nov 2012 18:02:15 +0000 |
Mario de Sousa |
Change the public interface to debug functions.
|
changeset |
files
|
| Fri, 09 Nov 2012 14:34:36 +0000 |
Mario de Sousa |
Check for errors in enum datatype declarations. (This is not yet complete as it will not yet stop the compilation process if these errors are found)
|
changeset |
files
|
| Fri, 09 Nov 2012 13:08:18 +0000 |
Mario de Sousa |
Fix one more bug - upper_bound() works a little differently to what we want!
|
changeset |
files
|
| Thu, 08 Nov 2012 17:54:48 +0000 |
Mario de Sousa |
Fix more bugs in dsymtable_c (real semantics of std::multimap::lower_bound is not what was assumed!)
|
changeset |
files
|
| Thu, 08 Nov 2012 17:31:50 +0000 |
Mario de Sousa |
Fix counting bug in dsymbtable_c
|
changeset |
files
|
| Thu, 08 Nov 2012 17:31:29 +0000 |
Mario de Sousa |
Use duplicate symtable instead of symtable for enum constant value table (this will later allow us to detect semantic errors in IEC 61131-3 source code)
|
changeset |
files
|
| Thu, 08 Nov 2012 12:49:03 +0000 |
Mario de Sousa |
Move the enumerated_value_symtable to fill_candidate_datatypes_c, since it is only used there!
|
changeset |
files
|
| Wed, 07 Nov 2012 20:07:11 +0000 |
Mario de Sousa |
Make search_base_type_c a singleton!
|
changeset |
files
|
| Wed, 07 Nov 2012 19:26:38 +0000 |
Mario de Sousa |
Start datatype checking of variable declarations (for now, only seting symbol.datatype of enumerations)
|
changeset |
files
|
| Wed, 07 Nov 2012 10:03:54 +0000 |
Mario de Sousa |
Do datatype checking of enum values defined inside anonymous enumeration types (i.e. enum types defined inside a VAR ... END_VAR daclaration).
|
changeset |
files
|
| Sat, 23 Feb 2013 23:14:59 +0100 |
Laurent Bessard |
Added support for testing BCD value validity in BCD_TO_UINT function
|
changeset |
files
|
| Sat, 23 Feb 2013 22:38:37 +0100 |
Laurent Bessard |
Fixed bug in DATE_AND_TIME_TO_TIME_OF_DAY and DATE_AND_TIME_TO_DATE when date and time is before 1970-01-01-00:00:00
|
changeset |
files
|
| Wed, 19 Dec 2012 12:25:56 +0100 |
Laurent Bessard |
Fix warning message when declaring global variables in configuration
|
changeset |
files
|
| Tue, 04 Dec 2012 00:05:22 +0100 |
Laurent Bessard |
Removed unused variable
|
changeset |
files
|
| Mon, 03 Dec 2012 23:36:03 +0100 |
Laurent Bessard |
Replacing libc time functions for date <-> timespec translation by platform and localtime independant implementation
|
changeset |
files
|
| Wed, 28 Nov 2012 12:00:38 +0900 |
Edouard Tisserant |
Removed files generedted by autoconf, should not be in repo
|
changeset |
files
|
| Wed, 28 Nov 2012 11:52:03 +0900 |
Edouard Tisserant |
Fixed timegm usage incompatible with mingw, reverted to mktime in case mingw is detected
|
changeset |
files
|
| Fri, 16 Nov 2012 01:02:54 +0100 |
Laurent Bessard |
Fix in accessor undefined init methods for function block global instances
|
changeset |
files
|
| Fri, 16 Nov 2012 00:39:35 +0100 |
Laurent Bessard |
Fix undefined function toupper in iec_std_lib
|
changeset |
files
|
| Thu, 15 Nov 2012 22:28:53 +0100 |
Laurent Bessard |
Adding support for declaring function block instances as global and external variables
|
changeset |
files
|
| Thu, 08 Nov 2012 18:55:57 +0100 |
Laurent Bessard |
Fix DATE conversions standard functions
|
changeset |
files
|
| Thu, 08 Nov 2012 12:10:52 +0100 |
Laurent Bessard |
Fix definition of BCD to ANY_UINT and ANY_UINT to BCD conversion standard functions
|
changeset |
files
|
| Tue, 06 Nov 2012 19:56:23 +0100 |
Laurent Bessard |
Fix indentation in SFC SL qualifier code generated
|
changeset |
files
|
| Tue, 06 Nov 2012 19:17:36 +0100 |
Laurent Bessard |
Fix indentation and unused variable warning in SFC generated code
|
changeset |
files
|
| Wed, 31 Oct 2012 19:21:09 +0100 |
Laurent Bessard |
Fix pragma with double bracket token stripping
|
changeset |
files
|
| Wed, 24 Oct 2012 00:06:55 +0200 |
Manuele Conti |
Fix some warning about loss of precision data in iec_std_lib.h file.
|
changeset |
files
|
| Fri, 26 Oct 2012 17:41:21 +0100 |
Mario de Sousa |
Fix typo.
|
changeset |
files
|
| Fri, 26 Oct 2012 13:52:16 +0100 |
Mario de Sousa |
Remove deprecated class search_constant_type_c
|
changeset |
files
|
| Fri, 26 Oct 2012 13:48:16 +0100 |
Mario de Sousa |
replace call to search_constant_type_c with symbol.datatype
|
changeset |
files
|
| Tue, 09 Oct 2012 22:29:26 +0200 |
Manuele Conti |
Removing several warning in iec_std_lib.h
|
changeset |
files
|
| Fri, 26 Oct 2012 10:25:38 +0100 |
Mario de Sousa |
Code formating only.
|
changeset |
files
|
| Sat, 06 Oct 2012 14:21:04 +0200 |
Manuele Conti |
Fix stage4 for compare expressions.
|
changeset |
files
|
| Fri, 26 Oct 2012 10:11:28 +0100 |
Mario de Sousa |
Prepare to delete search_constant_type_c -> Move the static variables from search_constant_type_c to get_datatype_info_c
|
changeset |
files
|
| Thu, 25 Oct 2012 18:51:55 +0100 |
Mario de Sousa |
Remove no longer needed search_il_operand_type_c
|
changeset |
files
|
| Thu, 25 Oct 2012 18:27:23 +0100 |
Mario de Sousa |
Also force_narrow IL instructions inside IL expressions, i.e. inside parenthesis.
|
changeset |
files
|
| Thu, 25 Oct 2012 18:20:28 +0100 |
Mario de Sousa |
Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis.
|
changeset |
files
|
| Thu, 25 Oct 2012 18:12:51 +0100 |
Mario de Sousa |
Fix bug when handling IL expressions (i.e. IL instructions inside parenthesis).
|
changeset |
files
|
| Thu, 25 Oct 2012 13:40:13 +0100 |
Mario de Sousa |
Delete debugging code, introduced by mistake in previous commit.
|
changeset |
files
|
| Thu, 25 Oct 2012 12:48:48 +0100 |
Mario de Sousa |
Fix handling of IL parenthesized expressions in generate_c_il_c
|
changeset |
files
|
| Thu, 25 Oct 2012 12:39:01 +0100 |
Mario de Sousa |
Fix processing of TIME literals (submited by Andreas)
|
changeset |
files
|
| Thu, 25 Oct 2012 12:05:31 +0100 |
Mario de Sousa |
Fix flow control analysis of IL simple instructions (i.e. IL instructions inside parenthises!)
|
changeset |
files
|
| Thu, 25 Oct 2012 11:28:06 +0100 |
Mario de Sousa |
Comment out invalid assertion.
|
changeset |
files
|
| Thu, 25 Oct 2012 11:15:55 +0100 |
Mario de Sousa |
Code cleanup: get the datatype of each entity off symbol->datatype (set in stage3 datatype checking), instead of determining it again in stage4. (NOTE: handling of IL parenthesized expressions is not working! Will be fixed later.)
|
changeset |
files
|
| Wed, 24 Oct 2012 15:32:48 +0100 |
Mario de Sousa |
Major code cleanup: IL code generation now uses symbol.datatype (filled in during stage3 data type checking) instead of determining the symbol's datatype by itself.
|
changeset |
files
|
| Thu, 18 Oct 2012 10:57:13 +0100 |
Mario de Sousa |
Do not repeat narrow algorithm for ST code, and better comments.
|
changeset |
files
|
| Tue, 16 Oct 2012 18:56:03 +0100 |
Mario de Sousa |
New visitor classes missing from previous commit.
|
changeset |
files
|
| Tue, 16 Oct 2012 18:23:16 +0100 |
Mario de Sousa |
Remove line printing debug info.
|
changeset |
files
|
| Tue, 16 Oct 2012 18:06:32 +0100 |
Mario de Sousa |
Add classes to print status of AST (use only for debugging!)
|
changeset |
files
|
| Tue, 16 Oct 2012 18:01:22 +0100 |
Mario de Sousa |
Remove all remaining NULL (undefined) datatypes from IL code.
|
changeset |
files
|
| Sat, 13 Oct 2012 12:13:49 +0100 |
Mario de Sousa |
Move is_datatype_valid/equal() to get_datatype_info_c
|
changeset |
files
|
| Thu, 11 Oct 2012 19:16:35 +0100 |
Mario de Sousa |
Fix bug related to support of SAFE datatypes.
|
changeset |
files
|
| Sun, 07 Oct 2012 09:45:54 +0100 |
Mario de Sousa |
Set datatype of il_intruction_c objects containing an ST operator.
|
changeset |
files
|
| Sun, 07 Oct 2012 09:33:42 +0100 |
Mario de Sousa |
Delete unused variables.
|
changeset |
files
|
| Sat, 06 Oct 2012 22:29:04 +0100 |
Mario de Sousa |
Use doubly linked connections for flow control graph (will be used later).
|
changeset |
files
|
| Thu, 04 Oct 2012 18:54:15 +0100 |
Mario de Sousa |
Remove deprecated search_expression_type_c
|
changeset |
files
|
| Thu, 04 Oct 2012 18:50:21 +0100 |
Mario de Sousa |
Deprecate use of search_expression_type_c (prepare for complete removal!).
|
changeset |
files
|