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

Fix bug in code generated for MUL function

Fix bug with overloaded function due to literal input values

Fix bug wrong code generated when, in a pou, a located variable has the same name than a function block instance input variable

Fix bug pointed structure not declared for directly derived datatypes

removed forgotten prototype in __INIT_EXTERNAL accessor, causing warning ant build time

Merge with Edouard's modifications

Fix STEP and ACTION structure initialization value in SFC

Applied anonymous contribution RTC, '[Beremiz-devel] RTC function', 29/06/11

Fix bug with functions like LEN and TRUNC that have overloaded return type for same inputs type

Fix issues in standard library with MUX, MOD, NE and convertions to BOOL

Adding Common_Ticktime to informations printed in VARIABLES.csv file

Fixing bug with external variables refering to global variables defined in configurations

removed useless extern func declaration in __INIT_EXTERNAL, producing warning during build of POUS.c

Fixing bug in generated code for complex type external variable

Fixing SUB standard function defined in standard library

Fixing generated code for global variables. Adding support for defining global variables with complex type
Fixing bug preventing to generate SFC transition with IL body

Fixing bug in all SUB function definitions in standard_functions.txt

Fix bug when using enumerated type in equ_expression or notequ_expression

silenced warning on X86_64 build by casying numerical operand of snprintf

Fix bug in generate_c_inlinefcall. Was not handling textual SFC elements

Fix code generation of FOR loops. Now handles negative values of BY correctly.

Fix semantic verification of enumerated data types.

Adding a line to a comment. Does not change any code.

fixed signedness warning on string slicing funcs in std lib

Fix bug generate_c_inlinefcall in inline function name generated

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

Fix bug in code generation of directly declared array variables that generate wrong code when using located variables in a program POU

Fix bug in generate_c_inlinefcall.cc that prevent to use extendible standard functions

Fix bug in definition of CONCAT standard function in iec_std_lib.h

moved declaration __STR_CMP to prevent warning

Adding support for compiling direct array specification inside variable declaration

Making case statement code generated safer

Merge with 01068ccb73b202b2872d4117ad01984bac956cbb

Fix make on system without mercurial installed.

delete code no longer needed.

Implement get_type_decl(), as it seems Manuele will need it later...

Cleaning up: Getting some sense into the code handling structures.

Add automatic HG changeset id information in "-v" param

Add iec2iec building in the project Makefiles.

Update which files to ignore due to new autotools building environment.

Add checks for undefined structure elements used IEC 61131-3 source code being compiled.

Ignore underscores when extracting value of integer.

Deleting unused code.

Removing Makefiles made redundant by autotools.

fix bug report email address.

Add print version command line option.

Remove debugging printf() added by mistake in previous commit.

Print error messages when data type errors in ST expressions are detected.

Include (again!) the declaration of standard functions (incorrectly removed -again- in previous commit)

Add support for '**' (power) operator in ST expressions

Some more comments on how to build, and correcting name of README.build file.

Include the declaration of standard functions (incorrectly removed in previous commit)

Merging with Laurent's repository.

Fixing automake configuration to work properly with flex and bison.

Building compiler with autoconf. Thanks go to Matteo of sirius-es.it

Support for semantic verification of calls to standard functions.
Removing files no longer required.

Support for semantic verification of calls to standard function calls.
Adding missing files in previous commit.

Support for semantic verification of calls to standard functions.
This commit makes a fundamental change in the way standard functions are handled by the compiler.

Fixing exponentiation used with symbol **

Fix bugs in exponentiation

Fix case statement in ST, adding support for enumerated types

Adding BYTE operators visit functions in inlinefcall

Fix bug with DIV and MOD operator in IL code generator

Fix bug in suffix of inlinefcall call in ST and IL

Remove inclusion of missing file in lib

Commiting merge with Mario's repository

commiting merge with Laurent's repository

changing 'make' to '$(MAKE)' so other make tools (e.g. gmake) may also be used.

Replacing extern declaration with #include of apropriate header file

Adding some comments, and removing a check for a semantic error in code being compiled.

Fix bug with inline function call in POU programmed in IL

Fix bug in function calls with literal parameters

Fix makefiles when not using make as make tool

