| 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
|