Sat, 15 Mar 2014 20:10:20 +0000 |
mjsousa |
Add support for parsing of REF_TO keyword (defined in IEC61131-3 v3). This support is currently inactive (in flex) until we get to add C code generation later on.
|
changeset |
files
|
Sat, 15 Mar 2014 08:31:35 +0000 |
mjsousa |
Update files to be ignored by mercurial: ignore files generated by autoconf, directory test/, and *.orig
|
changeset |
files
|
Sun, 02 Mar 2014 17:04:17 +0000 |
mjsousa |
Fix bug: do not print IL 'label' when generating inline functions (JMPxx label was generating erroneous C code)
|
changeset |
files
|
Sun, 02 Mar 2014 16:42:56 +0000 |
mjsousa |
Add limited support for the REF() operator (defined in v3 of IEC 61131-3)
|
changeset |
files
|
Mon, 24 Feb 2014 22:00:55 +0000 |
mjsousa |
Remove assertion being failed by IL labels (IL labels do not yet have specific datatypes).
|
changeset |
files
|
Fri, 28 Feb 2014 11:27:53 +0100 |
Edouard Tisserant |
Added stage1_2/Makefile.am weird rule to keep compatible with previous version of automake
|
changeset |
files
|
Wed, 19 Feb 2014 22:27:11 +0100 |
Edouard Tisserant |
Merge
|
changeset |
files
|
Sun, 16 Feb 2014 14:29:31 +0000 |
mjsousa |
fix definition of pragma.
|
changeset |
files
|
Sun, 16 Feb 2014 14:27:06 +0000 |
mjsousa |
Fix the state machine that became broken 2 commits ago (when adding support for nested comments)
|
changeset |
files
|
Sun, 16 Feb 2014 00:37:40 +0000 |
mjsousa |
Add option to control support for nested comments (default is off, as defined in IEC 61131-3 v2)
|
changeset |
files
|
Sat, 15 Feb 2014 23:58:16 +0000 |
mjsousa |
Add support for nested comments
|
changeset |
files
|
Wed, 12 Feb 2014 17:02:08 +0000 |
mjsousa |
Fix bug: when checking compatibility between GLOBAL and EXTERNAL variables, must only enforce GLOBAL CONSTANT => EXTERNAL CONSTANT.
|
changeset |
files
|
Tue, 11 Feb 2014 10:55:27 +0000 |
mjsousa |
merge
|
changeset |
files
|
Mon, 06 Jan 2014 12:25:21 +0000 |
Mario de Sousa |
Fix bug: correctly generate code when accessing external variables declared inside FBs as a structured variable (realvar := fb1.fb2.extvar1.realvar)
|
changeset |
files
|
Sun, 09 Feb 2014 08:05:44 +0000 |
mjsousa |
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.
|
changeset |
files
|
Sun, 09 Feb 2014 07:23:30 +0000 |
mjsousa |
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
|
changeset |
files
|
Sat, 08 Feb 2014 23:10:12 +0000 |
mjsousa |
Code cleanup (part 2): generate_typedecl_c now only prints to POUS.h !
|
changeset |
files
|
Sat, 08 Feb 2014 20:38:19 +0000 |
mjsousa |
Code cleanup (part 1): subrange check functions are now declared in POUS.h (as static inline functions or #define)
|
changeset |
files
|
Sat, 08 Feb 2014 18:33:32 +0000 |
mjsousa |
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() )
|
changeset |
files
|
Sat, 08 Feb 2014 10:48:20 +0000 |
mjsousa |
fix a couple of typos.
|
changeset |
files
|
Sat, 08 Feb 2014 10:32:26 +0000 |
mjsousa |
Fix bug - correctly declare struct members whose type is a directly defined array (e.g.: STRUCT x: ARRAY of XXX; END_STRUCT)
|
changeset |
files
|
Wed, 05 Feb 2014 20:04:50 +0000 |
mjsousa |
Start using the called_fb_declaration annotation when generating C code from FB calls in ST.
|
changeset |
files
|
Sun, 22 Dec 2013 09:50:02 +0000 |
Mario de Sousa |
Code cleanup: move datatype analysis to get_datatype_info_c
|
changeset |
files
|
Fri, 20 Dec 2013 11:44:38 +0000 |
Mario de Sousa |
Fix bug-fix of previous commit.
|
changeset |
files
|
Thu, 19 Dec 2013 19:38:29 +0000 |
Mario de Sousa |
Fix bug: allow use, as lvalues, structures/arrays inside FBs (e.g. fb1.struct1.r := 33.3).
|
changeset |
files
|
Wed, 18 Dec 2013 18:41:05 +0000 |
Mario de Sousa |
Fix bug/issue #33 (correctly access struct/array variables declared inside a FB -> r:=FB1.FB2.struct1.array1[3] )
|
changeset |
files
|
Sat, 07 Sep 2013 22:08:09 +0100 |
Mario de Sousa |
Add assertion suggested by Manuele.
|
changeset |
files
|
Fri, 23 Aug 2013 15:13:11 +0100 |
mjsousa |
merge
|
changeset |
files
|
Fri, 23 Aug 2013 12:33:12 +0100 |
mjsousa |
Use get_datatype_info_c::is_type_valid() to determine datatype validity
|
changeset |
files
|
Fri, 23 Aug 2013 12:06:08 +0100 |
mjsousa |
Recursively check the datatype compatibility of values/expressions passed in function/FB invocations.
|
changeset |
files
|
Fri, 23 Aug 2013 09:34:04 +0100 |
mjs |
Change error message text so as to become more suitable to where they might occur in the source code.
|
changeset |
files
|
Thu, 22 Aug 2013 19:12:10 +0100 |
mjsousa |
Add code to check if an IN_OUT variable is being passed an IL list in formal IL FB/function invocations.
|
changeset |
files
|
Thu, 22 Aug 2013 18:50:43 +0100 |
mjsousa |
Generate correct error message when encountering IL lists embedded in IL formal invocations.
|
changeset |
files
|
Thu, 22 Aug 2013 16:53:17 +0100 |
mjsousa |
Fill in the 'datatype' anotation in the identifiers of symbolic variables.
|
changeset |
files
|
Thu, 22 Aug 2013 16:51:22 +0100 |
mjsousa |
Fix C code generation of FB invocation in IL.
|
changeset |
files
|
Thu, 22 Aug 2013 07:39:33 +0100 |
mjsousa |
Fix detection of datatype errors on IL conditional flow control operators (JMPC, RETC, ...)
|
changeset |
files
|
Wed, 21 Aug 2013 21:56:41 +0100 |
mjsousa |
Allow array_dimension_iterator to accept an array_spec_init_c.
|
changeset |
files
|
Wed, 21 Aug 2013 21:34:43 +0100 |
mjsousa |
Small code cleanup (move common code to a function)
|
changeset |
files
|
Wed, 21 Aug 2013 21:26:55 +0100 |
mjsousa |
Fix datatype analysis of conditional IL operators (CALC, CALCN, RETC, RETCN, JMPC, JMPCN, S and R)
|
changeset |
files
|
Wed, 21 Aug 2013 21:14:50 +0100 |
mjsousa |
Fix datatype analyses of S and R IL operators.
|
changeset |
files
|
Wed, 21 Aug 2013 16:08:50 +0100 |
mjsousa |
make sure all IL operands are narrowed (datatype checking algorithm)
|
changeset |
files
|
Wed, 21 Aug 2013 16:06:43 +0100 |
mjsousa |
cosmetic change only - fix code alignment.
|
changeset |
files
|
Tue, 20 Aug 2013 11:15:40 +0100 |
mjsousa |
Add support for FB call semantics of 'S' and 'R' IL operators!
|
changeset |
files
|
Tue, 20 Aug 2013 11:11:09 +0100 |
mjsousa |
Stop lvalue check from segfaulting when coming across buggy IL code (IL operator with no operand!)
|
changeset |
files
|
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
|
Sun, 10 Jun 2012 21:47:15 +0100 |
Mario de Sousa |
Fix extract_real (thanks Manuele), and add check for overflow.
|
changeset |
files
|
Sun, 10 Jun 2012 15:54:10 +0100 |
Mario de Sousa |
cleaning up the code...
|
changeset |
files
|
Sun, 10 Jun 2012 15:38:24 +0100 |
Mario de Sousa |
Fix remaining overflow checks.
|
changeset |
files
|
Sat, 09 Jun 2012 22:58:43 +0100 |
Mario de Sousa |
remove incorrect include file.
|
changeset |
files
|
Sat, 09 Jun 2012 22:55:29 +0100 |
Mario de Sousa |
Correctly implement MOD operation and overflow checks (still missing uint * / MOD).
|
changeset |
files
|
Sat, 09 Jun 2012 08:35:46 +0100 |
Mario de Sousa |
Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)
|
changeset |
files
|
Fri, 08 Jun 2012 19:47:45 +0100 |
Mario de Sousa |
cosmetic changes.
|
changeset |
files
|
Fri, 08 Jun 2012 19:44:32 +0100 |
Mario de Sousa |
Add data structure for storing overflow of constant values.
|
changeset |
files
|
Wed, 06 Jun 2012 16:39:54 +0100 |
Mario de Sousa |
make the compiler platform independent (i.e. no longer assume sizeof(double)==8).
|
changeset |
files
|
Wed, 06 Jun 2012 13:28:50 +0100 |
Mario de Sousa |
create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!
|
changeset |
files
|
Wed, 06 Jun 2012 00:20:06 +0200 |
Manuele Conti |
Update constant folding: fixing minor bug.
|
changeset |
files
|
Wed, 06 Jun 2012 12:39:32 +0100 |
Mario de Sousa |
Fix a few bugs of previous commit.
|
changeset |
files
|
Tue, 05 Jun 2012 19:17:29 +0200 |
Manuele Conti |
Start constant_folding class.
|
changeset |
files
|
Tue, 05 Jun 2012 11:10:12 +0200 |
Andreas Graeper |
little typo in last commited code
|
changeset |
files
|
Mon, 04 Jun 2012 18:22:11 +0100 |
Mario de Sousa |
Change return data type of array_dimension_iterator_c.next()
|
changeset |
files
|
Wed, 16 May 2012 00:15:32 +0200 |
Manuele Conti |
Fix SFC stage4 error.
|
changeset |
files
|
Tue, 15 May 2012 23:03:25 +0100 |
mjsousa |
Renamed class, remove unused code, delete allocated objects.
|
changeset |
files
|
Tue, 15 May 2012 18:59:32 +0200 |
Manuele Conti |
Start sematinc range check class.
|
changeset |
files
|
Tue, 15 May 2012 15:50:43 +0100 |
mjsousa |
Located variables may have other data types besides ANY_BIT.
|
changeset |
files
|
Sun, 13 May 2012 17:57:15 +0200 |
Manuele Conti |
Add verify_is_lvalue to control_variable in for_statement.
|
changeset |
files
|
Thu, 10 May 2012 22:03:59 +0100 |
mjsousa |
Remove useless code, and replace with assertion.
|
changeset |
files
|
Thu, 10 May 2012 19:20:18 +0100 |
mjsousa |
Fix bug: initialise un-initialised variable.
|
changeset |
files
|
Thu, 10 May 2012 19:09:02 +0100 |
mjsousa |
Delete incorrect comment.
|
changeset |
files
|
Thu, 10 May 2012 16:15:27 +0100 |
mjsousa |
Add some comments...
|
changeset |
files
|
Thu, 10 May 2012 16:09:50 +0100 |
mjsousa |
Add high level comments.
|
changeset |
files
|
Thu, 10 May 2012 15:40:19 +0100 |
mjsousa |
Fix comment.
|
changeset |
files
|
Wed, 09 May 2012 23:13:04 +0100 |
mjsousa |
Fix the previous commit: check for errors in expressions used as subscripts.
|
changeset |
files
|
Wed, 09 May 2012 20:05:57 +0200 |
Manuele Conti |
Fix data type check array subscript field.
|
changeset |
files
|
Wed, 09 May 2012 23:04:03 +0100 |
mjsousa |
Merge changes.
|
changeset |
files
|
Wed, 09 May 2012 23:00:10 +0100 |
mjsousa |
Fix parsing os TIME literals & rename the extract_integer() function.
|
changeset |
files
|
Wed, 09 May 2012 22:59:10 +0100 |
mjsousa |
Fix generation of output for iec2iec.
|
changeset |
files
|
Wed, 09 May 2012 22:04:38 +0100 |
mjsousa |
Do not compile deleted files...
|
changeset |
files
|
Wed, 09 May 2012 22:04:07 +0100 |
mjsousa |
Do not compile deleted files...
|
changeset |
files
|
Wed, 09 May 2012 22:03:05 +0100 |
mjsousa |
ReDelete files - used in old method of supporting standard functions.
|
changeset |
files
|
Wed, 09 May 2012 21:46:21 +0100 |
mjsousa |
Remove file (used for old method of supporting standard functions).
|
changeset |
files
|
Fri, 27 Apr 2012 13:40:36 +0100 |
Mario de Sousa |
Add TODO list!
|
changeset |
files
|
Thu, 26 Apr 2012 11:12:19 +0100 |
Mario de Sousa |
Delete unecessary variable.
|
changeset |
files
|
Thu, 03 May 2012 17:43:32 +0200 |
Conti Manuele |
Fix __dt_to_timespec primitive function.
|
changeset |
files
|
Wed, 02 May 2012 14:46:48 +0200 |
Conti Manuele |
Fix __dt_to_string primitive function.
|
changeset |
files
|
Tue, 24 Apr 2012 16:49:43 +0200 |
Conti Manuele |
Fix code generation about __INIT_GLOBAL_LOCATED.
|
changeset |
files
|
Wed, 25 Apr 2012 16:56:25 +0100 |
Mario de Sousa |
Change constants into enums.
|
changeset |
files
|
Wed, 25 Apr 2012 16:45:00 +0100 |
Mario de Sousa |
Add lvalue checking for IL function and FB invocations.
|
changeset |
files
|
Wed, 25 Apr 2012 16:44:23 +0100 |
Mario de Sousa |
Fix comment.
|
changeset |
files
|
Wed, 25 Apr 2012 16:21:14 +0100 |
Mario de Sousa |
Add clarifying comment.
|
changeset |
files
|
Wed, 25 Apr 2012 15:56:45 +0100 |
Mario de Sousa |
Remove access to NULL pointer.
|
changeset |
files
|
Wed, 25 Apr 2012 15:46:53 +0100 |
Mario de Sousa |
Make temporary fix to is_complex() method.
|
changeset |
files
|
Tue, 24 Apr 2012 19:17:53 +0100 |
Mario de Sousa |
Fix comment. (thanks go to Manuele for pointing it put).
|
changeset |
files
|
Mon, 23 Apr 2012 16:50:10 +0100 |
Mario de Sousa |
Stop lvalue checks after finding an error in the expression.
|
changeset |
files
|
Mon, 23 Apr 2012 16:44:05 +0100 |
Mario de Sousa |
Remove erroneous check for S1 and R1, and add missing declrataion.
|
changeset |
files
|
Sat, 21 Apr 2012 17:42:07 +0200 |
Manuele Conti |
Start implement lvalue check in IL instruction.
|
changeset |
files
|
Sat, 21 Apr 2012 17:43:55 +0200 |
Manuele Conti |
Add lvalue check on fb invocation.
|
changeset |
files
|
Thu, 19 Apr 2012 19:49:11 +0100 |
Mario de Sousa |
Literals are also part of expressions!
|
changeset |
files
|
Wed, 18 Apr 2012 14:19:40 +0200 |
Conti Manuele |
Implement check_assignment_to_expression in lvalue_check_c class.
|
changeset |
files
|
Wed, 18 Apr 2012 15:44:00 +0100 |
Mario de Sousa |
Remove potential access to NULL pointer.
|
changeset |
files
|
Wed, 18 Apr 2012 13:29:08 +0100 |
Mario de Sousa |
Start having nicer stage 4 error messages.
|
changeset |
files
|
Tue, 17 Apr 2012 17:41:58 +0200 |
Conti Manuele |
Improve usability command line under windows.
|
changeset |
files
|
Tue, 17 Apr 2012 17:59:02 +0100 |
Mario de Sousa |
Ignore trailing EOLs when determining symbol location.
|
changeset |
files
|
Tue, 17 Apr 2012 14:21:31 +0100 |
Mario de Sousa |
Add comment.
|
changeset |
files
|
Tue, 17 Apr 2012 14:17:07 +0100 |
Conti Manuele |
Fix Segmentation fault in check_assignment_to_output lvalue method.
|
changeset |
files
|
Tue, 17 Apr 2012 10:11:45 +0100 |
Mario de Sousa |
Remove deprecated status for ANYTIME operations.
|
changeset |
files
|
Tue, 17 Apr 2012 09:58:06 +0100 |
Mario de Sousa |
Produce similar error messages in stage2 and stage3.
|
changeset |
files
|
Mon, 16 Apr 2012 20:13:58 +0100 |
Mario de Sousa |
Fix bug when handling code with data type errors.
|
changeset |
files
|
Mon, 16 Apr 2012 15:40:12 +0100 |
Mario de Sousa |
Fix printing of data type errors in while and repeat statements.
|
changeset |
files
|
Mon, 16 Apr 2012 15:27:53 +0100 |
Mario de Sousa |
Add lvalue check for non formal function invocations.
|
changeset |
files
|
Mon, 16 Apr 2012 15:17:24 +0100 |
Mario de Sousa |
Fixing check for assingment to FOR control variables.
|
changeset |
files
|
Mon, 16 Apr 2012 15:10:31 +0100 |
Mario de Sousa |
Moving get_var_name_c into its own file.
|
changeset |
files
|
Mon, 16 Apr 2012 14:41:07 +0100 |
Mario de Sousa |
Fixing check for assignment to output variables.
|
changeset |
files
|
Sun, 15 Apr 2012 19:56:33 +0100 |
Mario de Sousa |
Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)
|
changeset |
files
|
Sat, 14 Apr 2012 20:02:36 +0200 |
Manuele Conti |
Add lvalue check class.
|
changeset |
files
|
Sat, 14 Apr 2012 18:05:50 +0100 |
manuele conti |
Determine the modifiers (CONST, REATAIN) used when declaring a variable.
|
changeset |
files
|
Sat, 14 Apr 2012 16:53:35 +0100 |
Mario de Sousa |
Fix typo in comparison expression.
|
changeset |
files
|
Sat, 14 Apr 2012 16:44:53 +0100 |
Mario de Sousa |
Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
|
changeset |
files
|
Sat, 14 Apr 2012 15:19:17 +0100 |
Mario de Sousa |
Fix bug by expanding permissible data input of search_var_instance_decl_c
|
changeset |
files
|
Fri, 13 Apr 2012 13:05:44 +0100 |
Mario de Sousa |
Edit formating and delete unused code.
|
changeset |
files
|
Sat, 07 Apr 2012 16:14:17 +0100 |
Mario de Sousa |
Start data type checking of var declarations (including direct variables!)
|
changeset |
files
|
Tue, 03 Apr 2012 12:42:16 +0100 |
Mario de Sousa |
Delete incorrect comments I had inserted previously (confusing EQ and NE functions)
|
changeset |
files
|
Sat, 31 Mar 2012 21:46:37 +0100 |
Mario de Sousa |
merging with Lauren't changeset.
|
changeset |
files
|
Sat, 31 Mar 2012 21:36:17 +0100 |
Mario de Sousa |
merge with Laurent's changeset (essentially ignore all changes).
|
changeset |
files
|
Sat, 31 Mar 2012 21:34:20 +0100 |
Mario de Sousa |
merge with Laurent's changeset (essentially, ignore all changes).
|
changeset |
files
|
Sat, 31 Mar 2012 15:36:08 +0100 |
Mario de Sousa |
merging with Laurent's changes.
|
changeset |
files
|
Sat, 31 Mar 2012 15:34:33 +0100 |
Mario de Sousa |
merging with Laurent's change.
|
changeset |
files
|
Sat, 31 Mar 2012 15:30:38 +0100 |
Mario de Sousa |
merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)
|
changeset |
files
|
Thu, 29 Mar 2012 19:03:40 +0100 |
Mario de Sousa |
Add coment warning about incorrect implementation of the NE standard function.
|
changeset |
files
|
Thu, 29 Mar 2012 18:57:53 +0100 |
Mario de Sousa |
merging with Laurent's patch.
|
changeset |
files
|
Thu, 29 Mar 2012 15:39:38 +0100 |
Mario de Sousa |
Print correct error message when handling IL function calls.
|
changeset |
files
|
Thu, 15 Mar 2012 13:23:09 +0000 |
Mario de Sousa |
Edit error message.
|
changeset |
files
|
Thu, 15 Mar 2012 13:18:02 +0000 |
Mario de Sousa |
Add EXPT widen table.
|
changeset |
files
|
Thu, 15 Mar 2012 12:50:44 +0000 |
Mario de Sousa |
Some stupid code cleanups.
|
changeset |
files
|
Thu, 15 Mar 2012 12:31:57 +0000 |
Mario de Sousa |
Some code cleanups.
|
changeset |
files
|
Wed, 14 Mar 2012 20:01:50 +0000 |
Mario de Sousa |
Clean up the code.
|
changeset |
files
|
Wed, 14 Mar 2012 19:31:17 +0000 |
Mario de Sousa |
Fix error messages of il function calls - it now prints out location info of first parameter.
|
changeset |
files
|
Wed, 14 Mar 2012 11:31:07 +0000 |
Mario de Sousa |
Clean code for printing errors in expressions.
|
changeset |
files
|
Wed, 14 Mar 2012 11:14:41 +0000 |
Mario de Sousa |
Clean code for comparison operations & operators.
|
changeset |
files
|
Wed, 14 Mar 2012 10:51:49 +0000 |
Mario de Sousa |
Cleaning up XORN, ANDN, and ORN operator code.
|
changeset |
files
|
Wed, 14 Mar 2012 10:44:17 +0000 |
Mario de Sousa |
Cleaning up some code.
|
changeset |
files
|
Wed, 14 Mar 2012 10:26:03 +0000 |
Mario de Sousa |
Add 'widen' tables for AND, OR and XOR operations.
|
changeset |
files
|
Tue, 13 Mar 2012 19:04:07 +0000 |
Mario de Sousa |
Add MOD widening table, and some code clean-ups.
|
changeset |
files
|
Tue, 13 Mar 2012 18:29:34 +0000 |
Mario de Sousa |
Re-organizing the code.
|
changeset |
files
|
Tue, 13 Mar 2012 16:38:21 +0000 |
Mario de Sousa |
Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
|
changeset |
files
|
Tue, 13 Mar 2012 12:39:09 +0000 |
Mario de Sousa |
Clarify some details in the comments.
|
changeset |
files
|
Sun, 11 Mar 2012 22:21:47 +0100 |
Manuele Conti |
Add check widening status for IL operator.
|
changeset |
files
|
Sun, 11 Mar 2012 18:24:39 +0000 |
Mario de Sousa |
Fix remaining 'widen' tables.
|
changeset |
files
|
Sun, 11 Mar 2012 16:38:05 +0000 |
Mario de Sousa |
Fix some 'widen' table entries.
|
changeset |
files
|
Sat, 10 Mar 2012 11:27:49 +0000 |
Mario de Sousa |
Add a TODO comment.
|
changeset |
files
|
Sat, 10 Mar 2012 11:21:41 +0000 |
Mario de Sousa |
Clean up code, and add support for 'safe' version of literals.
|
changeset |
files
|
Sat, 10 Mar 2012 11:21:04 +0000 |
Mario de Sousa |
Bringing comment up to date.
|
changeset |
files
|
Fri, 09 Mar 2012 17:58:19 +0000 |
Mario de Sousa |
Semantic verification of NOT operator.
|
changeset |
files
|
Fri, 09 Mar 2012 10:52:23 +0000 |
Mario de Sousa |
Fix bug in building structured variables.
|
changeset |
files
|
Fri, 09 Mar 2012 10:51:56 +0000 |
Mario de Sousa |
Delete unecessary copy_candidate_datatype_list() function.
|
changeset |
files
|
Thu, 08 Mar 2012 19:14:45 +0000 |
Mario de Sousa |
Delete no longer needed copy_candidate_datatype_list() function.
|
changeset |
files
|
Thu, 08 Mar 2012 18:57:55 +0000 |
Mario de Sousa |
Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.
|
changeset |
files
|
Thu, 08 Mar 2012 18:57:14 +0000 |
Mario de Sousa |
Do not allow duplicate values in candidate datatype list.
|
changeset |
files
|
Sat, 03 Mar 2012 20:42:48 +0000 |
Mario de Sousa |
Handle JMP to labels preceding the JMP instruction itself.
|
changeset |
files
|
Sat, 03 Mar 2012 20:27:20 +0000 |
Mario de Sousa |
Correctly handle JMP and RET IL operators in flow control analysis.
|
changeset |
files
|
Sat, 03 Mar 2012 13:07:00 +0000 |
Mario de Sousa |
Fix filling candidate datatypes of JMP operations
|
changeset |
files
|
Sat, 03 Mar 2012 08:51:28 +0000 |
Mario de Sousa |
Remove spurious printf()s, used during debugging session.
|
changeset |
files
|
Fri, 02 Mar 2012 17:59:20 +0000 |
Mario de Sousa |
Add missing files.
|
changeset |
files
|
Fri, 02 Mar 2012 12:53:41 +0000 |
Mario de Sousa |
Continue adding support for semantic verification of JMP and RET.
|
changeset |
files
|
Thu, 01 Mar 2012 10:28:27 +0000 |
Conti Manuele |
iAdd warning for deprecated operations.
|
changeset |
files
|
Mon, 27 Feb 2012 11:44:03 +0000 |
Mario de Sousa |
Change prev_il_instruction to a vector<>
|
changeset |
files
|
Mon, 27 Feb 2012 11:28:51 +0000 |
Mario de Sousa |
Some small cleanups.
|
changeset |
files
|
Sat, 25 Feb 2012 19:16:35 +0000 |
Mario de Sousa |
Add support for semantic verification of CALC, CALCN, etc..
|
changeset |
files
|
Thu, 23 Feb 2012 13:25:49 +0000 |
Mario de Sousa |
Finish support for semantic verification of IL paranthesised expressions.
|
changeset |
files
|
Tue, 21 Feb 2012 17:39:57 +0000 |
Mario de Sousa |
More changes for support of semantic verification of il_expressions
|
changeset |
files
|
Mon, 20 Feb 2012 19:44:40 +0000 |
Mario de Sousa |
Start of support for IL expressions (parenthesis).
|
changeset |
files
|
Mon, 20 Feb 2012 17:52:01 +0000 |
Mario de Sousa |
Cleaning up the code.
|
changeset |
files
|
Mon, 20 Feb 2012 15:24:26 +0000 |
Mario de Sousa |
Fix a few more bugs related to FB/function calls in IL.
|
changeset |
files
|
Sun, 19 Feb 2012 16:16:45 +0000 |
Mario de Sousa |
Semantic verification: Add compatibility check for parameter direction in function invocation.
|
changeset |
files
|
Sat, 18 Feb 2012 21:03:01 +0000 |
Mario de Sousa |
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
|
changeset |
files
|
Fri, 17 Feb 2012 19:47:58 +0000 |
Mario de Sousa |
Start of support for semantic verification of FB calls in IL using special IL instructions.
|
changeset |
files
|
Fri, 17 Feb 2012 19:47:23 +0000 |
Mario de Sousa |
Delete some comments.
|
changeset |
files
|
Thu, 16 Feb 2012 14:18:23 +0100 |
Conti Manuele |
Change name help function.
|
changeset |
files
|
Thu, 16 Feb 2012 12:59:02 +0000 |
Mario de Sousa |
Update comments on general architecture.
|
changeset |
files
|
Thu, 16 Feb 2012 10:27:52 +0000 |
Mario de Sousa |
Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.
|
changeset |
files
|
Mon, 13 Feb 2012 17:04:29 +0000 |
Mario de Sousa |
Code cleanup.
|
changeset |
files
|
Mon, 13 Feb 2012 16:29:55 +0000 |
Mario de Sousa |
Add printing of semantic errors when calling FB from IL.
|
changeset |
files
|
Sun, 12 Feb 2012 20:43:49 +0100 |
Manuele Conti |
Fix typo error in some il visit in fill_candidate_datatypes_c class.
|
changeset |
files
|
Mon, 13 Feb 2012 13:45:57 +0000 |
Mario de Sousa |
Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!)
|
changeset |
files
|
Fri, 10 Feb 2012 19:04:31 +0000 |
Mario de Sousa |
Add support for semantic verification of function calls in IL.
|
changeset |
files
|
Wed, 08 Feb 2012 18:33:01 +0000 |
Mario de Sousa |
Add TODO comment, and delete unused debugging code.
|
changeset |
files
|
Wed, 08 Feb 2012 18:27:45 +0000 |
Mario de Sousa |
Delete un-used code.
|
changeset |
files
|
Wed, 08 Feb 2012 18:16:13 +0000 |
Mario de Sousa |
Change negation expression (neg_expression_c) to only allow signed data types.
|
changeset |
files
|
Tue, 07 Feb 2012 17:45:17 +0000 |
Mario de Sousa |
Move elementary_c::to_string() to datatype_functions.cc/hh
|
changeset |
files
|
Tue, 07 Feb 2012 17:40:19 +0000 |
Mario de Sousa |
Add, to types symbol table, string datatypes with limited length (my_string_type: STRING[33]) (Thanks Andreas!)
|
changeset |
files
|
Tue, 07 Feb 2012 12:17:00 +0000 |
Mario de Sousa |
Correctly return the initial value of a string datatype, with limited length (STRING[33] := 'hello')
|
changeset |
files
|
Tue, 07 Feb 2012 11:55:29 +0000 |
Mario de Sousa |
More detailed error messages for FB invocations in ST.
|
changeset |
files
|
Mon, 06 Feb 2012 18:32:11 +0000 |
Mario de Sousa |
More detailed error messages in function invocations in ST.
|
changeset |
files
|
Mon, 06 Feb 2012 14:21:08 +0000 |
Mario de Sousa |
Fix bug in analysing real literals (thanks Andreas!)
|
changeset |
files
|
Mon, 06 Feb 2012 14:15:31 +0000 |
Mario de Sousa |
Remove debugging messages, and code cleanup.
|
changeset |
files
|
Mon, 06 Feb 2012 14:10:22 +0000 |
Mario de Sousa |
Better error reporting in function invocations, and in invalid literal values.
|
changeset |
files
|
Sun, 05 Feb 2012 19:09:12 +0000 |
Mario de Sousa |
Better identification of erros in function/FB invocations.
|
changeset |
files
|
Fri, 03 Feb 2012 18:16:20 +0000 |
Mario de Sousa |
Print error messages when datatype erros found in ST function/FB calls.
|
changeset |
files
|
Fri, 03 Feb 2012 14:43:14 +0000 |
Mario de Sousa |
Continue checking data type compatibility inside expressions used to pass paramters to invalid function/FB calls
|
changeset |
files
|
Fri, 03 Feb 2012 10:54:35 +0000 |
Mario de Sousa |
Adding support for semantic verification of FB calls in ST.
|
changeset |
files
|
Thu, 02 Feb 2012 16:50:12 +0000 |
Mario de Sousa |
Delete wrong comment.
|
changeset |
files
|
Thu, 02 Feb 2012 16:20:19 +0000 |
Mario de Sousa |
Add support in stage 3 for checking function invocations in ST.
|
changeset |
files
|
Thu, 02 Feb 2012 14:18:02 +0000 |
Mario de Sousa |
Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier.
|
changeset |
files
|
Thu, 02 Feb 2012 10:00:53 +0000 |
Mario de Sousa |
Changing code indenting.
|
changeset |
files
|
Wed, 01 Feb 2012 22:40:54 +0100 |
Manuele Conti |
Add fill candidate method for fb_invocation_c symbol.
|
changeset |
files
|
Wed, 01 Feb 2012 19:49:11 +0000 |
Mario de Sousa |
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.
|
changeset |
files
|
Wed, 01 Feb 2012 13:01:08 +0000 |
Mario de Sousa |
Merging with Laurent's repository.
|
changeset |
files
|
Tue, 27 Sep 2011 00:07:16 +0200 |
Manuele Conti |
Fix YYLTYPE declaration.
|
changeset |
files
|
Sun, 20 Nov 2011 19:36:48 +0000 |
Mario de Sousa |
Merging with Laurent's repository.
|
changeset |
files
|
Fri, 04 Nov 2011 19:16:29 +0000 |
Mario de Sousa |
Add list of things we must check for in stage 3 (TODO list!)
|
changeset |
files
|
Tue, 14 Aug 2012 19:40:01 +0200 |
Laurent Bessard |
Fix bug with InOut variable of structured type
|
changeset |
files
|
Sat, 28 Jul 2012 17:38:57 +0200 |
Laurent Bessard |
Fix bug while using complex type variables in Function and FunctionBlock interface
|
changeset |
files
|
Fri, 27 Jul 2012 15:43:32 +0200 |
Laurent Bessard |
Fix bug while using complex type variables in Function and FunctionBlock interface
|
changeset |
files
|
Fri, 27 Jul 2012 15:40:44 +0200 |
Laurent Bessard |
Fix bug with complex type inout variables while generating variable list
|
changeset |
files
|
Thu, 22 Mar 2012 00:22:48 +0100 |
laurent |
Fixing bug in inlinefcall when a transition is in ST and contains literals
|
changeset |
files
|
Fri, 24 Feb 2012 18:16:56 +0100 |
laurent |
Fix bug in code generated for MUL function
|
changeset |
files
|
Fri, 24 Feb 2012 14:16:51 +0100 |
laurent |
Fix bug with overloaded function due to literal input values
|
changeset |
files
|
Tue, 21 Feb 2012 22:31:38 +0100 |
laurent |
Fix bug wrong code generated when, in a pou, a located variable has the same name than a function block instance input variable
|
changeset |
files
|
Tue, 21 Feb 2012 22:28:57 +0100 |
laurent |
Fix bug pointed structure not declared for directly derived datatypes
|
changeset |
files
|
Thu, 16 Feb 2012 13:27:04 +0100 |
Edouard Tisserant |
removed forgotten prototype in __INIT_EXTERNAL accessor, causing warning ant build time
|
changeset |
files
|
Tue, 07 Feb 2012 20:20:19 +0100 |
laurent |
Merge with Edouard's modifications
|
changeset |
files
|
Tue, 07 Feb 2012 20:18:11 +0100 |
laurent |
Fix STEP and ACTION structure initialization value in SFC
|
changeset |
files
|
Fri, 03 Feb 2012 18:01:13 +0100 |
Edouard Tisserant |
Applied anonymous contribution RTC, '[Beremiz-devel] RTC function', 29/06/11
|
changeset |
files
|
Fri, 03 Feb 2012 00:09:52 +0100 |
laurent |
Fix bug with functions like LEN and TRUNC that have overloaded return type for same inputs type
|
changeset |
files
|
Thu, 02 Feb 2012 00:34:04 +0100 |
laurent |
Fix issues in standard library with MUX, MOD, NE and convertions to BOOL
|
changeset |
files
|
Wed, 25 Jan 2012 01:16:30 +0100 |
laurent |
Adding Common_Ticktime to informations printed in VARIABLES.csv file
|
changeset |
files
|
Fri, 30 Dec 2011 18:25:39 +0100 |
laurent |
Fixing bug with external variables refering to global variables defined in configurations
|
changeset |
files
|
Fri, 23 Dec 2011 15:17:45 +0100 |
Edouard Tisserant |
removed useless extern func declaration in __INIT_EXTERNAL, producing warning during build of POUS.c
|
changeset |
files
|
Fri, 09 Dec 2011 10:03:37 +0100 |
laurent |
Fixing bug in generated code for complex type external variable
|
changeset |
files
|
Fri, 09 Dec 2011 10:01:48 +0100 |
laurent |
Fixing SUB standard function defined in standard library
|
changeset |
files
|
Fri, 18 Nov 2011 17:28:37 +0100 |
laurent |
Fixing generated code for global variables. Adding support for defining global variables with complex type
|
changeset |
files
|
Fri, 18 Nov 2011 17:21:16 +0100 |
laurent |
Fixing bug in all SUB function definitions in standard_functions.txt
|
changeset |
files
|
Fri, 18 Nov 2011 11:23:17 +0100 |
laurent |
Fix bug when using enumerated type in equ_expression or notequ_expression
|
changeset |
files
|
Wed, 16 Nov 2011 17:48:22 +0100 |
Edouard Tisserant |
silenced warning on X86_64 build by casying numerical operand of snprintf
|
changeset |
files
|
Fri, 04 Nov 2011 18:40:58 +0100 |
laurent |
Fix bug in generate_c_inlinefcall. Was not handling textual SFC elements
|
changeset |
files
|
Sat, 29 Oct 2011 19:30:47 +0100 |
Mario de Sousa |
Fix code generation of FOR loops. Now handles negative values of BY correctly.
|
changeset |
files
|
Sat, 29 Oct 2011 18:56:25 +0100 |
Mario de Sousa |
Fix semantic verification of enumerated data types.
|
changeset |
files
|
Fri, 28 Oct 2011 10:25:07 +0100 |
Mario de Sousa |
Adding a line to a comment. Does not change any code.
|
changeset |
files
|
Thu, 20 Oct 2011 00:41:44 +0200 |
Edouard Tisserant |
fixed signedness warning on string slicing funcs in std lib
|
changeset |
files
|
Wed, 12 Oct 2011 16:09:29 +0200 |
laurent |
Fix bug generate_c_inlinefcall in inline function name generated
|
changeset |
files
|
Tue, 11 Oct 2011 12:30:49 +0200 |
laurent |
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
|
changeset |
files
|
Sun, 09 Oct 2011 20:18:55 +0200 |
laurent |
Fix bug in code generation of directly declared array variables that generate wrong code when using located variables in a program POU
|
changeset |
files
|
Sun, 09 Oct 2011 20:16:41 +0200 |
laurent |
Fix bug in generate_c_inlinefcall.cc that prevent to use extendible standard functions
|
changeset |
files
|
Sun, 09 Oct 2011 20:12:05 +0200 |
laurent |
Fix bug in definition of CONCAT standard function in iec_std_lib.h
|
changeset |
files
|
Wed, 28 Sep 2011 14:55:26 +0200 |
Edouard Tisserant |
moved declaration __STR_CMP to prevent warning
|
changeset |
files
|
Wed, 14 Sep 2011 22:58:39 +0200 |
laurent |
Adding support for compiling direct array specification inside variable declaration
|
changeset |
files
|
Fri, 09 Sep 2011 12:03:15 +0200 |
laurent |
Making case statement code generated safer
|
changeset |
files
|
Thu, 08 Sep 2011 20:25:00 +0200 |
laurent |
Merge with 01068ccb73b202b2872d4117ad01984bac956cbb
|
changeset |
files
|
Thu, 01 Sep 2011 21:32:57 +0200 |
Manuele Conti |
Fix make on system without mercurial installed.
|
changeset |
files
|
Wed, 31 Aug 2011 19:29:47 +0100 |
Mario de Sousa |
delete code no longer needed.
|
changeset |
files
|
Wed, 31 Aug 2011 14:51:59 +0100 |
Mario de Sousa |
Implement get_type_decl(), as it seems Manuele will need it later...
|
changeset |
files
|
Wed, 31 Aug 2011 14:10:53 +0100 |
Mario de Sousa |
Cleaning up: Getting some sense into the code handling structures.
|
changeset |
files
|
Thu, 25 Aug 2011 17:22:44 +0200 |
Matteo Facchinetti |
Add automatic HG changeset id information in "-v" param
|
changeset |
files
|
Thu, 25 Aug 2011 08:56:28 +0200 |
Matteo Facchinetti |
Add iec2iec building in the project Makefiles.
|
changeset |
files
|
Fri, 26 Aug 2011 11:29:43 +0100 |
Mario de Sousa |
Update which files to ignore due to new autotools building environment.
|
changeset |
files
|
Fri, 26 Aug 2011 10:48:09 +0100 |
Mario de Sousa |
Add checks for undefined structure elements used IEC 61131-3 source code being compiled.
|
changeset |
files
|
Thu, 25 Aug 2011 17:55:48 +0100 |
Mario de Sousa |
Ignore underscores when extracting value of integer.
|
changeset |
files
|
Tue, 23 Aug 2011 17:18:37 +0100 |
Mario de Sousa |
Deleting unused code.
|
changeset |
files
|
Tue, 23 Aug 2011 16:28:03 +0100 |
Mario de Sousa |
Removing Makefiles made redundant by autotools.
|
changeset |
files
|
Tue, 23 Aug 2011 14:17:46 +0100 |
Mario de Sousa |
fix bug report email address.
|
changeset |
files
|
Tue, 23 Aug 2011 14:15:12 +0100 |
Mario de Sousa |
Add print version command line option.
|
changeset |
files
|
Tue, 23 Aug 2011 11:54:34 +0100 |
Mario de Sousa |
Remove debugging printf() added by mistake in previous commit.
|
changeset |
files
|
Tue, 23 Aug 2011 11:51:14 +0100 |
Mario de Sousa |
Print error messages when data type errors in ST expressions are detected.
|
changeset |
files
|
Tue, 23 Aug 2011 09:10:03 +0100 |
Mario de Sousa |
Include (again!) the declaration of standard functions (incorrectly removed -again- in previous commit)
|
changeset |
files
|
Mon, 22 Aug 2011 16:08:07 +0100 |
Mario de Sousa |
Add support for '**' (power) operator in ST expressions
|
changeset |
files
|
Fri, 19 Aug 2011 21:53:11 +0100 |
Mario de Sousa |
Some more comments on how to build, and correcting name of README.build file.
|
changeset |
files
|
Fri, 19 Aug 2011 20:57:49 +0100 |
Mario de Sousa |
Include the declaration of standard functions (incorrectly removed in previous commit)
|
changeset |
files
|
Fri, 19 Aug 2011 20:48:05 +0100 |
Mario de Sousa |
Merging with Laurent's repository.
|
changeset |
files
|
Fri, 19 Aug 2011 17:33:57 +0100 |
Mario de Sousa |
Fixing automake configuration to work properly with flex and bison.
|
changeset |
files
|
Fri, 29 Jul 2011 16:08:40 +0100 |
Mario de Sousa |
Building compiler with autoconf. Thanks go to Matteo of sirius-es.it
|
changeset |
files
|
Fri, 29 Jul 2011 16:06:38 +0100 |
Mario de Sousa |
Support for semantic verification of calls to standard functions.
|
changeset |
files
|
Fri, 29 Jul 2011 16:05:03 +0100 |
Mario de Sousa |
Support for semantic verification of calls to standard function calls.
|
changeset |
files
|
Fri, 29 Jul 2011 16:03:28 +0100 |
Mario de Sousa |
Support for semantic verification of calls to standard functions.
|
changeset |
files
|
Wed, 07 Sep 2011 19:28:10 +0200 |
laurent |
Fixing exponentiation used with symbol **
|
changeset |
files
|
Fri, 02 Sep 2011 18:16:33 +0200 |
laurent |
Fix bugs in exponentiation
|
changeset |
files
|
Fri, 02 Sep 2011 18:15:55 +0200 |
laurent |
Fix case statement in ST, adding support for enumerated types
|
changeset |
files
|
Wed, 13 Jul 2011 13:57:29 +0200 |
laurent |
Adding BYTE operators visit functions in inlinefcall
|
changeset |
files
|
Wed, 13 Jul 2011 13:40:14 +0200 |
laurent |
Fix bug with DIV and MOD operator in IL code generator
|
changeset |
files
|
Wed, 13 Jul 2011 12:44:12 +0200 |
laurent |
Fix bug in suffix of inlinefcall call in ST and IL
|
changeset |
files
|
Wed, 13 Jul 2011 12:32:34 +0200 |
laurent |
Remove inclusion of missing file in lib
|
changeset |
files
|
Wed, 13 Jul 2011 11:48:34 +0200 |
laurent |
Commiting merge with Mario's repository
|
changeset |
files
|
Mon, 11 Jul 2011 09:47:27 +0100 |
Mario de Sousa |
commiting merge with Laurent's repository
|
changeset |
files
|
Sat, 09 Jul 2011 14:48:31 +0100 |
Mario de Sousa |
changing 'make' to '$(MAKE)' so other make tools (e.g. gmake) may also be used.
|
changeset |
files
|
Sat, 09 Jul 2011 14:17:52 +0100 |
Mario de Sousa |
Replacing extern declaration with #include of apropriate header file
|
changeset |
files
|
Sat, 09 Jul 2011 14:05:53 +0100 |
Mario de Sousa |
Adding some comments, and removing a check for a semantic error in code being compiled.
|
changeset |
files
|
Tue, 12 Jul 2011 22:20:28 +0200 |
laurent |
Fix bug with inline function call in POU programmed in IL
|
changeset |
files
|
Fri, 08 Jul 2011 11:06:27 +0200 |
laurent |
Fix bug in function calls with literal parameters
|
changeset |
files
|
Thu, 07 Jul 2011 10:49:08 +0200 |
laurent |
Fix makefiles when not using make as make tool
|
changeset |
files
|
Wed, 06 Jul 2011 12:19:30 +0200 |
laurent |
Fix bug on initialization of temp variables not using setter
|
changeset |
files
|
Wed, 06 Jul 2011 12:01:46 +0200 |
laurent |
Fix bug when trying to find the type of a NULL symbol
|
changeset |
files
|
Mon, 04 Jul 2011 15:27:09 +0200 |
laurent |
Fix bug in inline function calls when using function with undetermined type interface with literals as input
|
changeset |
files
|
Wed, 29 Jun 2011 12:28:59 +0200 |
laurent |
Fix warnings when compiling matiec
|
changeset |
files
|
Wed, 29 Jun 2011 12:28:13 +0200 |
laurent |
Fix warning on nop statement at the end of function_block and program generated code
|
changeset |
files
|
Wed, 29 Jun 2011 12:26:00 +0200 |
laurent |
Adding double underscore in computed enumerated value to avoid conflict with other user defined identifiers
|
changeset |
files
|
Tue, 28 Jun 2011 19:03:15 +0200 |
laurent |
Add support for finding type of a constant enumerated value and managing conflict between same identifiers defined in different enumerated data types
|
changeset |
files
|
Mon, 27 Jun 2011 18:01:43 +0200 |
laurent |
Fix bug in declaring variable of enumerated type
|
changeset |
files
|
Thu, 16 Jun 2011 11:14:13 +0100 |
Mario de Sousa |
Fix what I think is a bug (has not yet manifested itself).
|
changeset |
files
|
Thu, 16 Jun 2011 11:12:02 +0100 |
Mario de Sousa |
Merging with Lauren't recent change.
|
changeset |
files
|
Thu, 16 Jun 2011 11:05:13 +0100 |
Mario de Sousa |
Merging two previous commits.
|
changeset |
files
|
Fri, 10 Jun 2011 10:13:15 +0100 |
Mario de Sousa |
Clean up some code.
|
changeset |
files
|
Tue, 14 Jun 2011 17:15:47 +0200 |
laurent |
Fix bug with array attribute in structure declaration
|
changeset |
files
|
Tue, 14 Jun 2011 14:53:37 +0100 |
Mario de Sousa |
Add better comments, and change name of functions to clarify what they do.
|
changeset |
files
|
Fri, 10 Jun 2011 08:47:38 +0100 |
Mario de Sousa |
Remove incorect debugging assertion.
|
changeset |
files
|
Fri, 10 Jun 2011 06:30:30 +0100 |
Mario de Sousa |
Skip CONFIGURATION declarations in stage 3 for now, so semantic analysis does not stop when a configuration is encountered.
|
changeset |
files
|
Thu, 09 Jun 2011 17:51:00 +0200 |
laurent |
Fix bug when generating initial value for function return type when it is a complex type
|
changeset |
files
|
Thu, 09 Jun 2011 17:47:57 +0200 |
laurent |
Fix bug in debugging variable list compilation with structure and array disabling
|
changeset |
files
|
Wed, 08 Jun 2011 18:34:53 +0200 |
laurent |
Fix bug with TRUNC function and with type conversion functions called with constant as parameter
|
changeset |
files
|
Wed, 08 Jun 2011 11:42:19 +0100 |
Mario de Sousa |
Allow use of ENO keyword in structured variable field selector.
|
changeset |
files
|
Mon, 06 Jun 2011 16:28:41 +0200 |
laurent |
Fixing REAL_TO_INT conversion (behaved like a trunc and not like a round)
|
changeset |
files
|
Mon, 06 Jun 2011 14:05:28 +0100 |
Mario de Sousa |
fixing INSERT function: was inserting into incorrect position. (submitted by Manuele)
|
changeset |
files
|
Mon, 06 Jun 2011 11:01:47 +0200 |
laurent |
Fix bug when generating integer with leading zero (octal value for C compiler)
|
changeset |
files
|
Fri, 03 Jun 2011 17:14:24 +0100 |
Mario de Sousa |
Allow [EOL] after a label in IL.
|
changeset |
files
|
Wed, 01 Jun 2011 14:02:16 +0200 |
laurent |
Fix bug when using an enumerated or subrange type to define a structure element
|
changeset |
files
|
Tue, 31 May 2011 15:35:05 +0200 |
laurent |
Fix bug when declaring data type directly derived from array type
|
changeset |
files
|
Mon, 30 May 2011 19:28:32 +0100 |
Mario de Sousa |
Fix conversion of binary digits to hex, when generating code.
|
changeset |
files
|
Mon, 30 May 2011 19:24:09 +0100 |
Mario de Sousa |
Fix missing '(' when declaring new simple derived data type.
|
changeset |
files
|
Mon, 30 May 2011 19:16:22 +0100 |
Mario de Sousa |
Ignore underscores in decimal integer constants when determining size in bits...
|
changeset |
files
|
Mon, 30 May 2011 17:54:15 +0100 |
Mario de Sousa |
When checking semantics of expressions, skip semantic checking of data type definitions
|
changeset |
files
|
Mon, 30 May 2011 17:52:15 +0100 |
Mario de Sousa |
Fixing algorithm that determines bit size of constants containing underscores.
|
changeset |
files
|
Fri, 27 May 2011 18:01:54 +0100 |
Mario de Sousa |
Merging with Edouard's version
|
changeset |
files
|
Fri, 27 May 2011 18:01:01 +0100 |
Mario de Sousa |
Fixing bug related to setting array variables with values coming from other variables
|
changeset |
files
|
Wed, 18 May 2011 16:32:46 +0200 |
Edouard Tisserant |
Added __IEC_OUTPUT_FLAG, to mark variable whose forcing implies refresh on eache cycle.
|
changeset |
files
|
Wed, 18 May 2011 13:20:24 +0200 |
laurent |
Fix bug when debugging located variables of type memory (%M) for all variable classes
|
changeset |
files
|
Tue, 17 May 2011 10:35:12 +0100 |
Mario de Sousa |
Merging with Edouard's changes
|
changeset |
files
|
Tue, 17 May 2011 10:34:00 +0100 |
Mario de Sousa |
Fixing code generation of array indexes in Function Blocks.
|
changeset |
files
|
Sun, 15 May 2011 10:22:15 +0100 |
Mario de Sousa |
Commiting merge with Laurent's recent dead code removal change.
|
changeset |
files
|
Tue, 19 Apr 2011 09:36:59 +0100 |
Mario de Sousa |
Adding fflush capabilities. It is sometimes usefull when debuging the compiler...
|
changeset |
files
|
Fri, 15 Apr 2011 09:45:27 +0100 |
Mario de Sousa |
Adding missing semicolons.
|
changeset |
files
|
Mon, 16 May 2011 14:19:20 +0200 |
Edouard Tisserant |
fixed build error with gcc 4.5.2
|
changeset |
files
|
Mon, 16 May 2011 12:36:21 +0200 |
laurent |
Merged with Edouard's modifications
|
changeset |
files
|
Mon, 16 May 2011 11:57:41 +0200 |
laurent |
Fix bug when debugging located variables of type memory (%M)
|
changeset |
files
|
Thu, 21 Apr 2011 11:22:13 +0200 |
Edouard Tisserant |
Removed dead code
|
changeset |
files
|
Thu, 14 Apr 2011 19:17:20 +0100 |
Mario de Sousa |
Fixing implementation of CU, CD, and CUD in standard library.
|
changeset |
files
|
Thu, 14 Apr 2011 19:02:35 +0100 |
Mario de Sousa |
Deleting dead code.
|
changeset |
files
|
Thu, 14 Apr 2011 18:55:31 +0100 |
Mario de Sousa |
Merging changes.
|
changeset |
files
|
Thu, 14 Apr 2011 18:12:59 +0100 |
Mario de Sousa |
Added tracking of order by which tokens are processed by lexical analyser.
|
changeset |
files
|
Thu, 14 Apr 2011 17:35:25 +0100 |
Mario de Sousa |
Adding tracking of filename in which token is located.
|
changeset |
files
|
Thu, 07 Apr 2011 11:40:03 +0200 |
Edouard Tisserant |
Reverted semantic error message so that Beremiz can parse them and that user can double-click on error message to open related POU and select the faulty line.
|
changeset |
files
|
Tue, 05 Apr 2011 19:42:33 +0100 |
Mario de Sousa |
Fixing error message incorrectly changed in previous merge.
|
changeset |
files
|
Tue, 05 Apr 2011 18:31:55 +0100 |
Mario de Sousa |
fixing C code generation of return_statement_c and exit_statement_c
|
changeset |
files
|
Tue, 05 Apr 2011 17:12:12 +0100 |
Mario de Sousa |
merging the Edouard's version.
|
changeset |
files
|
Tue, 05 Apr 2011 14:24:07 +0100 |
Mario de Sousa |
fixing exit_statement_c: produce 'break' instead of 'exit(0); (Thanks to Manuele)
|
changeset |
files
|
Tue, 05 Apr 2011 14:17:16 +0100 |
Mario de Sousa |
Fixing code generation of standard conversion functions.
|
changeset |
files
|
Tue, 05 Apr 2011 15:14:19 +0200 |
Edouard Tisserant |
Re-generated std lib related code, with updated headers, updated all forgotten headers
|
changeset |
files
|
Mon, 04 Apr 2011 19:18:22 +0200 |
Edouard Tisserant |
Merged matiec library headers update from Mario to LGPL
|
changeset |
files
|
Mon, 04 Apr 2011 15:59:35 +0100 |
Mario de Sousa |
Changing to LGPL for library functions.
|
changeset |
files
|
Mon, 04 Apr 2011 15:26:13 +0100 |
Mario de Sousa |
Updating origin and license info of library fuctions.
|
changeset |
files
|
Mon, 04 Apr 2011 15:22:42 +0100 |
Mario de Sousa |
Leave standard function names hardcoded, as these are considered keywords even though
|
changeset |
files
|
Mon, 04 Apr 2011 14:32:21 +0100 |
Mario de Sousa |
New version of bistable.txt - due to license issues.
|
changeset |
files
|
Mon, 04 Apr 2011 18:54:55 +0200 |
Edouard Tisserant |
Make semantic error message compatible with beremiz
|
changeset |
files
|
Mon, 04 Apr 2011 17:19:35 +0200 |
Edouard Tisserant |
Merge
|
changeset |
files
|
Mon, 04 Apr 2011 17:13:03 +0200 |
Edouard Tisserant |
Fixes to make handling of standard functions in Semantic analyser compatible with code generation of standard functions
|
changeset |
files
|
Mon, 04 Apr 2011 13:25:39 +0200 |
Edouard Tisserant |
Merge with changes from Mario
|
changeset |
files
|
Mon, 04 Apr 2011 11:19:48 +0100 |
Mario de Sousa |
Fixing stupid bug (that was disabling code generation).
|
changeset |
files
|
Mon, 04 Apr 2011 10:48:30 +0100 |
Mario de Sousa |
Adding Makefile for Darwin (thanks go to Manuele)
|
changeset |
files
|
Mon, 04 Apr 2011 10:42:03 +0100 |
Mario de Sousa |
starting to add proper header file with declaration of standard functions
|
changeset |
files
|
Fri, 01 Apr 2011 12:19:32 +0100 |
Mario de Sousa |
Fixing error messages for IL semantic errors (brocken in a previous changeset/commit).
|
changeset |
files
|
Fri, 01 Apr 2011 10:47:24 +0100 |
Mario de Sousa |
Updating license info (with Edouard's permission for relevant files).
|
changeset |
files
|
Fri, 01 Apr 2011 10:06:19 +0100 |
Mario de Sousa |
Updating License info (with Edoaurd's permission for relevant files).
|
changeset |
files
|
Fri, 01 Apr 2011 10:03:22 +0100 |
Mario de Sousa |
Adding some debug info
|
changeset |
files
|
Thu, 31 Mar 2011 21:06:36 +0100 |
Mario de Sousa |
Do not crash when checking semantics of undeclared symbolic_variable.
|
changeset |
files
|
Thu, 31 Mar 2011 17:40:55 +0100 |
Mario de Sousa |
Updating licensing information.
|
changeset |
files
|
Thu, 31 Mar 2011 13:20:50 +0100 |
Mario de Sousa |
Error messages (stage3) now better identify the location of the error.
|
changeset |
files
|
Thu, 31 Mar 2011 10:52:03 +0100 |
Mario de Sousa |
Adding debug conditional printf()s in stage 3.
|
changeset |
files
|
Thu, 31 Mar 2011 10:45:34 +0100 |
Mario de Sousa |
Merging my Huge change with Edouards/Laurents version
|
changeset |
files
|
Wed, 30 Mar 2011 19:53:32 +0100 |
Mario de Sousa |
Huge change.
|
changeset |
files
|
Fri, 01 Apr 2011 11:10:06 +0200 |
Edouard Tisserant |
Changed packing declaration in iec_types
|
changeset |
files
|
Fri, 01 Apr 2011 17:26:29 +0200 |
laurent |
Modify code generated for avoiding warning while compiling when configuration or resource don't have any global variable
|
changeset |
files
|
Thu, 31 Mar 2011 19:11:16 +0200 |
Edouard Tisserant |
Initial TIME support in debugger
|
changeset |
files
|
Sun, 27 Mar 2011 16:19:36 +0200 |
laurent |
Merged with Edouard's modifications
|
changeset |
files
|
Sun, 27 Mar 2011 15:55:51 +0200 |
laurent |
Bug with getter for pointed variables in accessors fixed
|
changeset |
files
|
Sat, 26 Mar 2011 18:53:51 +0100 |
Edouqrd Tisserant |
Added dumb SEMA?implementation
|
changeset |
files
|
Wed, 16 Mar 2011 10:31:50 +0100 |
laurent |
Adding missing support for accessors and retain in configuration files (Bug and fix reported by Manuele Conti)
|
changeset |
files
|
Sat, 12 Mar 2011 18:43:02 +0100 |
laurent |
Merged with modifications from Edouard
|
changeset |
files
|
Sat, 12 Mar 2011 18:38:41 +0100 |
laurent |
Task single parameter code generation broken after addition of accessors fixed.
|
changeset |
files
|
Sat, 12 Mar 2011 18:31:36 +0100 |
laurent |
Bug when function call result is a parameter of another function call fixed.
|
changeset |
files
|
Tue, 22 Feb 2011 15:19:41 +0100 |
edouard |
A forgotten case in type size getter switch prevented debugging outputs.
|
changeset |
files
|
Wed, 16 Jun 2010 21:52:17 +0200 |
laurent |
merge
|
changeset |
files
|
Wed, 02 Jun 2010 18:21:15 +0200 |
laurent |
Adding support for generating code for variable in step action association instead of action
|
changeset |
files
|
Thu, 03 Jun 2010 12:59:32 +0200 |
Lolitech |
Updated makefiles for cygwin build with no perl
|
changeset |
files
|
Thu, 20 May 2010 23:36:53 +0200 |
laurent |
Bug with global located variables accessors fixed
|
changeset |
files
|
Wed, 19 May 2010 21:51:52 +0200 |
laurent |
Bug with code generation of global located variables in resource fixed thanks to Mario
|
changeset |
files
|
Thu, 22 Apr 2010 07:03:18 +0200 |
laurent |
Bugs fixed:
|
changeset |
files
|
Thu, 22 Apr 2010 00:29:30 +0200 |
laurent |
Bug when parsing standard function block call in IL
|
changeset |
files
|
Tue, 15 Dec 2009 20:50:30 +0100 |
laurent |
Bug when trying to get type of elements in a big complex structure fixed
|
changeset |
files
|
Tue, 15 Dec 2009 16:29:44 +0100 |
laurent |
Adding support for using arrays in POU interface
|
changeset |
files
|
Tue, 15 Dec 2009 11:18:19 +0100 |
laurent |
Using InOut variables in functions fixed
|
changeset |
files
|
Tue, 15 Dec 2009 08:51:44 +0100 |
laurent |
Bug on generate_c_inlinefcall fixed
|
changeset |
files
|
Sun, 13 Dec 2009 11:41:22 +0100 |
laurent |
Using function_call_iterator in generate_c_inlinefcall instead of creating a new visitor
|
changeset |
files
|
Sat, 12 Dec 2009 20:41:32 +0100 |
laurent |
Bug on standard functions called with literals fixed
|
changeset |
files
|
Fri, 11 Dec 2009 13:01:17 +0100 |
laurent |
Adding support for making distinction between external variables and located variables for forcing
|
changeset |
files
|
Fri, 11 Dec 2009 12:53:54 +0100 |
laurent |
Adding support for forcing global without perturbation from setting external
|
changeset |
files
|
Wed, 09 Dec 2009 16:45:27 +0100 |
laurent |
Bug in located variable initialization code fixed
|
changeset |
files
|
Tue, 08 Dec 2009 16:26:06 +0100 |
laurent |
Bug on SFC debugging fixed
|
changeset |
files
|
Mon, 07 Dec 2009 15:36:29 +0100 |
berem |
Adding support for setter and getter on complex datatype in IL
|
changeset |
files
|
Sat, 05 Dec 2009 18:53:01 +0100 |
laurent |
Changes merged
|
changeset |
files
|
Sat, 05 Dec 2009 18:38:53 +0100 |
laurent |
Adding support for setter and getter on complex datatype in ST
|
changeset |
files
|
Sat, 05 Dec 2009 18:35:38 +0100 |
laurent |
Fix accessor code
|
changeset |
files
|
Fri, 04 Dec 2009 15:13:08 +0100 |
edouard |
type definition to match accessor and new debug
|
changeset |
files
|
Fri, 04 Dec 2009 15:11:16 +0100 |
edouard |
fixed cygwin build - still slooooooooow
|
changeset |
files
|
Wed, 02 Dec 2009 19:55:23 +0100 |
laurent |
Adding Flags bit symbols
|
changeset |
files
|
Wed, 02 Dec 2009 16:11:01 +0100 |
laurent |
Adding support for flags on Function Block variables for marking which variable must be debugged, retained or is forced
|
changeset |
files
|
Tue, 01 Dec 2009 09:03:33 +0100 |
laurent |
Bug with ULINT correction fixed
|
changeset |
files
|
Mon, 30 Nov 2009 15:36:12 +0100 |
laurent |
Adding support for declare, init, get and set macros
|
changeset |
files
|
Sun, 29 Nov 2009 19:09:56 +0100 |
Edouard TISSERANT |
added files to ignore in hgignore
|
changeset |
files
|
Sun, 29 Nov 2009 16:38:11 +0100 |
laurent |
Adding support for declare, init, get and set macros
|
changeset |
files
|
Wed, 18 Nov 2009 10:53:15 +0100 |
laurent |
Bug with using non explicit literals as standard library functions input parameters fixed
|
changeset |
files
|
Mon, 02 Nov 2009 17:41:56 +0100 |
edouard |
Wiped out references to Lolitech
|
changeset |
files
|
Mon, 02 Nov 2009 12:01:09 +0100 |
greg |
Replace \"lolitech\" contact by \"edouard\" contact
|
changeset |
files
|
Wed, 28 Oct 2009 13:50:56 +0100 |
greg |
Fix some bug in debian packages
|
changeset |
files
|
Thu, 22 Oct 2009 10:31:26 +0200 |
greg |
Fix some warnings on compilation
|
changeset |
files
|
Mon, 19 Oct 2009 18:12:44 +0200 |
laurent |
Remove warnings when compiling IL generated C code
|
changeset |
files
|
Mon, 21 Sep 2009 12:04:15 +0200 |
laurent |
Adding support for forcing tick count to return to zero as the same time than all tasks firing are synchronized
|
changeset |
files
|
Mon, 21 Sep 2009 12:02:14 +0200 |
laurent |
Remove -pedantic flag to CFLAGS to allow unsigned long long to be compiled
|
changeset |
files
|
Wed, 02 Sep 2009 18:23:40 +0200 |
laurent |
Modify code generated to fit latest modifications in matiec and useless symbol definitions
|
changeset |
files
|
Wed, 02 Sep 2009 17:35:56 +0200 |
laurent |
Bug in eno_param_declaration error handle fixed
|
changeset |
files
|
Wed, 02 Sep 2009 17:35:02 +0200 |
laurent |
Bug with EN/ENO in generate_var_list that breaks parsing of variables.csv fixed
|
changeset |
files
|
Wed, 02 Sep 2009 14:05:27 +0200 |
'Laurent Bessard |
Mario changes merged
|
changeset |
files
|
Thu, 27 Aug 2009 16:29:23 +0100 |
Catarina Boucinha |
Adding missing Stage3 files.
|
changeset |
files
|
Thu, 27 Aug 2009 16:18:56 +0100 |
Catarina Boucinha |
Merged changes
|
changeset |
files
|
Thu, 27 Aug 2009 16:06:46 +0100 |
Catarina Boucinha |
Initial (very rough) version of semantic checker (stage3)
|
changeset |
files
|
Thu, 02 Jul 2009 11:26:25 +0100 |
Catarina Boucinha |
Introducing the search_il_operand_type files in the absyntax_utils folder.
|
changeset |
files
|
Wed, 02 Sep 2009 13:39:05 +0200 |
laurent |
Applying patch from Iztok for old gcc versions
|
changeset |
files
|
Tue, 01 Sep 2009 17:01:08 +0200 |
laurent |
Bug with type conversion EN/ENO not evaluated fixed
|
changeset |
files
|
Fri, 10 Jul 2009 11:41:29 +0200 |
'Gr?gory Tr?lat |
prevent eclipse to push .project with .hgignore
|
changeset |
files
|
Fri, 10 Jul 2009 11:08:33 +0200 |
'Gr?gory Tr?lat |
removed dead hidden files
|
changeset |
files
|
Fri, 19 Jun 2009 13:27:26 +0200 |
lbessard |
Fix problems with direct variables in expression while compiling resulting expression type
|
changeset |
files
|
Fri, 19 Jun 2009 13:26:31 +0200 |
lbessard |
Fix segmentation fault when define global with location but no name (reported by brendan)
|
changeset |
files
|
Thu, 18 Jun 2009 19:18:54 +0200 |
mario |
Removing un-necessary symbol direct_variable_type_name_c from abstract syntax tree
|
changeset |
files
|
Thu, 18 Jun 2009 18:49:29 +0200 |
mario |
Fixing indentification
|
changeset |
files
|
Wed, 10 Jun 2009 15:02:14 +0200 |
lbessard |
Adding inclusion of function blocks defined in AnnexF into library blocks
|
changeset |
files
|
Wed, 10 Jun 2009 13:20:52 +0200 |
lbessard |
Adding support for parsing standard function in standard function blocks code generation
|
changeset |
files
|
Wed, 10 Jun 2009 13:19:51 +0200 |
lbessard |
Adding inclusion of function blocks defined in AnnexF into library blocks
|
changeset |
files
|
Tue, 09 Jun 2009 10:57:01 +0200 |
lbessard |
Bug on function without input parameters fixed
|
changeset |
files
|
Tue, 09 Jun 2009 10:14:17 +0200 |
lbessard |
Removing failing error finding rule
|
changeset |
files
|
Fri, 05 Jun 2009 16:11:25 +0200 |
lbessard |
Warning when compiling abs functions for unsigned integer fixed
|
changeset |
files
|
Fri, 05 Jun 2009 14:06:53 +0200 |
greg |
bug when compiling for windows (missing getopt.h) fixed
|
changeset |
files
|
Thu, 04 Jun 2009 14:17:08 +0200 |
mario |
Newer versions of g++ require access controls to be correct!
|
changeset |
files
|
Thu, 04 Jun 2009 09:47:35 +0200 |
lbessard |
Adding support for single resource scheduling
|
changeset |
files
|
Thu, 04 Jun 2009 09:44:53 +0200 |
lbessard |
Bug with bison versions earlier than 2.3 fixed
|
changeset |
files
|
Mon, 01 Jun 2009 21:11:12 +0200 |
mario |
Moving absyntax utility functions out from stage4/generate_c
|
changeset |
files
|
Mon, 01 Jun 2009 21:08:44 +0200 |
mario |
Moving absyntax utility files out from stage4/generate_c
|
changeset |
files
|
Sat, 30 May 2009 16:42:41 +0200 |
greg |
Bug on "abs" not working with float fixed
|
changeset |
files
|
Thu, 28 May 2009 14:02:35 +0200 |
lbessard |
Target Directory not parsed in command line fixed
|
changeset |
files
|
Tue, 26 May 2009 18:04:27 +0200 |
mario |
Starting move of search utils to their own top level directory.
|
changeset |
files
|
Mon, 25 May 2009 12:17:10 +0200 |
mario |
Adding support for SAFEBOOL. Some code generation yet to do...
|
changeset |
files
|
Tue, 19 May 2009 16:31:35 +0200 |
lbessard |
Bug with non-working counters fixed
|
changeset |
files
|
Mon, 18 May 2009 13:19:30 +0200 |
lbessard |
Adding support for checking direct variable declared before using
|
changeset |
files
|
Fri, 15 May 2009 10:23:20 +0200 |
lbessard |
Bug with array datatype definition fixed
|
changeset |
files
|
Fri, 20 Mar 2009 13:49:48 +0100 |
lbessard |
Bug generated when IL code starts whitout LD operand fixed
|
changeset |
files
|
Thu, 19 Mar 2009 16:21:30 +0100 |
etisserant |
Fixed (again) some Makefile quirks.
|
changeset |
files
|
Mon, 02 Mar 2009 09:27:55 +0100 |
greg |
updated : debian package scripts
|
changeset |
files
|
Tue, 20 Jan 2009 15:06:13 +0100 |
lbessard |
Disable compiling warnings on Windows
|
changeset |
files
|
Mon, 19 Jan 2009 17:06:22 +0100 |
lbessard |
Bug when function with unconnected input fixed
|
changeset |
files
|
Mon, 19 Jan 2009 08:28:04 +0100 |
etisserant |
Canged default string length to 127, keeping strlen_t to int8_t
|
changeset |
files
|
Mon, 19 Jan 2009 08:27:30 +0100 |
etisserant |
Fixed parameter count error on variadic functions with EN/ENO
|
changeset |
files
|
Wed, 14 Jan 2009 20:54:29 +0100 |
lbessard |
Bug with external variable declaration fixed
|
changeset |
files
|
Wed, 14 Jan 2009 19:47:41 +0100 |
lbessard |
Bug on standard function not defined with EN/ENO fixed
|
changeset |
files
|
Fri, 09 Jan 2009 17:05:24 +0100 |
lbessard |
Bug with structure of structure fixed
|
changeset |
files
|
Sun, 04 Jan 2009 17:23:06 +0100 |
etisserant |
Fixed errors in string_to_int.
|
changeset |
files
|
Sun, 04 Jan 2009 17:21:33 +0100 |
etisserant |
Fixed typo in EN/ENO parameters handling for std library functions
|
changeset |
files
|
Tue, 23 Dec 2008 13:21:19 +0100 |
etisserant |
STRING max size and length type can now be overloaded (define STR_MAX_LEN and STR_LEN_TYPE before including iec_types.h)
|
changeset |
files
|
Fri, 19 Dec 2008 15:09:29 +0100 |
lbessard |
Adding support for compiling struct data types
|
changeset |
files
|
Mon, 15 Dec 2008 17:23:48 +0100 |
etisserant |
Try to clean Makefile. Not a real success.
|
changeset |
files
|
Mon, 15 Dec 2008 17:23:22 +0100 |
etisserant |
fixed typo in generated VARIABLES.CSV
|
changeset |
files
|
Fri, 12 Dec 2008 17:52:44 +0100 |
lbessard |
Adding Function Blocks in VARIABLES.csv
|
changeset |
files
|
Fri, 05 Dec 2008 16:22:15 +0100 |
greg |
Warning conditions on win32 fixed
|
changeset |
files
|
Thu, 04 Dec 2008 13:09:18 +0100 |
greg |
set and reset action fixed
|
changeset |
files
|
Mon, 01 Dec 2008 14:13:47 +0100 |
lbessard |
Bug with standard functions nb_params count on Windows fixed
|
changeset |
files
|
Wed, 26 Nov 2008 09:06:52 +0100 |
greg |
Modifying MOVE interface
|
changeset |
files
|
Wed, 26 Nov 2008 09:06:26 +0100 |
greg |
Adding support for direct variable type search
|
changeset |
files
|
Fri, 21 Nov 2008 13:43:49 +0100 |
lbessard |
Bug on language selection in SFC Action fixed
|
changeset |
files
|
Fri, 24 Oct 2008 16:38:26 +0200 |
lbessard |
Bug with DEBUG mode in SFC fixed
|
changeset |
files
|
Fri, 24 Oct 2008 16:37:46 +0200 |
lbessard |
Adding support for EN/ENO in standard functions
|
changeset |
files
|
Wed, 15 Oct 2008 15:38:58 +0200 |
greg |
add Makefile for the mingw toolchain on win32
|
changeset |
files
|
Tue, 07 Oct 2008 14:33:52 +0200 |
lbessard |
fixed typo eno_param_declaration
|
changeset |
files
|
Fri, 26 Sep 2008 14:42:05 +0200 |
lbessard |
Adding support for EN/ENO params in function and function blocks (standard function not supported yet)
|
changeset |
files
|
Thu, 25 Sep 2008 10:26:10 +0200 |
lbessard |
Adding support for ouput variables in functions
|
changeset |
files
|
Thu, 25 Sep 2008 10:25:30 +0200 |
lbessard |
Bug with enumerated_value fixed
|
changeset |
files
|
Mon, 15 Sep 2008 13:36:24 +0200 |
lbessard |
Adding support for EN/ENO parameters in bison rules
|
changeset |
files
|
Mon, 08 Sep 2008 10:34:24 +0200 |
lbessard |
Bug while wearching errors in transition with priority fixed
|
changeset |
files
|
Mon, 08 Sep 2008 10:33:37 +0200 |
lbessard |
Adding support for transition debugging
|
changeset |
files
|
Sun, 07 Sep 2008 10:08:11 +0200 |
etisserant |
Added __DEBUG global var to eventually change PLC code execution
|
changeset |
files
|
Thu, 21 Aug 2008 16:08:19 +0200 |
etisserant |
added missing includes on some platform (gentoo/gcc-4.3.1)
|
changeset |
files
|
Tue, 19 Aug 2008 18:04:28 +0200 |
etisserant |
Some miscelanous static, extern and pointer status variable changes in C generated code for configuration and resources
|
changeset |
files
|
Tue, 19 Aug 2008 18:03:11 +0200 |
etisserant |
Re-organized types headers, to ease debug code generation
|
changeset |
files
|
Tue, 12 Aug 2008 16:14:12 +0200 |
lbessard |
Adding some improvements:
|
changeset |
files
|
Mon, 04 Aug 2008 15:14:25 +0200 |
etisserant |
Fixed generation of VARIABLES.csv, some variables appeared in program section
|
changeset |
files
|
Wed, 23 Jul 2008 11:44:39 +0200 |
lbessard |
Fixed some uncatched errors and error bounds in error messages
|
changeset |
files
|
Fri, 18 Jul 2008 14:44:07 +0200 |
lbessard |
Some bugs on syntax checking tests fixed
|
changeset |
files
|
Thu, 17 Jul 2008 19:08:28 +0200 |
etisserant |
Updated tests so that they compile again :-)
|
changeset |
files
|
Thu, 17 Jul 2008 19:07:28 +0200 |
lbessard |
Adding some human-readable error messages
|
changeset |
files
|
Thu, 17 Jul 2008 19:07:26 +0200 |
etisserant |
Fixed missing return in XOR operator code gen.
|
changeset |
files
|
Thu, 17 Jul 2008 19:06:53 +0200 |
etisserant |
removed __print statements. Not supposed to be in std lib.
|
changeset |
files
|
Thu, 17 Jul 2008 19:06:20 +0200 |
etisserant |
Changed located global variable declaration and init to reflec recent change on located vars (pointers)
|
changeset |
files
|
Thu, 17 Jul 2008 17:03:06 +0200 |
etisserant |
added some type handling tools in iec_std_lib. To be tested
|
changeset |
files
|
Sat, 28 Jun 2008 19:03:08 +0200 |
etisserant |
*** empty log message ***
|
changeset |
files
|
Fri, 27 Jun 2008 09:36:40 +0200 |
lbessard |
Modifying time qualifier in SFC to take real time enlapsed instead of theoric period time
|
changeset |
files
|
Fri, 27 Jun 2008 09:29:27 +0200 |
lbessard |
Bug on __TIME_CMP fixed
|
changeset |
files
|
Wed, 25 Jun 2008 18:47:07 +0200 |
lbessard |
Fixed some issues on:
|
changeset |
files
|
Mon, 23 Jun 2008 18:02:09 +0200 |
etisserant |
Support for extern pointer for located variables
|
changeset |
files
|
Mon, 19 May 2008 14:07:31 +0200 |
lbessard |
Adding support for POU struct definition in POUS.h
|
changeset |
files
|
Wed, 16 Apr 2008 09:49:28 +0200 |
lbessard |
Bug with D and L action qualifier and timing management in SFC generated fixed
|
changeset |
files
|
Fri, 11 Apr 2008 10:53:38 +0200 |
lbessard |
Bug with C code generation for SFC when more than one sfc_network in one sequential_function_chart fixed
|
changeset |
files
|
Tue, 08 Apr 2008 18:21:37 +0200 |
lbessard |
Problem with negated literals while compiling generated C file on 32bits systems fixed
|
changeset |
files
|
Thu, 03 Apr 2008 18:29:14 +0200 |
lbessard |
Bug on located variables without name declaration fixed
|
changeset |
files
|
Thu, 03 Apr 2008 18:28:10 +0200 |
lbessard |
Changing SFC Transitions, Steps and Actions types
|
changeset |
files
|
Fri, 28 Mar 2008 10:06:20 +0100 |
lbessard |
Adding support to distinguish direct variables and pointed variables
|
changeset |
files
|
Wed, 05 Mar 2008 09:26:42 +0100 |
etisserant |
cast fir gcc4 fix in lib
|
changeset |
files
|
Thu, 28 Feb 2008 18:10:42 +0100 |
etisserant |
right name for TOFF is TOF according to 61131
|
changeset |
files
|
Thu, 28 Feb 2008 18:10:01 +0100 |
etisserant |
changed VARIABLES.h in VARIABLES.cvs
|
changeset |
files
|
Tue, 26 Feb 2008 10:59:48 +0100 |
lbessard |
Adding structure variable list generation module
|
changeset |
files
|
Mon, 11 Feb 2008 10:26:35 +0100 |
etisserant |
added *.depend to .cvsignore
|
changeset |
files
|
Sat, 09 Feb 2008 08:59:05 +0100 |
mario |
Regression tests. Not yet finished...
|
changeset |
files
|