Fix bug on initialization of temp variables not using setter

Fix bug when trying to find the type of a NULL symbol

Fix bug in inline function calls when using function with undetermined type interface with literals as input

Fix warnings when compiling matiec

Fix warning on nop statement at the end of function_block and program generated code

Adding double underscore in computed enumerated value to avoid conflict with other user defined identifiers

Add support for finding type of a constant enumerated value and managing conflict between same identifiers defined in different enumerated data types

Fix bug in declaring variable of enumerated type

Fix what I think is a bug (has not yet manifested itself).

Merging with Lauren't recent change.

Merging two previous commits.

Clean up some code.

Fix bug with array attribute in structure declaration

Add better comments, and change name of functions to clarify what they do.

Remove incorect debugging assertion.

Skip CONFIGURATION declarations in stage 3 for now, so semantic analysis does not stop when a configuration is encountered.

Fix bug when generating initial value for function return type when it is a complex type

Fix bug in debugging variable list compilation with structure and array disabling

Fix bug with TRUNC function and with type conversion functions called with constant as parameter

Allow use of ENO keyword in structured variable field selector.

Fixing REAL_TO_INT conversion (behaved like a trunc and not like a round)

fixing INSERT function: was inserting into incorrect position. (submitted by Manuele)

Fix bug when generating integer with leading zero (octal value for C compiler)

Allow [EOL] after a label in IL.

Fix bug when using an enumerated or subrange type to define a structure element

Fix bug when declaring data type directly derived from array type

Fix conversion of binary digits to hex, when generating code.

Fix missing '(' when declaring new simple derived data type.

Ignore underscores in decimal integer constants when determining size in bits...

When checking semantics of expressions, skip semantic checking of data type definitions
(not yet supported). If we don't skip, all subsequent POUs would not be checked.

Fixing algorithm that determines bit size of constants containing underscores.

Merging with Edouard's version

Fixing bug related to setting array variables with values coming from other variables
(e.g. X[0] := Y;)

Added __IEC_OUTPUT_FLAG, to mark variable whose forcing implies refresh on eache cycle.

Fix bug when debugging located variables of type memory (%M) for all variable classes

Merging with Edouard's changes

Fixing code generation of array indexes in Function Blocks.

Commiting merge with Laurent's recent dead code removal change.

Adding fflush capabilities. It is sometimes usefull when debuging the compiler...

Adding missing semicolons.

fixed build error with gcc 4.5.2

Merged with Edouard's modifications

Fix bug when debugging located variables of type memory (%M)

Removed dead code

Fixing implementation of CU, CD, and CUD in standard library.

Deleting dead code.

Merging changes.

Added tracking of order by which tokens are processed by lexical analyser.
This helps in correctly formating error messages when constructs begin in one file, and end in another.

Adding tracking of filename in which token is located.

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.

Fixing error message incorrectly changed in previous merge.

fixing C code generation of return_statement_c and exit_statement_c

merging the Edouard's version.

fixing exit_statement_c: produce 'break' instead of 'exit(0); (Thanks to Manuele)

Fixing code generation of standard conversion functions.

Re-generated std lib related code, with updated headers, updated all forgotten headers

Merged matiec library headers update from Mario to LGPL

Changing to LGPL for library functions.

Updating origin and license info of library fuctions.
Conclude missing counter FBs.

Leave standard function names hardcoded, as these are considered keywords even though
they may not be implemented in the library.

New version of bistable.txt - due to license issues.

Make semantic error message compatible with beremiz

Merge

Fixes to make handling of standard functions in Semantic analyser compatible with code generation of standard functions

Merge with changes from Mario

Fixing stupid bug (that was disabling code generation).

Adding Makefile for Darwin (thanks go to Manuele)

starting to add proper header file with declaration of standard functions

Fixing error messages for IL semantic errors (brocken in a previous changeset/commit).

