Add check whether external var matches to global var.

Also check FB passed as parameters in FB/Function calls (Thanks Andreas!)

Minor changes needed to build with pedantic flag.

Also check external/global variable consistency in configurations and FBs.

add method for printing class_name. USE ONLY FOR DEBUGING!

store POU reference to POU declaration instead of global var declarations.

Start declaration check class.

Start declaration check class.

Adjust coding style.

list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.

Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).

Start adding support for data type checking of enums.

Remove comment no longer valid since introduction of constant folding.

Add some comments.

Update configure script.

More precise handling of const value status.

Fix bug in checking array ranges.

Add more info to error messages.

Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.

Merge.

Fix constant folding: now handles INT_MIN and neg_integer_c correctly.

Replace test bison version without bash regular expression.
Tested on OS X 10.8 - Linux Ubuntu 12.4 - MinGW.

Fix Segmentation Fault FB var declaration in a single list.

Add some comments.

Fix some warning about loss of precision data in iec_std_lib.h file.

Fix bug with NE function for STRING variables

Fix bug in code for pragma with double brackets

Merged

Adding support for direct array declaration in structure element declaration

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.

Fix bug with task interval using fixed_point value for duration items

Adding error message when task interval value is not supported

Adding error message when task interval value is not supported

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

Fix generated code when using boolean variable as action name in step action association

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.

Adding support for P0 and P1 qualifiers and fixing code generated for SL qualifier

Fixed VARIABLES.csv, was broken when using enumrated types

Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b

Moving function to correct location (formating only).

Fix bug in code generation for FB IN_OUT structured parameter.

Add check bison version in configure.ac file.
To build correctly matiec we need bison greater or equals than 2.4 version.
Now the "configure" script is able to check if system has correctly requirements.

Remove remaining signed/unsigned comparison error messages when compiling.

Remove warning about comparisons between int and unsigned int.

Support for data types of STEP.T and STEP.X in SFCs

Remove dead code.

Change code formatting (alignment)

Aloow use of SFC STEPs as variables.

Check lvalues in expressions passed to Function/FB IN parameters.

Fix comment (bug found by Manuele).

Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).

Constant folding for IL.

update comments.

fix bug: remove REAL from candidate datatypes when real constant has overflowed.

signed integer limits do not affect ANY_INT constant values.

comment out un-used code.

cleaning up code. Changing HUGE_VAL to INFINITY.

Cleaning up the code.

Clean up the code a little.

Fixing includes to define INTxx_MAX etc...

Add remove_from_candidate_datatype_list method using constant_folding results.

fix typo.

fix parsing of non base 10 constant values.

determine const value of hex, octal and bin literals correctly.

fix array bounds check.

Fix stupid typos (in calculating array dimension)!

Add file missing from previous commit.

Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc

Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)

Clean up code (remove parsing of integers in stage 4).

Fix literal MACRO gcc compliant.

Add 'dimension' parameter to subrange_c, fill it correctly, and use it.

extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)

Add support for -INT64_MIN values in literals.

Make compiler portable (do not assume int64_t is long long int)

Add missing set overflow flag.

Fix extract_integer_value.
Now we handle signed and unsigned in different mode.
(Thanks to Andreas)

Fix typo (thanks Manuele)

Remove potential access to NULL pointer.

fix error message.

Fix array index bound check to consider uint64 indexes/limits.

Fix structure initialize.

Add check array out of bound.

Code for debugging const_value annotations in abstract syntax tree.

Fix 'overflow' detection for real64.

small bug fix.

Fix compare expression in constat folding class.

Fix extract_real (thanks Manuele), and add check for overflow.

cleaning up the code...

Fix remaining overflow checks.

remove incorrect include file.

Correctly implement MOD operation and overflow checks (still missing uint * / MOD).

Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)

cosmetic changes.

Add data structure for storing overflow of constant values.

make the compiler platform independent (i.e. no longer assume sizeof(double)==8).

create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!

Update constant folding: fixing minor bug.

Fix a few bugs of previous commit.

Start constant_folding class.

little typo in last commited code
add if(is_bool_type(sym)) this->bool_type->accept(*this) in generate_c_il_c::visit(il_default_variable_c*)
to get .BOOLvar instead of .FALSEvar resp. .TRUEvar ..

Change return data type of array_dimension_iterator_c.next()

Fix SFC stage4 error.

Renamed class, remove unused code, delete allocated objects.

Start sematinc range check class.

Located variables may have other data types besides ANY_BIT.

Add verify_is_lvalue to control_variable in for_statement.

Remove useless code, and replace with assertion.

Fix bug: initialise un-initialised variable.

Delete incorrect comment.

Add some comments...

Add high level comments.

Fix comment.

Fix the previous commit: check for errors in expressions used as subscripts.

Fix data type check array subscript field.

Merge changes.

Fix parsing os TIME literals & rename the extract_integer() function.

Fix generation of output for iec2iec.

Do not compile deleted files...

Do not compile deleted files...

ReDelete files - used in old method of supporting standard functions.

Remove file (used for old method of supporting standard functions).

Add TODO list!

Delete unecessary variable.

Fix __dt_to_timespec primitive function.
Set tm_isdst = 0 to disable DayLight Savig Time.

Fix __dt_to_string primitive function.

Fix code generation about __INIT_GLOBAL_LOCATED.

Change constants into enums.

Add lvalue checking for IL function and FB invocations.

Fix comment.

Add clarifying comment.

Remove access to NULL pointer.

Make temporary fix to is_complex() method.

