matiec: Graph

Make compiler portable (do not assume int64_t is long long int) 2012-06-13, by Mario de Sousa
Add missing set overflow flag. 2012-06-12, by Manuele Conti
Fix extract_integer_value. 2012-06-12, by Manuele Conti
Fix typo (thanks Manuele) 2012-06-12, by Mario de Sousa
Remove potential access to NULL pointer. 2012-06-12, by Mario de Sousa
fix error message. 2012-06-12, by Mario de Sousa
Fix array index bound check to consider uint64 indexes/limits. 2012-06-12, by Mario de Sousa
Fix structure initialize. 2012-06-12, by Manuele conti
Add check array out of bound. 2012-06-11, by Manuele Conti
Code for debugging const_value annotations in abstract syntax tree. 2012-06-11, by Mario de Sousa
Fix 'overflow' detection for real64. 2012-06-11, by Mario de Sousa
small bug fix. 2012-06-10, by Mario de Sousa
Fix compare expression in constat folding class. 2012-06-10, by Manuele Conti
Fix extract_real (thanks Manuele), and add check for overflow. 2012-06-10, by Mario de Sousa
cleaning up the code... 2012-06-10, by Mario de Sousa
Fix remaining overflow checks. 2012-06-10, by Mario de Sousa
remove incorrect include file. 2012-06-09, by Mario de Sousa
Correctly implement MOD operation and overflow checks (still missing uint * / MOD). 2012-06-09, by Mario de Sousa
Re-insert errno=0 before calling strtoXX() (thanks go to Manuele) 2012-06-09, by Mario de Sousa
cosmetic changes. 2012-06-08, by Mario de Sousa
Add data structure for storing overflow of constant values. 2012-06-08, by Mario de Sousa
make the compiler platform independent (i.e. no longer assume sizeof(double)==8). 2012-06-06, by Mario de Sousa
create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled! 2012-06-06, by Mario de Sousa
Update constant folding: fixing minor bug. 2012-06-06, by Manuele Conti
Fix a few bugs of previous commit. 2012-06-06, by Mario de Sousa
Start constant_folding class. 2012-06-05, by Manuele Conti
little typo in last commited code 2012-06-05, by Andreas Graeper
Change return data type of array_dimension_iterator_c.next() 2012-06-04, by Mario de Sousa
Fix SFC stage4 error. 2012-05-16, by Manuele Conti
Renamed class, remove unused code, delete allocated objects. 2012-05-15, by mjsousa
Start sematinc range check class. 2012-05-15, by Manuele Conti
Located variables may have other data types besides ANY_BIT. 2012-05-15, by mjsousa
Add verify_is_lvalue to control_variable in for_statement. 2012-05-13, by Manuele Conti
Remove useless code, and replace with assertion. 2012-05-10, by mjsousa
Fix bug: initialise un-initialised variable. 2012-05-10, by mjsousa
Delete incorrect comment. 2012-05-10, by mjsousa
Add some comments... 2012-05-10, by mjsousa
Add high level comments. 2012-05-10, by mjsousa
Fix comment. 2012-05-10, by mjsousa
Fix the previous commit: check for errors in expressions used as subscripts. 2012-05-09, by mjsousa
Fix data type check array subscript field. 2012-05-09, by Manuele Conti
Merge changes. 2012-05-09, by mjsousa
Fix parsing os TIME literals & rename the extract_integer() function. 2012-05-09, by mjsousa
Fix generation of output for iec2iec. 2012-05-09, by mjsousa
Do not compile deleted files... 2012-05-09, by mjsousa
Do not compile deleted files... 2012-05-09, by mjsousa
ReDelete files - used in old method of supporting standard functions. 2012-05-09, by mjsousa
Remove file (used for old method of supporting standard functions). 2012-05-09, by mjsousa
Add TODO list! 2012-04-27, by Mario de Sousa
Delete unecessary variable. 2012-04-26, by Mario de Sousa
Fix __dt_to_timespec primitive function. 2012-05-03, by Conti Manuele
Fix __dt_to_string primitive function. 2012-05-02, by Conti Manuele
Fix code generation about __INIT_GLOBAL_LOCATED. 2012-04-24, by Conti Manuele
Change constants into enums. 2012-04-25, by Mario de Sousa
Add lvalue checking for IL function and FB invocations. 2012-04-25, by Mario de Sousa
Fix comment. 2012-04-25, by Mario de Sousa
Add clarifying comment. 2012-04-25, by Mario de Sousa
Remove access to NULL pointer. 2012-04-25, by Mario de Sousa
Make temporary fix to is_complex() method. 2012-04-25, by Mario de Sousa
Fix comment. (thanks go to Manuele for pointing it put). 2012-04-24, by Mario de Sousa
Stop lvalue checks after finding an error in the expression. 2012-04-23, by Mario de Sousa
Remove erroneous check for S1 and R1, and add missing declrataion. 2012-04-23, by Mario de Sousa
Start implement lvalue check in IL instruction. 2012-04-21, by Manuele Conti
Add lvalue check on fb invocation. 2012-04-21, by Manuele Conti
Literals are also part of expressions! 2012-04-19, by Mario de Sousa
Implement check_assignment_to_expression in lvalue_check_c class. 2012-04-18, by Conti Manuele
Remove potential access to NULL pointer. 2012-04-18, by Mario de Sousa
Start having nicer stage 4 error messages. 2012-04-18, by Mario de Sousa
Improve usability command line under windows. 2012-04-17, by Conti Manuele
Ignore trailing EOLs when determining symbol location. 2012-04-17, by Mario de Sousa
Add comment. 2012-04-17, by Mario de Sousa
Fix Segmentation fault in check_assignment_to_output lvalue method. 2012-04-17, by Conti Manuele
Remove deprecated status for ANYTIME operations. 2012-04-17, by Mario de Sousa
Produce similar error messages in stage2 and stage3. 2012-04-17, by Mario de Sousa
Fix bug when handling code with data type errors. 2012-04-16, by Mario de Sousa
Fix printing of data type errors in while and repeat statements. 2012-04-16, by Mario de Sousa
Add lvalue check for non formal function invocations. 2012-04-16, by Mario de Sousa
Fixing check for assingment to FOR control variables. 2012-04-16, by Mario de Sousa
Moving get_var_name_c into its own file. 2012-04-16, by Mario de Sousa
Fixing check for assignment to output variables. 2012-04-16, by Mario de Sousa
Fixing some bugs in lvalue checking (other bugs remain - to be fixed later) 2012-04-15, by Mario de Sousa
Add lvalue check class. 2012-04-14, by Manuele Conti
Determine the modifiers (CONST, REATAIN) used when declaring a variable. 2012-04-14, by manuele conti
Fix typo in comparison expression. 2012-04-14, by Mario de Sousa
Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead). 2012-04-14, by Mario de Sousa
Fix bug by expanding permissible data input of search_var_instance_decl_c 2012-04-14, by Mario de Sousa
Edit formating and delete unused code. 2012-04-13, by Mario de Sousa
Start data type checking of var declarations (including direct variables!) 2012-04-07, by Mario de Sousa
Delete incorrect comments I had inserted previously (confusing EQ and NE functions) 2012-04-03, by Mario de Sousa
merging with Lauren't changeset. 2012-03-31, by Mario de Sousa
merge with Laurent's changeset (essentially ignore all changes). 2012-03-31, by Mario de Sousa
merge with Laurent's changeset (essentially, ignore all changes). 2012-03-31, by Mario de Sousa
merging with Laurent's changes. 2012-03-31, by Mario de Sousa
merging with Laurent's change. 2012-03-31, by Mario de Sousa
merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes) 2012-03-31, by Mario de Sousa
Add coment warning about incorrect implementation of the NE standard function. 2012-03-29, by Mario de Sousa
merging with Laurent's patch. 2012-03-29, by Mario de Sousa
Print correct error message when handling IL function calls. 2012-03-29, by Mario de Sousa
Edit error message. 2012-03-15, by Mario de Sousa
Add EXPT widen table. 2012-03-15, by Mario de Sousa
Some stupid code cleanups. 2012-03-15, by Mario de Sousa
Some code cleanups. 2012-03-15, by Mario de Sousa
Clean up the code. 2012-03-14, by Mario de Sousa
Fix error messages of il function calls - it now prints out location info of first parameter. 2012-03-14, by Mario de Sousa
Clean code for printing errors in expressions. 2012-03-14, by Mario de Sousa
Clean code for comparison operations & operators. 2012-03-14, by Mario de Sousa
Cleaning up XORN, ANDN, and ORN operator code. 2012-03-14, by Mario de Sousa
Cleaning up some code. 2012-03-14, by Mario de Sousa
Add 'widen' tables for AND, OR and XOR operations. 2012-03-14, by Mario de Sousa
Add MOD widening table, and some code clean-ups. 2012-03-13, by Mario de Sousa
Re-organizing the code. 2012-03-13, by Mario de Sousa
Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c. 2012-03-13, by Mario de Sousa
Clarify some details in the comments. 2012-03-13, by Mario de Sousa
Add check widening status for IL operator. 2012-03-11, by Manuele Conti
Fix remaining 'widen' tables. 2012-03-11, by Mario de Sousa
Fix some 'widen' table entries. 2012-03-11, by Mario de Sousa
Add a TODO comment. 2012-03-10, by Mario de Sousa
Clean up code, and add support for 'safe' version of literals. 2012-03-10, by Mario de Sousa
Bringing comment up to date. 2012-03-10, by Mario de Sousa
Semantic verification of NOT operator. 2012-03-09, by Mario de Sousa
Fix bug in building structured variables. 2012-03-09, by Mario de Sousa
Delete unecessary copy_candidate_datatype_list() function. 2012-03-09, by Mario de Sousa
Delete no longer needed copy_candidate_datatype_list() function. 2012-03-08, by Mario de Sousa
Narrow IL lists twice, in order to handle JMP to labels before the JMP itself. 2012-03-08, by Mario de Sousa
Do not allow duplicate values in candidate datatype list. 2012-03-08, by Mario de Sousa
Handle JMP to labels preceding the JMP instruction itself. 2012-03-03, by Mario de Sousa
Correctly handle JMP and RET IL operators in flow control analysis. 2012-03-03, by Mario de Sousa
Fix filling candidate datatypes of JMP operations 2012-03-03, by Mario de Sousa
Remove spurious printf()s, used during debugging session. 2012-03-03, by Mario de Sousa
Add missing files. 2012-03-02, by Mario de Sousa
Continue adding support for semantic verification of JMP and RET. 2012-03-02, by Mario de Sousa
iAdd warning for deprecated operations. 2012-03-01, by Conti Manuele
Change prev_il_instruction to a vector<> 2012-02-27, by Mario de Sousa
Some small cleanups. 2012-02-27, by Mario de Sousa
Add support for semantic verification of CALC, CALCN, etc.. 2012-02-25, by Mario de Sousa
Finish support for semantic verification of IL paranthesised expressions. 2012-02-23, by Mario de Sousa
More changes for support of semantic verification of il_expressions 2012-02-21, by Mario de Sousa
Start of support for IL expressions (parenthesis). 2012-02-20, by Mario de Sousa
Cleaning up the code. 2012-02-20, by Mario de Sousa
Fix a few more bugs related to FB/function calls in IL. 2012-02-20, by Mario de Sousa
Semantic verification: Add compatibility check for parameter direction in function invocation. 2012-02-19, by Mario de Sousa
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var) 2012-02-18, by Mario de Sousa
Start of support for semantic verification of FB calls in IL using special IL instructions. 2012-02-17, by Mario de Sousa
Delete some comments. 2012-02-17, by Mario de Sousa
Change name help function. 2012-02-16, by Conti Manuele
Update comments on general architecture. 2012-02-16, by Mario de Sousa
Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code. 2012-02-16, by Mario de Sousa
Code cleanup. 2012-02-13, by Mario de Sousa
Add printing of semantic errors when calling FB from IL. 2012-02-13, by Mario de Sousa
Fix typo error in some il visit in fill_candidate_datatypes_c class. 2012-02-12, by Manuele Conti
Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!) 2012-02-13, by Mario de Sousa
Add support for semantic verification of function calls in IL. 2012-02-10, by Mario de Sousa
Add TODO comment, and delete unused debugging code. 2012-02-08, by Mario de Sousa
Delete un-used code. 2012-02-08, by Mario de Sousa
Change negation expression (neg_expression_c) to only allow signed data types. 2012-02-08, by Mario de Sousa
Move elementary_c::to_string() to datatype_functions.cc/hh 2012-02-07, by Mario de Sousa
Add, to types symbol table, string datatypes with limited length (my_string_type: STRING[33]) (Thanks Andreas!) 2012-02-07, by Mario de Sousa
Correctly return the initial value of a string datatype, with limited length (STRING[33] := 'hello') 2012-02-07, by Mario de Sousa
More detailed error messages for FB invocations in ST. 2012-02-07, by Mario de Sousa
More detailed error messages in function invocations in ST. 2012-02-06, by Mario de Sousa
Fix bug in analysing real literals (thanks Andreas!) 2012-02-06, by Mario de Sousa
Remove debugging messages, and code cleanup. 2012-02-06, by Mario de Sousa
Better error reporting in function invocations, and in invalid literal values. 2012-02-06, by Mario de Sousa
Better identification of erros in function/FB invocations. 2012-02-05, by Mario de Sousa
Print error messages when datatype erros found in ST function/FB calls. 2012-02-03, by Mario de Sousa
Continue checking data type compatibility inside expressions used to pass paramters to invalid function/FB calls 2012-02-03, by Mario de Sousa
Adding support for semantic verification of FB calls in ST. 2012-02-03, by Mario de Sousa
Delete wrong comment. 2012-02-02, by Mario de Sousa
Add support in stage 3 for checking function invocations in ST. 2012-02-02, by Mario de Sousa
Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier. 2012-02-02, by Mario de Sousa
Changing code indenting. 2012-02-02, by Mario de Sousa
Add fill candidate method for fb_invocation_c symbol. 2012-02-01, by Manuele Conti
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. 2012-02-01, by Mario de Sousa
Merging with Laurent's repository. 2012-02-01, by Mario de Sousa
Fix YYLTYPE declaration. 2011-09-27, by Manuele Conti
Merging with Laurent's repository. 2011-11-20, by Mario de Sousa
Add list of things we must check for in stage 3 (TODO list!) 2011-11-04, by Mario de Sousa
Fix bug with InOut variable of structured type 2012-08-14, by Laurent Bessard
Fix bug while using complex type variables in Function and FunctionBlock interface 2012-07-28, by Laurent Bessard
Fix bug while using complex type variables in Function and FunctionBlock interface 2012-07-27, by Laurent Bessard
Fix bug with complex type inout variables while generating variable list 2012-07-27, by Laurent Bessard
Fixing bug in inlinefcall when a transition is in ST and contains literals 2012-03-22, by laurent
Fix bug in code generated for MUL function 2012-02-24, by laurent
Fix bug with overloaded function due to literal input values 2012-02-24, by laurent
Fix bug wrong code generated when, in a pou, a located variable has the same name than a function block instance input variable 2012-02-21, by laurent
Fix bug pointed structure not declared for directly derived datatypes 2012-02-21, by laurent
removed forgotten prototype in __INIT_EXTERNAL accessor, causing warning ant build time 2012-02-16, by Edouard Tisserant
Merge with Edouard's modifications 2012-02-07, by laurent
Fix STEP and ACTION structure initialization value in SFC 2012-02-07, by laurent
Applied anonymous contribution RTC, '[Beremiz-devel] RTC function', 29/06/11 2012-02-03, by Edouard Tisserant
Fix bug with functions like LEN and TRUNC that have overloaded return type for same inputs type 2012-02-03, by laurent
Fix issues in standard library with MUX, MOD, NE and convertions to BOOL 2012-02-02, by laurent