Updating license info (with Edouard's permission for relevant files).

Updating License info (with Edoaurd's permission for relevant files).

Adding some debug info

Do not crash when checking semantics of undeclared symbolic_variable.
NOTE: this update may have broken the printing of error messages
during semantic analysis of IL code.

Updating licensing information.

Error messages (stage3) now better identify the location of the error.

Adding debug conditional printf()s in stage 3.
Printing semantic error info to stderr instead of stdout.

Merging my Huge change with Edouards/Laurents version

Huge change.

Changed packing declaration in iec_types

Modify code generated for avoiding warning while compiling when configuration or resource don't have any global variable

Initial TIME support in debugger

Merged with Edouard's modifications

Bug with getter for pointed variables in accessors fixed

Added dumb SEMA?implementation

Adding missing support for accessors and retain in configuration files (Bug and fix reported by Manuele Conti)

Merged with modifications from Edouard

Task single parameter code generation broken after addition of accessors fixed.

Bug when function call result is a parameter of another function call fixed.

A forgotten case in type size getter switch prevented debugging outputs.

merge

Adding support for generating code for variable in step action association instead of action

Updated makefiles for cygwin build with no perl

Bug with global located variables accessors fixed

Bug with code generation of global located variables in resource fixed thanks to Mario

Bugs fixed:
- S and R operators using C++ literals
- Function block output assignment code generation

Bug when parsing standard function block call in IL

Bug when trying to get type of elements in a big complex structure fixed

Adding support for using arrays in POU interface

Using InOut variables in functions fixed

Bug on generate_c_inlinefcall fixed
Adding support for using structures in POU interface

Using function_call_iterator in generate_c_inlinefcall instead of creating a new visitor

Bug on standard functions called with literals fixed
Checking that number of parameters in function call doesn't exceed the maximum

Adding support for making distinction between external variables and located variables for forcing

Adding support for forcing global without perturbation from setting external

Bug in located variable initialization code fixed

Bug on SFC debugging fixed
Adding support for forcing transition state

Adding support for setter and getter on complex datatype in IL

Changes merged

Adding support for setter and getter on complex datatype in ST

Fix accessor code

type definition to match accessor and new debug

fixed cygwin build - still slooooooooow

Adding Flags bit symbols

Adding support for flags on Function Block variables for marking which variable must be debugged, retained or is forced

Bug with ULINT correction fixed

Adding support for declare, init, get and set macros

added files to ignore in hgignore

Adding support for declare, init, get and set macros

Bug with using non explicit literals as standard library functions input parameters fixed

Wiped out references to Lolitech

Replace \"lolitech\" contact by \"edouard\" contact

Fix some bug in debian packages

Fix some warnings on compilation

Remove warnings when compiling IL generated C code

Adding support for forcing tick count to return to zero as the same time than all tasks firing are synchronized

Remove -pedantic flag to CFLAGS to allow unsigned long long to be compiled

Modify code generated to fit latest modifications in matiec and useless symbol definitions

Bug in eno_param_declaration error handle fixed

Bug with EN/ENO in generate_var_list that breaks parsing of variables.csv fixed

Mario changes merged

Adding missing Stage3 files.

Merged changes

Initial (very rough) version of semantic checker (stage3)

Introducing the search_il_operand_type files in the absyntax_utils folder.
The Makefile from absyntax_utils folder and the generate_c_il.cc from the stage4/generate_c
folder was also modified to work with the new search_il_operand_type file.

Applying patch from Iztok for old gcc versions

Bug with type conversion EN/ENO not evaluated fixed
Removing some warnings in iec_std_lib.h

prevent eclipse to push .project with .hgignore

removed dead hidden files

Fix problems with direct variables in expression while compiling resulting expression type

Fix segmentation fault when define global with location but no name (reported by brendan)

Removing un-necessary symbol direct_variable_type_name_c from abstract syntax tree

Fixing indentification

Adding inclusion of function blocks defined in AnnexF into library blocks

Adding support for parsing standard function in standard function blocks code generation

Adding inclusion of function blocks defined in AnnexF into library blocks

Bug on function without input parameters fixed

Removing failing error finding rule

Warning when compiling abs functions for unsigned integer fixed

bug when compiling for windows (missing getopt.h) fixed

Newer versions of g++ require access controls to be correct!

Adding support for single resource scheduling

Bug with bison versions earlier than 2.3 fixed

Moving absyntax utility functions out from stage4/generate_c

Moving absyntax utility files out from stage4/generate_c

Bug on "abs" not working with float fixed

Target Directory not parsed in command line fixed

Starting move of search utils to their own top level directory.

Adding support for SAFEBOOL. Some code generation yet to do...

Bug with non-working counters fixed

Adding support for checking direct variable declared before using

Bug with array datatype definition fixed

Bug generated when IL code starts whitout LD operand fixed

Fixed (again) some Makefile quirks.

updated : debian package scripts

Disable compiling warnings on Windows

Bug when function with unconnected input fixed

Canged default string length to 127, keeping strlen_t to int8_t

Fixed parameter count error on variadic functions with EN/ENO

Bug with external variable declaration fixed

Bug on standard function not defined with EN/ENO fixed

Bug with structure of structure fixed

Fixed errors in string_to_int.

Fixed typo in EN/ENO parameters handling for std library functions

STRING max size and length type can now be overloaded (define STR_MAX_LEN and STR_LEN_TYPE before including iec_types.h)

Adding support for compiling struct data types

Try to clean Makefile. Not a real success.

fixed typo in generated VARIABLES.CSV

Adding Function Blocks in VARIABLES.csv

Warning conditions on win32 fixed

set and reset action fixed

Bug with standard functions nb_params count on Windows fixed

Modifying MOVE interface

Adding support for direct variable type search

Bug on language selection in SFC Action fixed

Bug with DEBUG mode in SFC fixed

Adding support for EN/ENO in standard functions

add Makefile for the mingw toolchain on win32

fixed typo eno_param_declaration

Adding support for EN/ENO params in function and function blocks (standard function not supported yet)

Adding support for ouput variables in functions

Bug with enumerated_value fixed

Adding support for EN/ENO parameters in bison rules

Bug while wearching errors in transition with priority fixed

Adding support for transition debugging

Added __DEBUG global var to eventually change PLC code execution

added missing includes on some platform (gentoo/gcc-4.3.1)

Some miscelanous static, extern and pointer status variable changes in C generated code for configuration and resources

Re-organized types headers, to ease debug code generation

Adding some improvements:
- columns in token location
- main parameter to allow user to display full location of errors
- parsing of errors in end of rules

Fixed generation of VARIABLES.csv, some variables appeared in program section

Fixed some uncatched errors and error bounds in error messages

Some bugs on syntax checking tests fixed

Updated tests so that they compile again :-)

Adding some human-readable error messages

Fixed missing return in XOR operator code gen.

removed __print statements. Not supposed to be in std lib.

Changed located global variable declaration and init to reflec recent change on located vars (pointers)

added some type handling tools in iec_std_lib. To be tested

*** empty log message ***

Modifying time qualifier in SFC to take real time enlapsed instead of theoric period time

Bug on __TIME_CMP fixed

Fixed some issues on:
- parsing string compare symbols
- retricting operation available on enumerated types

Support for extern pointer for located variables

Adding support for POU struct definition in POUS.h
Adding program instanciated in configuration definition into VARIABLE.h

Bug with D and L action qualifier and timing management in SFC generated fixed

Bug with C code generation for SFC when more than one sfc_network in one sequential_function_chart fixed

Problem with negated literals while compiling generated C file on 32bits systems fixed

Bug on located variables without name declaration fixed

Changing SFC Transitions, Steps and Actions types

Adding support to distinguish direct variables and pointed variables

cast fir gcc4 fix in lib

right name for TOFF is TOF according to 61131

changed VARIABLES.h in VARIABLES.cvs

Adding structure variable list generation module

added *.depend to .cvsignore

Regression tests. Not yet finished...

Regression tests. Test correct parsing of identifiers.

Fixed headers of generated code

add debian dir to create debian package

add Makefile for cygwin under Vista

changes in setup.py to filter "exe" files and the and the "lib" directory

add setup.py to build windows installer

Modifications for supporting String corrrections on PLCOpenEditor

Removing useless comment printout

Windows related enhancements

aligned CXXFLAGS with CFLAGS

Adding support for derived data types.
Already tested:
- Directly
- Enumerated
- Subrange
- Array

adding comments.
-----------------------------------------------------------

Adding some basic error cheching.

Changing format of error reporting.

Fixing some more comments.

Cleaning up comments.

Small fix to previous commit.

Cleaning up some bison rules.

Cleaning up comments.

Cleaning up comments.

Adding location data to new transition_condition_c.

Bug on SFC transition parsing and generation fixed

Adding support for use of PRIORITY as identifier inside SFC.

Fixing handling of enumeration values;
Adding syntax check in formal and non-formal FB invocations
Cleaning up some rules.

fixing 'priority' in SFC.

commenting out code no longer required. To be deleted later.

Adding some comments.

removing debug messages left by mistake in previous commit.

fixing bug in handling of PRIVATE token.

fixing buf in FOR control variable.

removing 'identifier' from definition of symbolic_variable

adding some comments.

fixing include bug (only ocured for includes in main program file).

Fixing handling of task initialisation.

fixing identifier issues of PRIORITY, SINGLE, and INTERVAL

fixing infinite error loops at library level, and ...

Fixing small bug when determining ST or IL language

fixing formal function invocation in IL

Change generate_cc to generate_c

Adding basic error checking.

Adding basic error checking.

CVS Test - removed blank line

Bugs on SFC generation fixed

Lots of bugs fixed

Fixed Bitwise negation in ST

What is that empty ramp.cc file ?

Support for anonymous directly represented variables.

updated some .cvsignore

Conform STD_TEST to standard, add FB declaration in localVars tag

Splitted type declaration out of iec std lib, to avoid DWORD, BOOL, TIME ,... clash with windows.h

Bugs with direct variable in Pou body fixed

Now generated SoftPLC compiles with mingw32 and run windows.

Bug on Program in ST and IL generation fixed

Started support for long long (LL suffix) 64 bit literals on 32 bit platforms (unfinished)

Updated Makefile to allow compilation with mingw32

Bug into generate_cc_sfc fixed

Adding SET (S) and RESET(R) to action qualifier
generate_cc_sfc rewritten for better code clarity

Adding R and S qualifier to SFC

Changing file header

Changing file headers
Modifying SFC generation

Fixed some problems win 32 bits GCC and Long Long literals

Help message updated

Adding support for generating files into an user-defined folder

Fixed verious problems with SFC, Globals and located variables.

Tests and various fixes

Test IEC_LIB and fix bugs (EQ, GT et all)

IEC std lib test enhanced string ops, from string and to string conv.

First working IEC std lib test, actually test from string and to_string functions.

Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux

Bug on configuration generation fixed

Stage4 changes according to new STD lib implementation

*** empty log message ***

Early implementation of STD library.

Generated code for il finished

new generated files

preliminary std lib support for ST

Adding support for standard function block parsing
Need to be extend to all standard function blocks defined

Correct bug on location list generation

Adding location list generation

Bug on resource global variables generation corrected

Multi-file configuration and resource generation finished

Now, stage4out can address files. Generate_cc have been split into one visitor per C file : pous, ressource and config. Work in progress.

Now, LOCATED variables do declare extern C variables the same way EXTERNAL variables do.

Adding support for internal variable call generating

Adding init function on programs
Corrected in and out var access + struct ref passing on fonction block calls.

Adding init function on functionBlock

Bugs on SFC transition list generation and search expression type with structured_variables corrected

Add time struct creation in variable initial value declaration

*** empty log message ***

Adding priority support for transitions in SFC

SFC generator improved

SFC state machine first approach generator implemented

Support for struct Time data Types manipulation into ST and IL added

Adding changes to make the compiler compatible with bison ver 2.3

*** empty log message ***

Many major changes to support SFC!

can now generate C programs instead off Cc

Add support for correct syntax of direct variables.

generate_iec completed

Fixing bug - BEGIN(sfc_state) -> yy_push_state(sfc_state)

Added some more coments.

Added some comments. Fixed some accesses to potential NULL pointers.

Changing from decl_state directly to sfc_state
Calling cmd_goto_body_state() instead of yy_push_state()

Removing 'transition_name' from 'action_time' definition
(also removes a reduce/reduce conflict!)

stack overflow problem corrected

ST and IL parsing added into flex-bison analyser

Added useful .cvsignore

Changes made since Mario visit at LOLITECH. Thanks again !