matiec: Graph

Merge 2014-02-19, by Edouard Tisserant
fix definition of pragma. 2014-02-16, by mjsousa
Fix the state machine that became broken 2 commits ago (when adding support for nested comments) 2014-02-16, by mjsousa
Add option to control support for nested comments (default is off, as defined in IEC 61131-3 v2) 2014-02-16, by mjsousa
Add support for nested comments 2014-02-15, by mjsousa
Fix bug: when checking compatibility between GLOBAL and EXTERNAL variables, must only enforce GLOBAL CONSTANT => EXTERNAL CONSTANT. 2014-02-12, by mjsousa
merge 2014-02-11, by mjsousa
Fix bug: correctly generate code when accessing external variables declared inside FBs as a structured variable (realvar := fb1.fb2.extvar1.realvar) 2014-01-06, by Mario de Sousa
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. 2014-02-09, by 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 2014-02-09, by mjsousa
Code cleanup (part 2): generate_typedecl_c now only prints to POUS.h ! 2014-02-08, by mjsousa
Code cleanup (part 1): subrange check functions are now declared in POUS.h (as static inline functions or #define) 2014-02-08, by 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() ) 2014-02-08, by mjsousa
fix a couple of typos. 2014-02-08, by mjsousa
Fix bug - correctly declare struct members whose type is a directly defined array (e.g.: STRUCT x: ARRAY of XXX; END_STRUCT) 2014-02-08, by mjsousa
Start using the called_fb_declaration annotation when generating C code from FB calls in ST. 2014-02-05, by mjsousa
Code cleanup: move datatype analysis to get_datatype_info_c 2013-12-22, by Mario de Sousa
Fix bug-fix of previous commit. 2013-12-20, by Mario de Sousa
Fix bug: allow use, as lvalues, structures/arrays inside FBs (e.g. fb1.struct1.r := 33.3). 2013-12-19, by Mario de Sousa
Fix bug/issue #33 (correctly access struct/array variables declared inside a FB -> r:=FB1.FB2.struct1.array1[3] ) 2013-12-18, by Mario de Sousa
Add assertion suggested by Manuele. 2013-09-07, by Mario de Sousa
merge 2013-08-23, by mjsousa
Use get_datatype_info_c::is_type_valid() to determine datatype validity 2013-08-23, by mjsousa
Recursively check the datatype compatibility of values/expressions passed in function/FB invocations. 2013-08-23, by mjsousa
Change error message text so as to become more suitable to where they might occur in the source code. 2013-08-23, by mjs
Add code to check if an IN_OUT variable is being passed an IL list in formal IL FB/function invocations. 2013-08-22, by mjsousa
Generate correct error message when encountering IL lists embedded in IL formal invocations. 2013-08-22, by mjsousa
Fill in the 'datatype' anotation in the identifiers of symbolic variables. 2013-08-22, by mjsousa
Fix C code generation of FB invocation in IL. 2013-08-22, by mjsousa
Fix detection of datatype errors on IL conditional flow control operators (JMPC, RETC, ...) 2013-08-22, by mjsousa
Allow array_dimension_iterator to accept an array_spec_init_c. 2013-08-21, by mjsousa
Small code cleanup (move common code to a function) 2013-08-21, by mjsousa
Fix datatype analysis of conditional IL operators (CALC, CALCN, RETC, RETCN, JMPC, JMPCN, S and R) 2013-08-21, by mjsousa
Fix datatype analyses of S and R IL operators. 2013-08-21, by mjsousa
make sure all IL operands are narrowed (datatype checking algorithm) 2013-08-21, by mjsousa
cosmetic change only - fix code alignment. 2013-08-21, by mjsousa
Add support for FB call semantics of 'S' and 'R' IL operators! 2013-08-20, by mjsousa
Stop lvalue check from segfaulting when coming across buggy IL code (IL operator with no operand!) 2013-08-20, by mjsousa
Allow get_datatype_info_c to be called with NULL parameters. 2013-08-20, by mjsousa
Do lvalue check of function output parameters (since they may contain expressions inside array subscripts!) 2013-08-15, by mjsousa
Handle buggy source code gracefully (do not bork when non-array variable is used as an array. e.g: int_var[42]:= 33) 2013-08-10, by mjsousa
Delete debugging messages left in by mistake. 2013-08-07, by mjsousa
Fix segfault when doing lvalue check of buggy IEC 61131-3 source code 2013-08-07, by mjsousa
Fix datatype analysis of structured variables that contain arrays in their fields (e.g. var.x1[var2 + 42].y1). 2013-08-07, by mjsousa
Add capability of returning array subscript list while decomposing a struct/array variable. 2013-08-05, by mjsousa
Code cleanup: Remove unused option = Delete dead code. 2013-08-05, by mjsousa
merge 2013-08-20, by mjsousa
Declare that YYLSTYPE is not the default trivial datatype used by bison. (was causing compile errors in bison ver >= 2.7) 2013-07-19, by Mario de Sousa
Fix build on Ubuntu 13.10 2014-02-19, by Edouard Tisserant
Fixed warning when compiling generated program containing external variable assignments 2013-10-11, by Laurent Bessard
Enlarged flex buffer size in order to accept larger C pragmas 2013-06-07, by Edouard Tisserant
Missing braces arround extern declarartions in __SET_EXTERNAL define was making problem with GCC in switch case statements 2013-05-18, by edouard
Moved __INIT_* defines within type definition headers files 2013-05-16, by Edouard Tisserant
Fixed warning in accessor __SET_EXTERNAL 2013-05-02, by Laurent Bessard
Fixed bug when defining task with single_data_source instead of interval_data_source 2013-04-18, by Laurent Bessard
Merged Mario's changes 2013-04-05, by Edouard Tisserant
Fix bug related to FB invocation of FB instances declared as VAR_EXTERN. 2013-04-04, by Mario de Sousa
Merged Mario's changes 2013-04-04, by Edouard Tisserant
Partial fix to VAR_EXTERN vs VAR_GLOBAL check. Now considers globals declared in resources too. TODO: recursively check FB declared in the program. 2013-04-03, by Mario de Sousa
Allow variables declared inside resources to be referenced by res_name.var_name 2013-02-22, by 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. 2013-02-13, by Mario de Sousa
Print filename when debugging abstract symbol table. 2013-02-05, by Mario de Sousa
Consider fb_name_decl_c a non base data type class! 2013-01-23, by Mario de Sousa
Fill symbol->datatype anotation for FB declarations. 2013-01-23, by Mario de Sousa
Fill in the symbol.datatype annotation in symbol classes used in derived data type declarations. 2013-01-23, by 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). 2013-01-22, by Mario de Sousa
Merged 2013-03-11, by Laurent Bessard
Fixed bug in string format when translating TIME and DATETIME to STRING 2013-03-11, by Laurent Bessard
Fixed bug with SFC transition datatype checking 2013-03-11, by Laurent Bessard
Stripped generated files again. http://stackoverflow.com/questions/3290908/which-files-generated-by-autotools-should-i-keep-in-version-control-repository 2013-03-08, by Edouard Tisserant
Fixed bug in case statement with enumerated type variable as case expression 2013-03-08, by Laurent Bessard
Merged 2013-03-08, by Laurent Bessard
Set the symbol->datatpe of function_declaration_c 2013-01-13, by Mario de Sousa
Fill in the symbol->datatype of elementary datatypes. 2013-01-13, by Mario de Sousa
merge 2013-01-10, by Mario de Sousa
merge 2013-01-03, by Mario de Sousa
Fix divide by 0 bug. 2013-01-03, by Mario de Sousa
grand merge 2013-01-03, by Mario de Sousa
disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results), 2013-01-10, by Mario de Sousa
merge 2013-01-10, by Mario de Sousa
Fix constant propagation for repeat_statement_c class. 2013-01-03, by Manuele Conti
Remove unused variable. 2013-01-03, by Manuele Conti
Implement Mario's suggestions: 2013-01-03, by Manuele Conti
Fix constant_folding missing call. [Bug found by Mario.] 2013-01-03, by Manuele Conti
Fix divide by 0 bug. 2013-01-03, by Mario de Sousa
merge 2013-01-03, by Mario de Sousa
Fix CPPFLAGS Makefile.am for all stage4. 2013-01-03, by Manuele Conti
Remove redundant class for get variable name. 2012-12-31, by Manuele Conti
Fix constant propagation alg. in for statement like Mario suggestion. 2012-12-28, by Manuele Conti
Add note about How Constant Folding class is extended with a implementation constant propagation algorithm 2012-12-28, by Manuele Conti
Add constant propagation algorithm for loop cycles. 2012-12-27, by Manuele Conti
Update symbol_c::first_file/last_file entries in list_c::add_element() 2012-12-28, by Mario de Sousa
moved class to obtain datatype name (in char *) to get_datatype_info_c 2012-12-27, by Mario de Sousa
merge 2012-12-27, by Mario de Sousa
Fix comment about meet semilattice rules. 2012-12-24, by Manuele Conti
Complete fix initialize const_value. 2012-12-22, by Manuele Conti
Start to implement constant propagation algorithm. 2012-12-22, by Manuele Conti
Fix const_value field initialized. 2012-12-22, by Manuele Conti
Remove Ambiguous enumerate value in enum conversion functions. 2012-12-02, by Manuele Conti
Fix enum conversion function to string. 2012-12-02, by Manuele Conti
Fix struct generic_function_call_t initialize style. 2012-11-28, by Manuele Conti
Merge with Mario's changes. 2012-11-27, by Manuele Conti
Merge with Mario's repository. 2012-12-20, by Manuele Conti
Fix warning about call fprintf without format string. 2012-12-20, by Manuele Conti
merge 2012-12-03, by Mario de Sousa
Remove Ambiguous enumerate value in enum conversion functions. 2012-12-02, by Manuele Conti
Fix enum conversion function to string. 2012-12-02, by Manuele Conti
Fix struct generic_function_call_t initialize style. 2012-11-28, by Manuele Conti
Small code cleanup. 2012-12-03, by Mario de Sousa
Allow bison to ask for an END_OF_INPUT token multiple times! 2012-12-01, by mjsousa
Protect against redefining macros 2012-12-01, by mjsousa
merge 2012-11-27, by Mario de Sousa
Fix flag to enable conversion functions. 2012-11-27, by Manuele Conti
Code cleanup: move tracking functions to flex. 2012-11-27, by Mario de Sousa
Insert the auto generated enum datatype conversion functions after the TYPE...END_TYPE, instead of at the end of input file. 2012-11-27, by Mario de Sousa
merge 2012-11-26, by Mario de Sousa
Set ENO to false when conversion function fails. 2012-11-23, by Manuele Conti
Fix typo in functionDataType array. 2012-11-23, by Manuele Conti
Add files missing from a few commits ago... 2012-11-23, by Mario de Sousa
merge 2012-11-22, by Mario de Sousa
Refix automake files. 2012-11-20, by Manuele Conti
Add some comments to argument new code. 2012-11-20, by Manuele Conti
Start to change code like Mario suggestions. 2012-11-20, by Manuele Conti
Create functionDataType array in derived_conversion_functions_c. 2012-11-19, by Manuele Conti
Add conversion functions option. 2012-11-16, by Manuele Conti
Start enumerate conversion functions. 2012-11-15, by Manuele Conti
merge 2012-11-22, by Mario de Sousa
Be sure to not redefine TRUE and FALSE macros. 2012-11-12, by Manuele Conti
merge 2012-11-22, by Mario de Sousa
Removed unused __attribute__((__packed__)) only gcc compatible. 2012-11-12, by Manuele Conti
Protect IEC_STD_LIB.H header agaist multi-include problems. 2012-11-12, by Manuele Conti
merge 2012-11-22, by Mario de Sousa
Start to move enumeration declaration checking to its own class. 2012-11-22, by Mario de Sousa
Fix comments and code alignment 2012-11-22, by Mario de Sousa
Fix warnings previous change introduced when compiling with gcc. 2012-11-19, by Mario de Sousa
Fix some important clang++ warnings. 2012-11-18, by Manuele Conti
Allow use of type#value syntax when defining default initial value inside a TYPE..END_TYPE declaration. 2012-11-15, by Mario de Sousa
Do datatype verification of fully qualified enumerated values (e.g. ENUMTYPE#enumconst) 2012-11-15, by Mario de Sousa
Add datatype checking of enumeration data type declarations. 2012-11-14, by Mario de Sousa
Print const values of symbol. 2012-11-14, by Mario de Sousa
Fix code generation of enum value constants (this is a temporary fix - it will be followed by a code cleanup). 2012-11-14, by Mario de Sousa
Fix bug in datatype checking of enumerated datatypes delcarations. 2012-11-14, by Mario de Sousa
Fix datatype checking of enumerated datatype declarations. We now follow the fill->narrow algorithm correctly. 2012-11-14, by Mario de Sousa
Add method to determine the id (name) of a datatype. 2012-11-14, by Mario de Sousa
Change the base datatype of enumerations to an enumerated_type_declaration_c (for named types!) 2012-11-13, by Mario de Sousa
Change the public interface to debug functions. 2012-11-13, by 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) 2012-11-09, by Mario de Sousa
Fix one more bug - upper_bound() works a little differently to what we want! 2012-11-09, by Mario de Sousa
Fix more bugs in dsymtable_c (real semantics of std::multimap::lower_bound is not what was assumed!) 2012-11-08, by Mario de Sousa
Fix counting bug in dsymbtable_c 2012-11-08, by 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) 2012-11-08, by Mario de Sousa
Move the enumerated_value_symtable to fill_candidate_datatypes_c, since it is only used there! 2012-11-08, by Mario de Sousa
Make search_base_type_c a singleton! 2012-11-07, by Mario de Sousa
Start datatype checking of variable declarations (for now, only seting symbol.datatype of enumerations) 2012-11-07, by 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). 2012-11-07, by Mario de Sousa
Added support for testing BCD value validity in BCD_TO_UINT function 2013-02-23, by 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 2013-02-23, by Laurent Bessard
Fix warning message when declaring global variables in configuration 2012-12-19, by Laurent Bessard
Removed unused variable 2012-12-04, by Laurent Bessard
Replacing libc time functions for date <-> timespec translation by platform and localtime independant implementation 2012-12-03, by Laurent Bessard
Removed files generedted by autoconf, should not be in repo 2012-11-28, by Edouard Tisserant
Fixed timegm usage incompatible with mingw, reverted to mktime in case mingw is detected 2012-11-28, by Edouard Tisserant
Fix in accessor undefined init methods for function block global instances 2012-11-16, by Laurent Bessard
Fix undefined function toupper in iec_std_lib 2012-11-16, by Laurent Bessard
Adding support for declaring function block instances as global and external variables 2012-11-15, by Laurent Bessard
Fix DATE conversions standard functions 2012-11-08, by Laurent Bessard
Fix definition of BCD to ANY_UINT and ANY_UINT to BCD conversion standard functions 2012-11-08, by Laurent Bessard
Fix indentation in SFC SL qualifier code generated 2012-11-06, by Laurent Bessard
Fix indentation and unused variable warning in SFC generated code 2012-11-06, by Laurent Bessard
Fix pragma with double bracket token stripping 2012-10-31, by Laurent Bessard
Fix some warning about loss of precision data in iec_std_lib.h file. 2012-10-24, by Manuele Conti
Fix typo. 2012-10-26, by Mario de Sousa
Remove deprecated class search_constant_type_c 2012-10-26, by Mario de Sousa
replace call to search_constant_type_c with symbol.datatype 2012-10-26, by Mario de Sousa
Removing several warning in iec_std_lib.h 2012-10-09, by Manuele Conti
Code formating only. 2012-10-26, by Mario de Sousa
Fix stage4 for compare expressions. 2012-10-06, by Manuele Conti
Prepare to delete search_constant_type_c -> Move the static variables from search_constant_type_c to get_datatype_info_c 2012-10-26, by Mario de Sousa
Remove no longer needed search_il_operand_type_c 2012-10-25, by Mario de Sousa
Also force_narrow IL instructions inside IL expressions, i.e. inside parenthesis. 2012-10-25, by Mario de Sousa
Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis. 2012-10-25, by Mario de Sousa
Fix bug when handling IL expressions (i.e. IL instructions inside parenthesis). 2012-10-25, by Mario de Sousa
Delete debugging code, introduced by mistake in previous commit. 2012-10-25, by Mario de Sousa
Fix handling of IL parenthesized expressions in generate_c_il_c 2012-10-25, by Mario de Sousa
Fix processing of TIME literals (submited by Andreas) 2012-10-25, by Mario de Sousa
Fix flow control analysis of IL simple instructions (i.e. IL instructions inside parenthises!) 2012-10-25, by Mario de Sousa
Comment out invalid assertion. 2012-10-25, by 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.) 2012-10-25, by 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. 2012-10-24, by Mario de Sousa
Do not repeat narrow algorithm for ST code, and better comments. 2012-10-18, by Mario de Sousa
New visitor classes missing from previous commit. 2012-10-16, by Mario de Sousa
Remove line printing debug info. 2012-10-16, by Mario de Sousa