| Tue, 20 Aug 2013 11:08:15 +0100 |
mjsousa |
Allow get_datatype_info_c to be called with NULL parameters.
|
changeset |
files
|
| Thu, 15 Aug 2013 11:24:54 +0100 |
mjsousa |
Do lvalue check of function output parameters (since they may contain expressions inside array subscripts!)
|
changeset |
files
|
| Sat, 10 Aug 2013 09:10:06 +0100 |
mjsousa |
Handle buggy source code gracefully (do not bork when non-array variable is used as an array. e.g: int_var[42]:= 33)
|
changeset |
files
|
| Wed, 07 Aug 2013 10:34:57 +0100 |
mjsousa |
Delete debugging messages left in by mistake.
|
changeset |
files
|
| Wed, 07 Aug 2013 10:24:32 +0100 |
mjsousa |
Fix segfault when doing lvalue check of buggy IEC 61131-3 source code
|
changeset |
files
|
| Wed, 07 Aug 2013 10:18:29 +0100 |
mjsousa |
Fix datatype analysis of structured variables that contain arrays in their fields (e.g. var.x1[var2 + 42].y1).
|
changeset |
files
|
| Mon, 05 Aug 2013 15:57:00 +0100 |
mjsousa |
Add capability of returning array subscript list while decomposing a struct/array variable.
|
changeset |
files
|
| Mon, 05 Aug 2013 08:26:30 +0100 |
mjsousa |
Code cleanup: Remove unused option = Delete dead code.
|
changeset |
files
|
| Tue, 20 Aug 2013 17:35:11 +0100 |
mjsousa |
merge
|
changeset |
files
|
| Fri, 19 Jul 2013 13:31:35 +0100 |
Mario de Sousa |
Declare that YYLSTYPE is not the default trivial datatype used by bison. (was causing compile errors in bison ver >= 2.7)
|
changeset |
files
|
| Wed, 19 Feb 2014 22:25:10 +0100 |
Edouard Tisserant |
Fix build on Ubuntu 13.10
|
changeset |
files
|
| Fri, 11 Oct 2013 12:38:36 +0200 |
Laurent Bessard |
Fixed warning when compiling generated program containing external variable assignments
|
changeset |
files
|
| Fri, 07 Jun 2013 11:27:29 +0900 |
Edouard Tisserant |
Enlarged flex buffer size in order to accept larger C pragmas
|
changeset |
files
|
| Sat, 18 May 2013 16:35:41 +0900 |
edouard |
Missing braces arround extern declarartions in __SET_EXTERNAL define was making problem with GCC in switch case statements
|
changeset |
files
|
| Thu, 16 May 2013 14:37:33 +0900 |
Edouard Tisserant |
Moved __INIT_* defines within type definition headers files
|
changeset |
files
|
| Thu, 02 May 2013 10:42:17 +0200 |
Laurent Bessard |
Fixed warning in accessor __SET_EXTERNAL
|
changeset |
files
|
| Thu, 18 Apr 2013 22:27:01 +0200 |
Laurent Bessard |
Fixed bug when defining task with single_data_source instead of interval_data_source
|
changeset |
files
|
| Fri, 05 Apr 2013 09:37:52 +0900 |
Edouard Tisserant |
Merged Mario's changes
|
changeset |
files
|
| Thu, 04 Apr 2013 18:55:20 +0100 |
Mario de Sousa |
Fix bug related to FB invocation of FB instances declared as VAR_EXTERN.
|
changeset |
files
|
| Thu, 04 Apr 2013 09:45:11 +0900 |
Edouard Tisserant |
Merged Mario's changes
|
changeset |
files
|
| Wed, 03 Apr 2013 19:49:52 +0100 |
Mario de Sousa |
Partial fix to VAR_EXTERN vs VAR_GLOBAL check. Now considers globals declared in resources too. TODO: recursively check FB declared in the program.
|
changeset |
files
|
| Fri, 22 Feb 2013 21:09:59 +0000 |
Mario de Sousa |
Allow variables declared inside resources to be referenced by res_name.var_name
|
changeset |
files
|
| Wed, 13 Feb 2013 18:56:25 +0000 |
Mario de Sousa |
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.
|
changeset |
files
|
| Tue, 05 Feb 2013 17:40:23 +0000 |
Mario de Sousa |
Print filename when debugging abstract symbol table.
|
changeset |
files
|
| Wed, 23 Jan 2013 14:53:14 +0000 |
Mario de Sousa |
Consider fb_name_decl_c a non base data type class!
|
changeset |
files
|
| Wed, 23 Jan 2013 14:30:03 +0000 |
Mario de Sousa |
Fill symbol->datatype anotation for FB declarations.
|
changeset |
files
|
| Wed, 23 Jan 2013 13:46:11 +0000 |
Mario de Sousa |
Fill in the symbol.datatype annotation in symbol classes used in derived data type declarations.
|
changeset |
files
|
| Tue, 22 Jan 2013 16:07:49 +0000 |
Mario de Sousa |
Use simple_spec_init_c inside en_param_declaration_c (will reduce need to handle it as a special case in the future).
|
changeset |
files
|
| Mon, 11 Mar 2013 12:54:25 +0100 |
Laurent Bessard |
Merged
|
changeset |
files
|
| Mon, 11 Mar 2013 12:51:01 +0100 |
Laurent Bessard |
Fixed bug in string format when translating TIME and DATETIME to STRING
|
changeset |
files
|
| Mon, 11 Mar 2013 12:49:33 +0100 |
Laurent Bessard |
Fixed bug with SFC transition datatype checking
|
changeset |
files
|
| Fri, 08 Mar 2013 11:38:26 +0900 |
Edouard Tisserant |
Stripped generated files again. http://stackoverflow.com/questions/3290908/which-files-generated-by-autotools-should-i-keep-in-version-control-repository
|
changeset |
files
|
| Fri, 08 Mar 2013 02:00:36 +0100 |
Laurent Bessard |
Fixed bug in case statement with enumerated type variable as case expression
|
changeset |
files
|
| Fri, 08 Mar 2013 01:01:15 +0100 |
Laurent Bessard |
Merged
|
changeset |
files
|
| Sun, 13 Jan 2013 16:06:00 +0000 |
Mario de Sousa |
Set the symbol->datatpe of function_declaration_c
|
changeset |
files
|
| 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
|
| Thu, 04 Oct 2012 18:29:26 +0100 |
Mario de Sousa |
Deprecate use of search_expression_type_c (prepare for complete removal!)
|
changeset |
files
|
| Thu, 04 Oct 2012 16:53:02 +0100 |
Mario de Sousa |
Deprecating use of search_expression_type_c, so it may later be deleted!
|
changeset |
files
|
| Thu, 04 Oct 2012 15:10:45 +0100 |
Mario de Sousa |
Merge
|
changeset |
files
|
| Thu, 04 Oct 2012 14:30:51 +0100 |
Mario de Sousa |
Add new get_datatype_info_c (preparing to remove search_expression_type_c)
|
changeset |
files
|
| Thu, 04 Oct 2012 13:12:19 +0100 |
Mario de Sousa |
Delete declaration of unused & undeclared functions.
|
changeset |
files
|
| Wed, 03 Oct 2012 17:44:25 +0100 |
Mario de Sousa |
Delete class elements that are not used (clean up code).
|
changeset |
files
|
| Fri, 28 Sep 2012 23:59:28 +0200 |
Manuele Conti |
Add check whether external var matches to global var.
|
changeset |
files
|
| Thu, 27 Sep 2012 18:14:52 +0100 |
Mario de Sousa |
Also check FB passed as parameters in FB/Function calls (Thanks Andreas!)
|
changeset |
files
|
| Wed, 26 Sep 2012 20:12:39 +0200 |
Manuele Conti |
Minor changes needed to build with pedantic flag.
|
changeset |
files
|
| Fri, 21 Sep 2012 09:54:10 +0100 |
Mario de Sousa |
Also check external/global variable consistency in configurations and FBs.
|
changeset |
files
|
| Fri, 21 Sep 2012 09:53:20 +0100 |
Mario de Sousa |
add method for printing class_name. USE ONLY FOR DEBUGING!
|
changeset |
files
|
| Wed, 19 Sep 2012 11:23:15 +0100 |
Mario de Sousa |
store POU reference to POU declaration instead of global var declarations.
|
changeset |
files
|
| Tue, 18 Sep 2012 14:21:19 +0200 |
Manuele Conti |
Start declaration check class.
|
changeset |
files
|
| Fri, 14 Sep 2012 23:35:18 +0200 |
Manuele Conti |
Start declaration check class.
|
changeset |
files
|
| Thu, 13 Sep 2012 17:12:40 +0100 |
Mario de Sousa |
Adjust coding style.
|
changeset |
files
|
| Sat, 08 Sep 2012 10:44:04 +0100 |
agraeper |
list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.
|
changeset |
files
|
| Fri, 31 Aug 2012 19:30:48 +0100 |
Mario de Sousa |
Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).
|
changeset |
files
|
| Fri, 31 Aug 2012 15:09:25 +0100 |
Mario de Sousa |
Start adding support for data type checking of enums.
|
changeset |
files
|
| Fri, 31 Aug 2012 10:11:19 +0100 |
Mario de Sousa |
Remove comment no longer valid since introduction of constant folding.
|
changeset |
files
|
| Thu, 30 Aug 2012 16:44:29 +0100 |
Mario de Sousa |
Add some comments.
|
changeset |
files
|
| Thu, 30 Aug 2012 15:06:32 +0200 |
Manuele Conti |
Update configure script.
|
changeset |
files
|
| Thu, 30 Aug 2012 13:35:15 +0100 |
Mario de Sousa |
More precise handling of const value status.
|
changeset |
files
|
| Thu, 30 Aug 2012 13:08:02 +0100 |
Mario de Sousa |
Fix bug in checking array ranges.
|
changeset |
files
|
| Thu, 30 Aug 2012 13:06:54 +0100 |
Mario de Sousa |
Add more info to error messages.
|
changeset |
files
|
| Thu, 30 Aug 2012 13:04:30 +0100 |
Mario de Sousa |
Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.
|
changeset |
files
|
| Wed, 29 Aug 2012 21:52:33 +0100 |
Mario de Sousa |
Merge.
|
changeset |
files
|
| Wed, 29 Aug 2012 19:38:15 +0100 |
Mario de Sousa |
Fix constant folding: now handles INT_MIN and neg_integer_c correctly.
|
changeset |
files
|
| Tue, 28 Aug 2012 22:37:26 +0200 |
Manuele Conti |
Replace test bison version without bash regular expression.
|
changeset |
files
|
| Thu, 16 Aug 2012 22:44:38 +0200 |
Manuele Conti |
Fix Segmentation Fault FB var declaration in a single list.
|
changeset |
files
|
| Mon, 27 Aug 2012 17:58:07 +0100 |
Mario de Sousa |
Add some comments.
|
changeset |
files
|
| Thu, 25 Oct 2012 11:09:06 +0200 |
Edouard Tisserant |
Fix some warning about loss of precision data in iec_std_lib.h file.
|
changeset |
files
|
| Tue, 23 Oct 2012 11:32:49 +0200 |
Laurent Bessard |
Fix bug with NE function for STRING variables
|
changeset |
files
|
| Mon, 22 Oct 2012 23:08:54 +0200 |
Laurent Bessard |
Fix bug in code for pragma with double brackets
|
changeset |
files
|
| Mon, 22 Oct 2012 17:44:40 +0200 |
Laurent Bessard |
Merged
|
changeset |
files
|
| Sun, 21 Oct 2012 16:55:08 +0200 |
Laurent Bessard |
Adding support for direct array declaration in structure element declaration
|
changeset |
files
|
| Fri, 19 Oct 2012 12:10:32 +0200 |
Edouard Tisserant |
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.
|
changeset |
files
|
| Thu, 13 Sep 2012 16:35:10 +0200 |
Laurent Bessard |
Fix bug with task interval using fixed_point value for duration items
|
changeset |
files
|
| Thu, 13 Sep 2012 15:14:55 +0200 |
Laurent Bessard |
Adding error message when task interval value is not supported
|
changeset |
files
|
| Thu, 13 Sep 2012 09:55:00 +0200 |
Laurent Bessard |
Adding error message when task interval value is not supported
|
changeset |
files
|
| Wed, 12 Sep 2012 01:14:38 +0200 |
Laurent Bessard |
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
|
changeset |
files
|
| Tue, 11 Sep 2012 16:27:33 +0200 |
Laurent Bessard |
Fix generated code when using boolean variable as action name in step action association
|
changeset |
files
|
| Tue, 11 Sep 2012 01:05:24 +0200 |
Laurent Bessard |
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.
|
changeset |
files
|
| Tue, 04 Sep 2012 18:02:06 +0200 |
Laurent Bessard |
Adding support for P0 and P1 qualifiers and fixing code generated for SL qualifier
|
changeset |
files
|
| Sat, 01 Sep 2012 16:27:24 +0200 |
Edouard Tisserant |
Fixed VARIABLES.csv, was broken when using enumrated types
|
changeset |
files
|
| Wed, 22 Aug 2012 16:46:17 +0200 |
Laurent Bessard |
Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b
|
changeset |
files
|
| Fri, 17 Aug 2012 19:03:13 +0100 |
Mario de Sousa |
Moving function to correct location (formating only).
|
changeset |
files
|
| Sat, 04 Aug 2012 09:59:52 +0200 |
Manuele Conti |
Fix bug in code generation for FB IN_OUT structured parameter.
|
changeset |
files
|
| Mon, 30 Jul 2012 22:59:00 +0200 |
Manuele Conti |
Add check bison version in configure.ac file.
|
changeset |
files
|
| Thu, 16 Aug 2012 18:28:23 +0100 |
Mario de Sousa |
Remove remaining signed/unsigned comparison error messages when compiling.
|
changeset |
files
|
| Fri, 20 Jul 2012 23:18:32 +0200 |
Manuele Conti |
Remove warning about comparisons between int and unsigned int.
|
changeset |
files
|
| Wed, 01 Aug 2012 10:31:14 +0100 |
Mario de Sousa |
Support for data types of STEP.T and STEP.X in SFCs
|
changeset |
files
|
| Wed, 01 Aug 2012 09:05:25 +0100 |
Mario de Sousa |
Remove dead code.
|
changeset |
files
|
| Wed, 01 Aug 2012 08:33:58 +0100 |
Mario de Sousa |
Change code formatting (alignment)
|
changeset |
files
|
| Tue, 31 Jul 2012 12:39:04 +0100 |
Mario de Sousa |
Aloow use of SFC STEPs as variables.
|
changeset |
files
|
| Sat, 28 Jul 2012 09:07:55 +0100 |
Mario de Sousa |
Check lvalues in expressions passed to Function/FB IN parameters.
|
changeset |
files
|
| Fri, 20 Jul 2012 15:57:02 +0100 |
Mario de Sousa |
Fix comment (bug found by Manuele).
|
changeset |
files
|
| Fri, 20 Jul 2012 15:53:58 +0100 |
Mario de Sousa |
Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).
|
changeset |
files
|
| Fri, 20 Jul 2012 15:50:49 +0100 |
Mario de Sousa |
Constant folding for IL.
|
changeset |
files
|
| Thu, 19 Jul 2012 13:42:05 +0100 |
Mario de Sousa |
update comments.
|
changeset |
files
|
| Thu, 19 Jul 2012 11:05:41 +0100 |
Mario de Sousa |
fix bug: remove REAL from candidate datatypes when real constant has overflowed.
|
changeset |
files
|
| Wed, 18 Jul 2012 23:44:42 +0100 |
Mario de Sousa |
signed integer limits do not affect ANY_INT constant values.
|
changeset |
files
|
| Wed, 18 Jul 2012 23:43:57 +0100 |
Mario de Sousa |
comment out un-used code.
|
changeset |
files
|
| Wed, 18 Jul 2012 22:34:51 +0100 |
Mario de Sousa |
cleaning up code. Changing HUGE_VAL to INFINITY.
|
changeset |
files
|
| Wed, 18 Jul 2012 17:10:57 +0100 |
Mario de Sousa |
Cleaning up the code.
|
changeset |
files
|
| Wed, 18 Jul 2012 17:04:34 +0100 |
Mario de Sousa |
Clean up the code a little.
|
changeset |
files
|
| Wed, 18 Jul 2012 16:56:36 +0100 |
Mario de Sousa |
Fixing includes to define INTxx_MAX etc...
|
changeset |
files
|
| Sat, 14 Jul 2012 11:09:26 +0200 |
Manuele Conti |
Add remove_from_candidate_datatype_list method using constant_folding results.
|
changeset |
files
|
| Tue, 19 Jun 2012 18:55:43 +0100 |
Mario de Sousa |
fix typo.
|
changeset |
files
|
| Tue, 19 Jun 2012 11:23:30 +0100 |
Mario de Sousa |
fix parsing of non base 10 constant values.
|
changeset |
files
|
| Mon, 18 Jun 2012 16:11:00 +0100 |
Mario de Sousa |
determine const value of hex, octal and bin literals correctly.
|
changeset |
files
|
| Mon, 18 Jun 2012 15:52:09 +0100 |
Mario de Sousa |
fix array bounds check.
|
changeset |
files
|
| Mon, 18 Jun 2012 15:37:37 +0100 |
Mario de Sousa |
Fix stupid typos (in calculating array dimension)!
|
changeset |
files
|
| Sat, 16 Jun 2012 07:41:30 +0100 |
Mario de Sousa |
Add file missing from previous commit.
|
changeset |
files
|
| Fri, 15 Jun 2012 19:54:33 +0100 |
Mario de Sousa |
Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc
|
changeset |
files
|
| Thu, 14 Jun 2012 17:50:37 +0100 |
Mario de Sousa |
Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)
|
changeset |
files
|
| Thu, 14 Jun 2012 12:00:19 +0100 |
Mario de Sousa |
Clean up code (remove parsing of integers in stage 4).
|
changeset |
files
|
| Wed, 13 Jun 2012 19:51:26 +0200 |
Manuele Conti |
Fix literal MACRO gcc compliant.
|
changeset |
files
|
| Wed, 13 Jun 2012 19:43:12 +0100 |
Mario de Sousa |
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
|
changeset |
files
|
| Wed, 13 Jun 2012 14:21:30 +0100 |
Mario de Sousa |
extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)
|
changeset |
files
|
| Wed, 13 Jun 2012 14:07:41 +0100 |
Mario de Sousa |
Add support for -INT64_MIN values in literals.
|
changeset |
files
|
| Wed, 13 Jun 2012 13:50:46 +0100 |
Mario de Sousa |
Make compiler portable (do not assume int64_t is long long int)
|
changeset |
files
|
| Tue, 12 Jun 2012 22:46:51 +0200 |
Manuele Conti |
Add missing set overflow flag.
|
changeset |
files
|
| Tue, 12 Jun 2012 22:32:09 +0200 |
Manuele Conti |
Fix extract_integer_value.
|
changeset |
files
|
| Tue, 12 Jun 2012 17:15:24 +0100 |
Mario de Sousa |
Fix typo (thanks Manuele)
|
changeset |
files
|
| Tue, 12 Jun 2012 17:12:09 +0100 |
Mario de Sousa |
Remove potential access to NULL pointer.
|
changeset |
files
|
| Tue, 12 Jun 2012 17:07:40 +0100 |
Mario de Sousa |
fix error message.
|
changeset |
files
|
| Tue, 12 Jun 2012 17:00:00 +0100 |
Mario de Sousa |
Fix array index bound check to consider uint64 indexes/limits.
|
changeset |
files
|
| Tue, 12 Jun 2012 09:45:31 +0200 |
Manuele conti |
Fix structure initialize.
|
changeset |
files
|
| Mon, 11 Jun 2012 22:38:36 +0200 |
Manuele Conti |
Add check array out of bound.
|
changeset |
files
|
| Mon, 11 Jun 2012 18:48:58 +0100 |
Mario de Sousa |
Code for debugging const_value annotations in abstract syntax tree.
|
changeset |
files
|
| Mon, 11 Jun 2012 15:58:44 +0100 |
Mario de Sousa |
Fix 'overflow' detection for real64.
|
changeset |
files
|
| Sun, 10 Jun 2012 21:51:16 +0100 |
Mario de Sousa |
small bug fix.
|
changeset |
files
|
| Sun, 10 Jun 2012 21:28:21 +0200 |
Manuele Conti |
Fix compare expression in constat folding class.
|
changeset |
files
|