Fix comment. (thanks go to Manuele for pointing it put).

Stop lvalue checks after finding an error in the expression.

Remove erroneous check for S1 and R1, and add missing declrataion.

Start implement lvalue check in IL instruction.

Add lvalue check on fb invocation.

Literals are also part of expressions!

Implement check_assignment_to_expression in lvalue_check_c class.

Remove potential access to NULL pointer.

Start having nicer stage 4 error messages.

Improve usability command line under windows.

Ignore trailing EOLs when determining symbol location.
(Makes for niver error messages)

Add comment.

Fix Segmentation fault in check_assignment_to_output lvalue method.

Remove deprecated status for ANYTIME operations.

Produce similar error messages in stage2 and stage3.

Fix bug when handling code with data type errors.

Fix printing of data type errors in while and repeat statements.

Add lvalue check for non formal function invocations.

Fixing check for assingment to FOR control variables.

Moving get_var_name_c into its own file.

Fixing check for assignment to output variables.

Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)

Add lvalue check class.

Determine the modifiers (CONST, REATAIN) used when declaring a variable.

Fix typo in comparison expression.

Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
(Preparing to delete search_varfb_instance_type_c in the future!)

Fix bug by expanding permissible data input of search_var_instance_decl_c
(this will also prepare us for removing search_varfb_instance_type_c in the future)

Edit formating and delete unused code.

Start data type checking of var declarations (including direct variables!)

Delete incorrect comments I had inserted previously (confusing EQ and NE functions)

merging with Lauren't changeset.

merge with Laurent's changeset (essentially ignore all changes).

merge with Laurent's changeset (essentially, ignore all changes).

merging with Laurent's changes.

merging with Laurent's change.

merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)

Add coment warning about incorrect implementation of the NE standard function.

merging with Laurent's patch.

Print correct error message when handling IL function calls.

Edit error message.

Add EXPT widen table.

Some stupid code cleanups.

Some code cleanups.

Clean up the code.

Fix error messages of il function calls - it now prints out location info of first parameter.

Clean code for printing errors in expressions.

Clean code for comparison operations & operators.

Cleaning up XORN, ANDN, and ORN operator code.

Cleaning up some code.

Add 'widen' tables for AND, OR and XOR operations.

Add MOD widening table, and some code clean-ups.

Re-organizing the code.

Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
Expand widening tables for ADD, SUB, MUL and DIV.

Clarify some details in the comments.

Add check widening status for IL operator.
Fix check widening status for ST expression.

Fix remaining 'widen' tables.

Fix some 'widen' table entries.

Add a TODO comment.

Clean up code, and add support for 'safe' version of literals.

Bringing comment up to date.

Semantic verification of NOT operator.

Fix bug in building structured variables.

Delete unecessary copy_candidate_datatype_list() function.

Delete no longer needed copy_candidate_datatype_list() function.

Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.

Do not allow duplicate values in candidate datatype list.

Handle JMP to labels preceding the JMP instruction itself.

Correctly handle JMP and RET IL operators in flow control analysis.

Fix filling candidate datatypes of JMP operations

Remove spurious printf()s, used during debugging session.

Add missing files.

Continue adding support for semantic verification of JMP and RET.

iAdd warning for deprecated operations.

Change prev_il_instruction to a vector<>

Some small cleanups.

Add support for semantic verification of CALC, CALCN, etc..

Finish support for semantic verification of IL paranthesised expressions.

More changes for support of semantic verification of il_expressions

Start of support for IL expressions (parenthesis).

Cleaning up the code.

Fix a few more bugs related to FB/function calls in IL.

Semantic verification: Add compatibility check for parameter direction in function invocation.

Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)

Start of support for semantic verification of FB calls in IL using special IL instructions.

Delete some comments.

Change name help function.

Update comments on general architecture.

Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.

Code cleanup.

Add printing of semantic errors when calling FB from IL.

Fix typo error in some il visit in fill_candidate_datatypes_c class.

Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!)

Add support for semantic verification of function calls in IL.

Add TODO comment, and delete unused debugging code.

Delete un-used code.

Change negation expression (neg_expression_c) to only allow signed data types.

Move elementary_c::to_string() to datatype_functions.cc/hh

Add, to types symbol table, string datatypes with limited length (my_string_type: STRING[33]) (Thanks Andreas!)

Correctly return the initial value of a string datatype, with limited length (STRING[33] := 'hello')

More detailed error messages for FB invocations in ST.

More detailed error messages in function invocations in ST.

Fix bug in analysing real literals (thanks Andreas!)

Remove debugging messages, and code cleanup.

Better error reporting in function invocations, and in invalid literal values.

Better identification of erros in function/FB invocations.

Print error messages when datatype erros found in ST function/FB calls.

Continue checking data type compatibility inside expressions used to pass paramters to invalid function/FB calls

Adding support for semantic verification of FB calls in ST.

Delete wrong comment.

Add support in stage 3 for checking function invocations in ST.

Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier.
Fix handling of FB calls in stage3.
Start handling of function invocations in stage3.

Changing code indenting.

Add fill candidate method for fb_invocation_c symbol.

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.

Merging with Laurent's repository.

Fix YYLTYPE declaration.

Merging with Laurent's repository.

Add list of things we must check for in stage 3 (TODO list!)

Fix bug with InOut variable of structured type

Fix bug while using complex type variables in Function and FunctionBlock interface

Fix bug while using complex type variables in Function and FunctionBlock interface

Fix bug with complex type inout variables while generating variable list

Fixing bug in inlinefcall when a transition is in ST and contains literals