2017-01-25 |
Andrey Skvortsov |
Fix segmentation fault bug introduced by previous commit
|
changeset |
files
|
2017-01-24 |
mjsousa |
Correcty determine the datatype (TIME) of the parameters of SFC actions with timed qualifiers
|
changeset |
files
|
2017-01-23 |
Andrey Skvortsov |
Check that flex is installed during ./configure
|
changeset |
files
|
2017-01-17 |
Andrey Skvortsov |
Fix code generation for XOR expressions in ST (add parenthesis)
|
changeset |
files
|
2016-10-12 |
Andrey Skvortsov |
merge
|
changeset |
files
|
2016-10-12 |
Andrey Skvortsov |
make autogenerated functions to be 'static inline' instead of 'inline'
|
changeset |
files
|
2016-10-10 |
Andrey Skvortsov |
Merged mjsousa/matiec into default
|
changeset |
files
|
2016-09-08 |
mjsousa |
merge
|
changeset |
files
|
2016-06-28 |
Andrey Skvortsov |
Merged mjsousa/matiec into default
|
changeset |
files
|
2016-06-02 |
mjsousa |
fix bug introduced by commit 91bef6704b44 (parsing SFCs with transitions in ST and leading whitespace => endless loop)
|
changeset |
files
|
2016-05-26 |
mjsousa |
Only allow function invocation outside ST expressions when command line option is activated.
|
changeset |
files
|
2016-05-26 |
mjsousa |
Ignore pragmas inside IL code when handling inline function calls.
|
changeset |
files
|
2016-05-26 |
mjsousa |
Fix bug: correctly handle formal function calls in IL with no parameters.
|
changeset |
files
|
2016-05-26 |
mjsousa |
Add support for functions returning VOID (i.e. non-standard extension, allowing functions that do not return any data)
|
changeset |
files
|
2016-05-26 |
mjsousa |
Add -warn flag when running flex -> warn of potential bugs
|
changeset |
files
|
2016-05-13 |
mjsousa |
Add support for non-standard VOID datatype. May ony be used to define functions returning VOID.
|
changeset |
files
|
2016-05-11 |
mjsousa |
Delete the YY_NO_UNPUT define, as we do use the unput() function.
|
changeset |
files
|
2016-05-11 |
mjsousa |
Add support for non standard feature: allow POUs with no in, out and inout parameters
|
changeset |
files
|
2016-05-08 |
mjsousa |
Add option to not add the EN and ENO parameters to every function and FB (generated C code becomes smaller, and uses less memory for function invocations)
|
changeset |
files
|
2016-05-07 |
mjsousa |
Correctly identify errors when parsing erroneous code (make sure flex goes back to INITIAL state when code contains errors that do not allow determining whether ST or IL is being parsed)
|
changeset |
files
|
2016-06-28 |
Andrey Skvortsov |
Created new branch fix_compilation_warnings
fix_compilation_warnings
|
changeset |
files
|
2016-05-06 |
Andrey Skvortsov |
fix compilation error about missing braces
|
changeset |
files
|
2016-05-06 |
Andrey Skvortsov |
fix warning about overflow if matiec is running on 64-bit platform,
|
changeset |
files
|
2016-05-06 |
Andrey Skvortsov |
fix C compilation warning about function prototype in __SET_EXTERNAL
|
changeset |
files
|
2016-05-06 |
Andrey Skvortsov |
fix C compilation warning from gcc about /* inside of comment section.
|
changeset |
files
|
2015-10-02 |
mjsousa |
Update README.build file with instructions for crosscompiling to win32
|
changeset |
files
|
2015-06-08 |
mjsousa |
Delete commented out code.
|
changeset |
files
|
2015-06-08 |
mjsousa |
Fix FB calls in IL (FB variable name was showing up extraneously before the C function that initializes the POU containing the FB call)
|
changeset |
files
|
2015-06-06 |
mjsousa |
Delete unused code.
|
changeset |
files
|
2015-04-30 |
mjsousa |
Add check for repeated elements in a CASE statement. Emit warnings (and not errors) if found.
|
changeset |
files
|
2015-04-15 |
mjsousa |
transform CASE into if()..else if().. -> fixes 2 bugs (1)case within case statements, and (2)repeated elements in case options
|
changeset |
files
|
2015-03-15 |
mjsousa |
Initialise arrays to their correct default values - Fix bug introduced in commit 477393b00f95 (2014-11-16)
|
changeset |
files
|
2015-03-12 |
Edouard Tisserant |
Fixed reset of current_varqualifier when generating global initializers, causin RETAIN and other option to be ORed and applied to all subsequent global variables.
|
changeset |
files
|
2015-03-09 |
mjsousa |
Do fill/narrow datatype analysis algorithm for derived_datatype_identifier_c (fixes bug related to arrays of arrays that was generating incorrect C code).
|
changeset |
files
|
2015-02-15 |
mjsousa |
Better identification of error location in some error messages.
|
changeset |
files
|
2015-02-15 |
mjsousa |
Fix bug introduced in 2014/10/19, while adding support for REF() opertors -> datatype checking was not catching datatype inconsistency errors!
|
changeset |
files
|
2015-01-22 |
mjsousa |
merge
|
changeset |
files
|
2015-01-10 |
mjsousa |
Re-write and fix the logic of SFC action modifiers.
|
changeset |
files
|
2015-01-10 |
mjsousa |
Correct the number given to actions in the #define's
|
changeset |
files
|
2015-01-16 |
mjsousa |
Do not allow constant_propagation algorithm go into infinite loop when analysing code with circular references.
|
changeset |
files
|
2015-01-16 |
mjsousa |
Do constant propagation of FBs instantiated in other FB or Programs, so that variable sized arrays can be declared in FBs too.
|
changeset |
files
|
2015-01-11 |
mjsousa |
Do constant propagation of instantiated FBs, so that variable sized arrays can be declared in FBs too.
|
changeset |
files
|
2015-01-11 |
mjsousa |
Let get_datatype_info_c handle variable sized arrays, even if constant folding is not yet done.
|
changeset |
files
|
2015-01-08 |
mjsousa |
Correctly analyse external<->global var compatibility when using variable sized arrays (TODO: does not yet work for FBs!)
|
changeset |
files
|
2014-12-30 |
mjsousa |
Add comment about bug that needs to be fixed later on.
|
changeset |
files
|
2014-12-30 |
mjsousa |
Break constant_folding_c in two classes: constant_folding_c and constant_propagation_c
|
changeset |
files
|
2014-12-30 |
mjsousa |
Add check whether the same constant var_external variable is initialised with two (or more) different constant values.
|
changeset |
files
|
2014-12-30 |
mjsousa |
Change algorithm for propagating VAR_GLOBAL constant values to corresponding VAR_EXTERNAL.
|
changeset |
files
|
2014-12-28 |
mjsousa |
Disable constant propagation again (still not working correctly)
|
changeset |
files
|
2014-12-28 |
mjsousa |
Make support for use of variables in array size declarations a command line option (off by default)
|
changeset |
files
|
2014-12-28 |
mjsousa |
Add debug_c::print(const_value_c) for printing of const values.
|
changeset |
files
|
2014-12-28 |
mjsousa |
Add is_undefined() method to const_value_c
|
changeset |
files
|
2014-12-28 |
mjsousa |
Make error message more informative.
|
changeset |
files
|
2014-12-27 |
mjsousa |
Add comments.
|
changeset |
files
|
2014-12-26 |
mjsousa |
Add checks for use of non constant value in subranges, and lower_limit > upper_limit.
|
changeset |
files
|
2014-12-26 |
mjsousa |
Fix previous commit (symtable operator[] must return a reference to the stored value!)
|
changeset |
files
|
2014-12-26 |
mjsousa |
Do constant propagation of configuration/resource variables, taking into account scope of variables.
|
changeset |
files
|
2014-12-26 |
mjsousa |
Change dsymbtable_c -> use design pattern used by C++ standard library (STL)
|
changeset |
files
|
2014-12-26 |
mjsousa |
Change symbtable_c -> use design pattern used by C++ standard library (STL)
|
changeset |
files
|
2014-12-26 |
mjsousa |
Remove debugging code left in by mistake.
|
changeset |
files
|
2014-12-26 |
mjsousa |
Do constant propagation inside Configurations and Resources (required for support of extension: array [1..max] OF int); (Resources is still buggy)
|
changeset |
files
|
2014-12-25 |
mjsousa |
Do constant folding of default initial values of datatypes.
|
changeset |
files
|
2014-12-24 |
mjsousa |
Do constant propagation to symbolic_variables, and correctly handle constant folding and propagation of variable declarations.
|
changeset |
files
|
2014-12-17 |
mjsousa |
When generating C code, use the const_value of a symbolic_variable when it is used in a subrange.
|
changeset |
files
|
2014-12-17 |
mjsousa |
Small code re-organization of how const values are stored in symbol_c (can now be accessed through member functions, instead of macros)
|
changeset |
files
|
2014-12-14 |
mjsousa |
Fix bugs introduced in previous commit (once again do constant folding of all literals in type declarations)
|
changeset |
files
|
2014-12-14 |
mjsousa |
Do constant folding of variable's initial value (allows correct C code generation with variables in the subrange of an array declaration: ARRAY [1..max] of INT).
|
changeset |
files
|
2014-12-10 |
mjsousa |
Delete un-used declaration.
|
changeset |
files
|
2014-12-10 |
mjsousa |
merge
|
changeset |
files
|
2014-11-22 |
mjsousa |
Allow variables to be used when declaring the dimension of an array.
|
changeset |
files
|
2014-12-06 |
mjsousa |
Fix C code generation when forward references (-p command line option) is on.
|
changeset |
files
|
2014-12-06 |
mjsousa |
Add a new pou_typename_c object to the AST to store references to previously declared Functions, FB, and Programs.
|
changeset |
files
|
2014-11-30 |
mjsousa |
Delete unused file.
|
changeset |
files
|
2014-11-30 |
mjsousa |
Make use of pre-parser a command line option.
|
changeset |
files
|
2014-11-30 |
mjsousa |
Fix AST generated by parsing with preparsing switched OFF (typo in array datatypes, and fix parsing of POUs).
|
changeset |
files
|
2014-11-29 |
mjsousa |
Fix AST generated by parsing with preparsing switched on, and allow parsing to work with preparsing off.
|
changeset |
files
|
2014-11-29 |
mjsousa |
Fix bug introduced when adding support for relaxed datatype model: change derived_datatype_identifier_c to identifier_c when used as an identifier
|
changeset |
files
|
2014-11-29 |
mjsousa |
Add a pre-parsing phase to stage1_2 (allows source code that references POUs and datatypes before they are declared)
|
changeset |
files
|
2014-11-29 |
mjsousa |
Comment out unused and buggy code.
|
changeset |
files
|
2014-11-27 |
mjsousa |
Update the comments in source code.
|
changeset |
files
|
2014-11-26 |
mjsousa |
Fix bug introduced when adding support for relaxed datatype model. Code cleanup.
|
changeset |
files
|
2014-11-23 |
mjsousa |
Fix main state machine in flex (states were being pushed without being poped from the stack)
|
changeset |
files
|
2014-11-16 |
mjsousa |
merge
|
changeset |
files
|
2014-11-16 |
mjsousa |
Make the relaxed datatype model a runtime option (off by default)
|
changeset |
files
|
2014-11-16 |
mjsousa |
Add support for relaxed datatype model for array datatypes.
|
changeset |
files
|
2014-11-09 |
mjsousa |
fix bug introduced a few commits ago: do not print the first char ('%') of a direct_variable_c (e.g. skip % in %IW4.2)
|
changeset |
files
|
2014-10-25 |
mjsousa |
fix code generation when dereferencing pointers (ref_to) to arrays (ref_to_array^[5])
|
changeset |
files
|
2014-10-25 |
mjsousa |
Fix bug: set the scope annotation in deref_operators used inside structs
|
changeset |
files
|
2014-10-25 |
mjsousa |
Editing of error message to make it more clear.
|
changeset |
files
|
2014-10-25 |
mjsousa |
Filling of symbol->scope annotation moved from narrow to fill_candidate_datatypes_c (became possible because narrowing of struct, array and symbolic variables is now done directly in fill_candidate_datatypes_c)
|
changeset |
files
|
2014-10-25 |
mjsousa |
fill_candidate_datatypes_c now uses search_varinstance_decl_c instead of search_varfb_instance_type_c (moving towards deprecation of search_varfb_instance_type_c)
|
changeset |
files
|
2014-10-19 |
mjsousa |
Do the full fill_candidate/narrow_datatype algorithm for all fields of a structured variable in the fill_candidate_datatypes_c
|
changeset |
files
|
2014-10-19 |
mjsousa |
Fix bug with multple dereferencing (bool_var := bool_ptr_ptr^^;)
|
changeset |
files
|
2014-10-19 |
mjsousa |
Fix bug: Add support for de-referencing pointers to struct (struct_ptr^.elem1) when used inside FB.
|
changeset |
files
|
2014-09-28 |
mjsousa |
Fix bug: add support for dereferencing of REF_TO to REF_TO xxx (e.g.: bool_var := ref_to_ref_to_bool^^;)
|
changeset |
files
|
2014-09-28 |
mjsousa |
Turn support of derefencing operator '^' an option (default is not supported).
|
changeset |
files
|
2014-09-28 |
mjsousa |
Add support for de-referencing of REF_TO datatypes (Note: dereferencing of arrays and structs not yet supported!)
|
changeset |
files
|
2014-09-27 |
mjsousa |
Add support for REF_TO inside arrays and structs (a non-standard feature!)
|
changeset |
files
|
2014-08-11 |
mjsousa |
Code cleanup: with the introduction of anotation_map[], generate_c_vardecl_c can now derive directly from generate_c_base_c
|
changeset |
files
|
2014-08-11 |
mjsousa |
Fix typos in comments
|
changeset |
files
|
2014-08-11 |
mjsousa |
Add comments, and make get_datatype_id_str_c equivalent to get_datatype_id_c
|
changeset |
files
|
2014-08-11 |
mjsousa |
Fix calling of functions whose parameters are of an implicitly declared datatype (currently only makes sense for REF_TO datatypes, but may make sense to other datatypes too if the datatype model is changed in the future).
|
changeset |
files
|
2014-08-10 |
mjsousa |
fix indentations.
|
changeset |
files
|
2014-08-10 |
mjsousa |
in lvalue, add check for REF() fucntion invocation, and the NULL literal
|
changeset |
files
|
2014-08-09 |
mjsousa |
Initialise REF_TO variables to NULL.
|
changeset |
files
|
2014-08-09 |
mjsousa |
Make support for REF_TO ANY a command line option.
|
changeset |
files
|
2014-08-09 |
mjsousa |
Add support for non standard REF_TO ANY (equivalent to void *)
|
changeset |
files
|
2014-08-08 |
mjsousa |
Update some comments. (No changes to code)
|
changeset |
files
|
2014-08-08 |
mjsousa |
Introduce absyntax class for keyword ANY, and use REF_TO(ANY) as datatype of NULL literal.
|
changeset |
files
|
2014-08-06 |
mjsousa |
Fix bug (introduced a few commits ago) when generating SFC actions that are mapped onto variables --> Make generate_sfcdecl_c stateless (i.e. does not depend on order by which it is called).
|
changeset |
files
|
2014-07-31 |
mjsousa |
Add support for the 'NULL' keyword, defined in version 3 of IEC 61131-3.
|
changeset |
files
|
2014-07-29 |
mjsousa |
for option '-Op' (generate <pouname>.h/c): add '#include <pouname>.h' to the .c file, and '#ifdef <pouname>_H' to the .h file
|
changeset |
files
|
2014-07-25 |
mjsousa |
Ass include of iec_std_lib.h in POUS.h file.
|
changeset |
files
|
2014-07-21 |
mjsousa |
Add support for implicitly declared REF_TO datatypes.
|
changeset |
files
|
2014-07-20 |
mjsousa |
With -Op option --> Place implicitly defined datatypes in the .h file corresponding to the POU where they are used.
|
changeset |
files
|
2014-07-20 |
mjsousa |
Add name of POU as prefix to names of implicitly defined datatypes
|
changeset |
files
|
2014-07-20 |
mjsousa |
Implicitly defined array datatypes use new naming method (greatly simplifies stage 4 code).
|
changeset |
files
|
2014-07-20 |
mjsousa |
array_specification_c may be used as a datatype! Add it to spec_init_separator_c
|
changeset |
files
|
2014-07-13 |
mjsousa |
Change REF() operator to return the correct REF_TO datatype datatype.
|
changeset |
files
|
2014-07-13 |
mjsousa |
Narrow array subscripts correctly, even in the presence of other datatype errors (so we do not generate error messages for array subscripts that do not contain errors).
|
changeset |
files
|
2014-07-13 |
mjsousa |
Add support for REF_TO derived datatypes (along with datatype verification)
|
changeset |
files
|
2014-07-06 |
mjsousa |
Add option to place each POU in a distinct .c and .h file pair.
|
changeset |
files
|
2014-07-06 |
mjsousa |
code re-organisation. Preparing for the changes to come in the next commit (one C file for each POU)
|
changeset |
files
|
2014-07-06 |
mjsousa |
Remove un-used parameter from class constructor.
|
changeset |
files
|
2014-07-06 |
mjsousa |
Move standard FBs to a pre-converted C file, insted of converting them every time along with the IEC source.
|
changeset |
files
|
2014-07-06 |
mjsousa |
Move library files compiled to C to their own subdiectory.
|
changeset |
files
|
2014-07-06 |
mjsousa |
Fix stupid mistake in previous commit (use 'long double' instead of 'ld' in istandard library macro)
|
changeset |
files
|
2014-07-05 |
mjsousa |
merge
|
changeset |
files
|
2014-07-05 |
mjsousa |
Update build/compile instructions to reflect the fact that autoconf needs to be executed.
|
changeset |
files
|
2014-07-05 |
mjsousa |
Fix time conversion function in std library, and change into macro (so it may be used in variable initialisations)
|
changeset |
files
|
2014-06-01 |
mjsousa |
Add support for the stepname.T syntax.
|
changeset |
files
|
2014-06-01 |
mjsousa |
Change the name of the variable with the step state to stepname.X (in the generated VARIABLES.csv file)
|
changeset |
files
|
2014-05-31 |
mjsousa |
Add support for Stepname.X syntax.
|
changeset |
files
|
2014-05-31 |
mjsousa |
Remove dead code previously left in by mistake.
|
changeset |
files
|
2014-05-29 |
mjsousa |
Add error message for invalid datatype of transition condition. Generalize datatype narrowing algorithm for transition conditions.
|
changeset |
files
|
2014-05-28 |
Edouard Tisserant |
merge
|
changeset |
files
|
2014-05-28 |
Edouard Tisserant |
closed temporary fix branch
|
changeset |
files
|
2014-05-20 |
mjsousa |
Check VAR_EXTERN variables declared in FBs instantiated in a Program (and recursively too - FBs in FBs).
|
changeset |
files
|
2014-05-20 |
mjsousa |
Fix typo in as yet dormant code (related to REF_TO keyword, that is not yet active)
|
changeset |
files
|
2014-05-08 |
mjsousa |
Fix compilation error on platforms where real64_t is mapped onto 'long double'
|
changeset |
files
|
2014-04-08 |
mjsousa |
Correctly handle structured variables that include FB and external FBs (example: FB1.FB2.extFB3.FB4.extFB5.extFB6.structvar.field1 := 42;) (this commit fixes only ST code. TODO: IL and SFC)
|
changeset |
files
|
2014-04-04 |
mjsousa |
Remove call to type_is_complex() in ST code generation.
|
changeset |
files
|
2014-03-31 |
mjsousa |
A little code cleanup (reduce number of possible variable generation states)
|
changeset |
files
|
2014-03-30 |
mjsousa |
Finish: Change order of SET_xxx() macros. (this will allow me to simplify the print_setter() methods later on)
|
changeset |
files
|
2014-03-29 |
mjsousa |
Change order of SET_xxx() macros. (this will allow me to simplify the print_setter() methods later on)
|
changeset |
files
|
2014-03-27 |
Edouard Tisserant |
More static declarations in POUS.c in order to avoid conflicting symbol definitions with new POUS.c inclusion scheme
|
changeset |
files
|
2014-03-26 |
Edouard Tisserant |
Fix multiple resources support, POUS.c now only contain static definitions. POUS.c is included in configuration C code as well as in resources to allow GLOBAL FBs to be declared in configurations
|
changeset |
files
|
2014-03-20 |
Edouard Tisserant |
Disable stage4 options with on windows since getsuboptr isn't supported in mingw
|
changeset |
files
|
2014-03-20 |
Edouard Tisserant |
merge
|
changeset |
files
|
2014-03-19 |
mjsousa |
Track of line number correctly when input file has code with very long lines.
|
changeset |
files
|
2014-03-19 |
mjsousa |
Fix memory leak in lexical parser.
|
changeset |
files
|
2014-03-16 |
mjsousa |
Make generation of #line directives optional.
|
changeset |
files
|
2014-03-16 |
mjsousa |
Insert #line directives in generated C code.
|
changeset |
files
|
2014-03-15 |
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
|
2014-03-15 |
mjsousa |
Update files to be ignored by mercurial: ignore files generated by autoconf, directory test/, and *.orig
|
changeset |
files
|
2014-03-02 |
mjsousa |
Fix bug: do not print IL 'label' when generating inline functions (JMPxx label was generating erroneous C code)
|
changeset |
files
|
2014-03-02 |
mjsousa |
Add limited support for the REF() operator (defined in v3 of IEC 61131-3)
|
changeset |
files
|
2014-02-24 |
mjsousa |
Remove assertion being failed by IL labels (IL labels do not yet have specific datatypes).
|
changeset |
files
|
2014-02-28 |
Edouard Tisserant |
Added stage1_2/Makefile.am weird rule to keep compatible with previous version of automake
|
changeset |
files
|
2014-02-19 |
Edouard Tisserant |
Merge
|
changeset |
files
|
2014-02-16 |
mjsousa |
fix definition of pragma.
|
changeset |
files
|
2014-02-16 |
mjsousa |
Fix the state machine that became broken 2 commits ago (when adding support for nested comments)
|
changeset |
files
|
2014-02-16 |
mjsousa |
Add option to control support for nested comments (default is off, as defined in IEC 61131-3 v2)
|
changeset |
files
|
2014-02-15 |
mjsousa |
Add support for nested comments
|
changeset |
files
|
2014-02-12 |
mjsousa |
Fix bug: when checking compatibility between GLOBAL and EXTERNAL variables, must only enforce GLOBAL CONSTANT => EXTERNAL CONSTANT.
|
changeset |
files
|
2014-02-11 |
mjsousa |
merge
|
changeset |
files
|
2014-01-06 |
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
|
2014-02-09 |
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
|
2014-02-09 |
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
|
2014-02-08 |
mjsousa |
Code cleanup (part 2): generate_typedecl_c now only prints to POUS.h !
|
changeset |
files
|
2014-02-08 |
mjsousa |
Code cleanup (part 1): subrange check functions are now declared in POUS.h (as static inline functions or #define)
|
changeset |
files
|
2014-02-08 |
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
|
2014-02-08 |
mjsousa |
fix a couple of typos.
|
changeset |
files
|
2014-02-08 |
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
|
2014-02-05 |
mjsousa |
Start using the called_fb_declaration annotation when generating C code from FB calls in ST.
|
changeset |
files
|
2013-12-22 |
Mario de Sousa |
Code cleanup: move datatype analysis to get_datatype_info_c
|
changeset |
files
|
2013-12-20 |
Mario de Sousa |
Fix bug-fix of previous commit.
|
changeset |
files
|
2013-12-19 |
Mario de Sousa |
Fix bug: allow use, as lvalues, structures/arrays inside FBs (e.g. fb1.struct1.r := 33.3).
|
changeset |
files
|
2013-12-18 |
Mario de Sousa |
Fix bug/issue #33 (correctly access struct/array variables declared inside a FB -> r:=FB1.FB2.struct1.array1[3] )
|
changeset |
files
|
2013-09-07 |
Mario de Sousa |
Add assertion suggested by Manuele.
|
changeset |
files
|
2013-08-23 |
mjsousa |
merge
|
changeset |
files
|
2013-08-23 |
mjsousa |
Use get_datatype_info_c::is_type_valid() to determine datatype validity
|
changeset |
files
|
2013-08-23 |
mjsousa |
Recursively check the datatype compatibility of values/expressions passed in function/FB invocations.
|
changeset |
files
|
2013-08-23 |
mjs |
Change error message text so as to become more suitable to where they might occur in the source code.
|
changeset |
files
|
2013-08-22 |
mjsousa |
Add code to check if an IN_OUT variable is being passed an IL list in formal IL FB/function invocations.
|
changeset |
files
|
2013-08-22 |
mjsousa |
Generate correct error message when encountering IL lists embedded in IL formal invocations.
|
changeset |
files
|
2013-08-22 |
mjsousa |
Fill in the 'datatype' anotation in the identifiers of symbolic variables.
|
changeset |
files
|
2013-08-22 |
mjsousa |
Fix C code generation of FB invocation in IL.
|
changeset |
files
|
2013-08-22 |
mjsousa |
Fix detection of datatype errors on IL conditional flow control operators (JMPC, RETC, ...)
|
changeset |
files
|
2013-08-21 |
mjsousa |
Allow array_dimension_iterator to accept an array_spec_init_c.
|
changeset |
files
|
2013-08-21 |
mjsousa |
Small code cleanup (move common code to a function)
|
changeset |
files
|
2013-08-21 |
mjsousa |
Fix datatype analysis of conditional IL operators (CALC, CALCN, RETC, RETCN, JMPC, JMPCN, S and R)
|
changeset |
files
|
2013-08-21 |
mjsousa |
Fix datatype analyses of S and R IL operators.
|
changeset |
files
|
2013-08-21 |
mjsousa |
make sure all IL operands are narrowed (datatype checking algorithm)
|
changeset |
files
|
2013-08-21 |
mjsousa |
cosmetic change only - fix code alignment.
|
changeset |
files
|
2013-08-20 |
mjsousa |
Add support for FB call semantics of 'S' and 'R' IL operators!
|
changeset |
files
|
2013-08-20 |
mjsousa |
Stop lvalue check from segfaulting when coming across buggy IL code (IL operator with no operand!)
|
changeset |
files
|
2013-08-20 |
mjsousa |
Allow get_datatype_info_c to be called with NULL parameters.
|
changeset |
files
|
2013-08-15 |
mjsousa |
Do lvalue check of function output parameters (since they may contain expressions inside array subscripts!)
|
changeset |
files
|
2013-08-10 |
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
|
2013-08-07 |
mjsousa |
Delete debugging messages left in by mistake.
|
changeset |
files
|
2013-08-07 |
mjsousa |
Fix segfault when doing lvalue check of buggy IEC 61131-3 source code
|
changeset |
files
|
2013-08-07 |
mjsousa |
Fix datatype analysis of structured variables that contain arrays in their fields (e.g. var.x1[var2 + 42].y1).
|
changeset |
files
|
2013-08-05 |
mjsousa |
Add capability of returning array subscript list while decomposing a struct/array variable.
|
changeset |
files
|
2013-08-05 |
mjsousa |
Code cleanup: Remove unused option = Delete dead code.
|
changeset |
files
|
2013-08-20 |
mjsousa |
merge
|
changeset |
files
|
2013-07-19 |
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
|
2014-02-19 |
Edouard Tisserant |
Fix build on Ubuntu 13.10
|
changeset |
files
|
2013-10-11 |
Laurent Bessard |
Fixed warning when compiling generated program containing external variable assignments
|
changeset |
files
|
2013-06-07 |
Edouard Tisserant |
Enlarged flex buffer size in order to accept larger C pragmas
|
changeset |
files
|
2013-05-18 |
edouard |
Missing braces arround extern declarartions in __SET_EXTERNAL define was making problem with GCC in switch case statements
|
changeset |
files
|
2013-05-16 |
Edouard Tisserant |
Moved __INIT_* defines within type definition headers files
|
changeset |
files
|
2013-05-02 |
Laurent Bessard |
Fixed warning in accessor __SET_EXTERNAL
|
changeset |
files
|
2013-04-18 |
Laurent Bessard |
Fixed bug when defining task with single_data_source instead of interval_data_source
|
changeset |
files
|
2013-04-05 |
Edouard Tisserant |
Merged Mario's changes
|
changeset |
files
|
2013-04-04 |
Mario de Sousa |
Fix bug related to FB invocation of FB instances declared as VAR_EXTERN.
|
changeset |
files
|
2013-04-04 |
Edouard Tisserant |
Merged Mario's changes
|
changeset |
files
|
2013-04-03 |
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
|
2013-02-22 |
Mario de Sousa |
Allow variables declared inside resources to be referenced by res_name.var_name
|
changeset |
files
|
2013-02-13 |
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
|
2013-02-05 |
Mario de Sousa |
Print filename when debugging abstract symbol table.
|
changeset |
files
|
2013-01-23 |
Mario de Sousa |
Consider fb_name_decl_c a non base data type class!
|
changeset |
files
|
2013-01-23 |
Mario de Sousa |
Fill symbol->datatype anotation for FB declarations.
|
changeset |
files
|
2013-01-23 |
Mario de Sousa |
Fill in the symbol.datatype annotation in symbol classes used in derived data type declarations.
|
changeset |
files
|
2013-01-22 |
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
|
2013-03-11 |
Laurent Bessard |
Merged
|
changeset |
files
|
2013-03-11 |
Laurent Bessard |
Fixed bug in string format when translating TIME and DATETIME to STRING
|
changeset |
files
|
2013-03-11 |
Laurent Bessard |
Fixed bug with SFC transition datatype checking
|
changeset |
files
|
2013-03-08 |
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
|
2013-03-08 |
Laurent Bessard |
Fixed bug in case statement with enumerated type variable as case expression
|
changeset |
files
|
2013-03-08 |
Laurent Bessard |
Merged
|
changeset |
files
|
2013-01-13 |
Mario de Sousa |
Set the symbol->datatpe of function_declaration_c
|
changeset |
files
|
2013-01-13 |
Mario de Sousa |
Fill in the symbol->datatype of elementary datatypes.
|
changeset |
files
|
2013-01-10 |
Mario de Sousa |
merge
|
changeset |
files
|
2013-01-03 |
Mario de Sousa |
merge
|
changeset |
files
|
2013-01-03 |
Mario de Sousa |
Fix divide by 0 bug.
|
changeset |
files
|
2013-01-03 |
Mario de Sousa |
grand merge
|
changeset |
files
|
2013-01-10 |
Mario de Sousa |
disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),
|
changeset |
files
|
2013-01-10 |
Mario de Sousa |
merge
|
changeset |
files
|
2013-01-03 |
Manuele Conti |
Fix constant propagation for repeat_statement_c class.
|
changeset |
files
|
2013-01-03 |
Manuele Conti |
Remove unused variable.
|
changeset |
files
|
2013-01-03 |
Manuele Conti |
Implement Mario's suggestions:
|
changeset |
files
|
2013-01-03 |
Manuele Conti |
Fix constant_folding missing call. [Bug found by Mario.]
|
changeset |
files
|
2013-01-03 |
Mario de Sousa |
Fix divide by 0 bug.
|
changeset |
files
|
2013-01-03 |
Mario de Sousa |
merge
|
changeset |
files
|
2013-01-03 |
Manuele Conti |
Fix CPPFLAGS Makefile.am for all stage4.
|
changeset |
files
|
2012-12-31 |
Manuele Conti |
Remove redundant class for get variable name.
|
changeset |
files
|
2012-12-28 |
Manuele Conti |
Fix constant propagation alg. in for statement like Mario suggestion.
|
changeset |
files
|
2012-12-28 |
Manuele Conti |
Add note about How Constant Folding class is extended with a implementation constant propagation algorithm
|
changeset |
files
|
2012-12-26 |
Manuele Conti |
Add constant propagation algorithm for loop cycles.
|
changeset |
files
|
2012-12-28 |
Mario de Sousa |
Update symbol_c::first_file/last_file entries in list_c::add_element()
|
changeset |
files
|
2012-12-27 |
Mario de Sousa |
moved class to obtain datatype name (in char *) to get_datatype_info_c
|
changeset |
files
|
2012-12-27 |
Mario de Sousa |
merge
|
changeset |
files
|
2012-12-24 |
Manuele Conti |
Fix comment about meet semilattice rules.
|
changeset |
files
|
2012-12-22 |
Manuele Conti |
Complete fix initialize const_value.
|
changeset |
files
|
2012-12-22 |
Manuele Conti |
Start to implement constant propagation algorithm.
|
changeset |
files
|
2012-12-22 |
Manuele Conti |
Fix const_value field initialized.
|
changeset |
files
|
2012-12-02 |
Manuele Conti |
Remove Ambiguous enumerate value in enum conversion functions.
|
changeset |
files
|
2012-12-02 |
Manuele Conti |
Fix enum conversion function to string.
|
changeset |
files
|
2012-11-28 |
Manuele Conti |
Fix struct generic_function_call_t initialize style.
|
changeset |
files
|
2012-11-27 |
Manuele Conti |
Merge with Mario's changes.
|
changeset |
files
|
2012-12-20 |
Manuele Conti |
Merge with Mario's repository.
|
changeset |
files
|
2012-12-20 |
Manuele Conti |
Fix warning about call fprintf without format string.
|
changeset |
files
|
2012-12-03 |
Mario de Sousa |
merge
|
changeset |
files
|
2012-12-02 |
Manuele Conti |
Remove Ambiguous enumerate value in enum conversion functions.
|
changeset |
files
|
2012-12-02 |
Manuele Conti |
Fix enum conversion function to string.
|
changeset |
files
|
2012-11-28 |
Manuele Conti |
Fix struct generic_function_call_t initialize style.
|
changeset |
files
|
2012-12-03 |
Mario de Sousa |
Small code cleanup.
|
changeset |
files
|
2012-12-01 |
mjsousa |
Allow bison to ask for an END_OF_INPUT token multiple times!
|
changeset |
files
|
2012-12-01 |
mjsousa |
Protect against redefining macros
|
changeset |
files
|
2012-11-27 |
Mario de Sousa |
merge
|
changeset |
files
|
2012-11-27 |
Manuele Conti |
Fix flag to enable conversion functions.
|
changeset |
files
|
2012-11-27 |
Mario de Sousa |
Code cleanup: move tracking functions to flex.
|
changeset |
files
|
2012-11-27 |
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
|
2012-11-26 |
Mario de Sousa |
merge
|
changeset |
files
|
2012-11-23 |
Manuele Conti |
Set ENO to false when conversion function fails.
|
changeset |
files
|
2012-11-23 |
Manuele Conti |
Fix typo in functionDataType array.
|
changeset |
files
|
2012-11-23 |
Mario de Sousa |
Add files missing from a few commits ago...
|
changeset |
files
|
2012-11-22 |
Mario de Sousa |
merge
|
changeset |
files
|
2012-11-20 |
Manuele Conti |
Refix automake files.
|
changeset |
files
|
2012-11-20 |
Manuele Conti |
Add some comments to argument new code.
|
changeset |
files
|
2012-11-19 |
Manuele Conti |
Start to change code like Mario suggestions.
|
changeset |
files
|
2012-11-19 |
Manuele Conti |
Create functionDataType array in derived_conversion_functions_c.
|
changeset |
files
|
2012-11-16 |
Manuele Conti |
Add conversion functions option.
|
changeset |
files
|
2012-11-15 |
Manuele Conti |
Start enumerate conversion functions.
|
changeset |
files
|
2012-11-22 |
Mario de Sousa |
merge
|
changeset |
files
|
2012-11-12 |
Manuele Conti |
Be sure to not redefine TRUE and FALSE macros.
|
changeset |
files
|
2012-11-22 |
Mario de Sousa |
merge
|
changeset |
files
|
2012-11-12 |
Manuele Conti |
Removed unused __attribute__((__packed__)) only gcc compatible.
|
changeset |
files
|
2012-11-12 |
Manuele Conti |
Protect IEC_STD_LIB.H header agaist multi-include problems.
|
changeset |
files
|
2012-11-22 |
Mario de Sousa |
merge
|
changeset |
files
|
2012-11-22 |
Mario de Sousa |
Start to move enumeration declaration checking to its own class.
|
changeset |
files
|
2012-11-22 |
Mario de Sousa |
Fix comments and code alignment
|
changeset |
files
|
2012-11-19 |
Mario de Sousa |
Fix warnings previous change introduced when compiling with gcc.
|
changeset |
files
|
2012-11-18 |
Manuele Conti |
Fix some important clang++ warnings.
|
changeset |
files
|
2012-11-15 |
Mario de Sousa |
Allow use of type#value syntax when defining default initial value inside a TYPE..END_TYPE declaration.
|
changeset |
files
|
2012-11-15 |
Mario de Sousa |
Do datatype verification of fully qualified enumerated values (e.g. ENUMTYPE#enumconst)
|
changeset |
files
|
2012-11-14 |
Mario de Sousa |
Add datatype checking of enumeration data type declarations.
|
changeset |
files
|
2012-11-14 |
Mario de Sousa |
Print const values of symbol.
|
changeset |
files
|
2012-11-14 |
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
|
2012-11-14 |
Mario de Sousa |
Fix bug in datatype checking of enumerated datatypes delcarations.
|
changeset |
files
|
2012-11-14 |
Mario de Sousa |
Fix datatype checking of enumerated datatype declarations. We now follow the fill->narrow algorithm correctly.
|
changeset |
files
|
2012-11-14 |
Mario de Sousa |
Add method to determine the id (name) of a datatype.
|
changeset |
files
|
2012-11-13 |
Mario de Sousa |
Change the base datatype of enumerations to an enumerated_type_declaration_c (for named types!)
|
changeset |
files
|
2012-11-13 |
Mario de Sousa |
Change the public interface to debug functions.
|
changeset |
files
|
2012-11-09 |
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
|
2012-11-09 |
Mario de Sousa |
Fix one more bug - upper_bound() works a little differently to what we want!
|
changeset |
files
|
2012-11-08 |
Mario de Sousa |
Fix more bugs in dsymtable_c (real semantics of std::multimap::lower_bound is not what was assumed!)
|
changeset |
files
|
2012-11-08 |
Mario de Sousa |
Fix counting bug in dsymbtable_c
|
changeset |
files
|
2012-11-08 |
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
|
2012-11-08 |
Mario de Sousa |
Move the enumerated_value_symtable to fill_candidate_datatypes_c, since it is only used there!
|
changeset |
files
|
2012-11-07 |
Mario de Sousa |
Make search_base_type_c a singleton!
|
changeset |
files
|
2012-11-07 |
Mario de Sousa |
Start datatype checking of variable declarations (for now, only seting symbol.datatype of enumerations)
|
changeset |
files
|
2012-11-07 |
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
|
2013-02-23 |
Laurent Bessard |
Added support for testing BCD value validity in BCD_TO_UINT function
|
changeset |
files
|
2013-02-23 |
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
|
2012-12-19 |
Laurent Bessard |
Fix warning message when declaring global variables in configuration
|
changeset |
files
|
2012-12-03 |
Laurent Bessard |
Removed unused variable
|
changeset |
files
|
2012-12-03 |
Laurent Bessard |
Replacing libc time functions for date <-> timespec translation by platform and localtime independant implementation
|
changeset |
files
|
2012-11-28 |
Edouard Tisserant |
Removed files generedted by autoconf, should not be in repo
|
changeset |
files
|
2012-11-28 |
Edouard Tisserant |
Fixed timegm usage incompatible with mingw, reverted to mktime in case mingw is detected
|
changeset |
files
|
2012-11-16 |
Laurent Bessard |
Fix in accessor undefined init methods for function block global instances
|
changeset |
files
|
2012-11-15 |
Laurent Bessard |
Fix undefined function toupper in iec_std_lib
|
changeset |
files
|
2012-11-15 |
Laurent Bessard |
Adding support for declaring function block instances as global and external variables
|
changeset |
files
|
2012-11-08 |
Laurent Bessard |
Fix DATE conversions standard functions
|
changeset |
files
|
2012-11-08 |
Laurent Bessard |
Fix definition of BCD to ANY_UINT and ANY_UINT to BCD conversion standard functions
|
changeset |
files
|
2012-11-06 |
Laurent Bessard |
Fix indentation in SFC SL qualifier code generated
|
changeset |
files
|
2012-11-06 |
Laurent Bessard |
Fix indentation and unused variable warning in SFC generated code
|
changeset |
files
|
2012-10-31 |
Laurent Bessard |
Fix pragma with double bracket token stripping
|
changeset |
files
|
2012-10-23 |
Manuele Conti |
Fix some warning about loss of precision data in iec_std_lib.h file.
|
changeset |
files
|
2012-10-26 |
Mario de Sousa |
Fix typo.
|
changeset |
files
|
2012-10-26 |
Mario de Sousa |
Remove deprecated class search_constant_type_c
|
changeset |
files
|
2012-10-26 |
Mario de Sousa |
replace call to search_constant_type_c with symbol.datatype
|
changeset |
files
|
2012-10-09 |
Manuele Conti |
Removing several warning in iec_std_lib.h
|
changeset |
files
|
2012-10-26 |
Mario de Sousa |
Code formating only.
|
changeset |
files
|
2012-10-06 |
Manuele Conti |
Fix stage4 for compare expressions.
|
changeset |
files
|
2012-10-26 |
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
|
2012-10-25 |
Mario de Sousa |
Remove no longer needed search_il_operand_type_c
|
changeset |
files
|
2012-10-25 |
Mario de Sousa |
Also force_narrow IL instructions inside IL expressions, i.e. inside parenthesis.
|
changeset |
files
|
2012-10-25 |
Mario de Sousa |
Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis.
|
changeset |
files
|
2012-10-25 |
Mario de Sousa |
Fix bug when handling IL expressions (i.e. IL instructions inside parenthesis).
|
changeset |
files
|
2012-10-25 |
Mario de Sousa |
Delete debugging code, introduced by mistake in previous commit.
|
changeset |
files
|
2012-10-25 |
Mario de Sousa |
Fix handling of IL parenthesized expressions in generate_c_il_c
|
changeset |
files
|
2012-10-25 |
Mario de Sousa |
Fix processing of TIME literals (submited by Andreas)
|
changeset |
files
|
2012-10-25 |
Mario de Sousa |
Fix flow control analysis of IL simple instructions (i.e. IL instructions inside parenthises!)
|
changeset |
files
|
2012-10-25 |
Mario de Sousa |
Comment out invalid assertion.
|
changeset |
files
|
2012-10-25 |
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
|
2012-10-24 |
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
|
2012-10-18 |
Mario de Sousa |
Do not repeat narrow algorithm for ST code, and better comments.
|
changeset |
files
|
2012-10-16 |
Mario de Sousa |
New visitor classes missing from previous commit.
|
changeset |
files
|
2012-10-16 |
Mario de Sousa |
Remove line printing debug info.
|
changeset |
files
|
2012-10-16 |
Mario de Sousa |
Add classes to print status of AST (use only for debugging!)
|
changeset |
files
|
2012-10-16 |
Mario de Sousa |
Remove all remaining NULL (undefined) datatypes from IL code.
|
changeset |
files
|
2012-10-13 |
Mario de Sousa |
Move is_datatype_valid/equal() to get_datatype_info_c
|
changeset |
files
|
2012-10-11 |
Mario de Sousa |
Fix bug related to support of SAFE datatypes.
|
changeset |
files
|
2012-10-07 |
Mario de Sousa |
Set datatype of il_intruction_c objects containing an ST operator.
|
changeset |
files
|
2012-10-07 |
Mario de Sousa |
Delete unused variables.
|
changeset |
files
|
2012-10-06 |
Mario de Sousa |
Use doubly linked connections for flow control graph (will be used later).
|
changeset |
files
|
2012-10-04 |
Mario de Sousa |
Remove deprecated search_expression_type_c
|
changeset |
files
|
2012-10-04 |
Mario de Sousa |
Deprecate use of search_expression_type_c (prepare for complete removal!).
|
changeset |
files
|
2012-10-04 |
Mario de Sousa |
Deprecate use of search_expression_type_c (prepare for complete removal!)
|
changeset |
files
|
2012-10-04 |
Mario de Sousa |
Deprecating use of search_expression_type_c, so it may later be deleted!
|
changeset |
files
|
2012-10-04 |
Mario de Sousa |
Merge
|
changeset |
files
|
2012-10-04 |
Mario de Sousa |
Add new get_datatype_info_c (preparing to remove search_expression_type_c)
|
changeset |
files
|
2012-10-04 |
Mario de Sousa |
Delete declaration of unused & undeclared functions.
|
changeset |
files
|
2012-10-03 |
Mario de Sousa |
Delete class elements that are not used (clean up code).
|
changeset |
files
|
2012-09-28 |
Manuele Conti |
Add check whether external var matches to global var.
|
changeset |
files
|
2012-09-27 |
Mario de Sousa |
Also check FB passed as parameters in FB/Function calls (Thanks Andreas!)
|
changeset |
files
|
2012-09-26 |
Manuele Conti |
Minor changes needed to build with pedantic flag.
|
changeset |
files
|
2012-09-21 |
Mario de Sousa |
Also check external/global variable consistency in configurations and FBs.
|
changeset |
files
|
2012-09-21 |
Mario de Sousa |
add method for printing class_name. USE ONLY FOR DEBUGING!
|
changeset |
files
|
2012-09-19 |
Mario de Sousa |
store POU reference to POU declaration instead of global var declarations.
|
changeset |
files
|
2012-09-18 |
Manuele Conti |
Start declaration check class.
|
changeset |
files
|
2012-09-14 |
Manuele Conti |
Start declaration check class.
|
changeset |
files
|
2012-09-13 |
Mario de Sousa |
Adjust coding style.
|
changeset |
files
|
2012-09-08 |
agraeper |
list_c: initial capacity. ERROR_MSG(msg,...) supports optional arguments now.
|
changeset |
files
|
2012-08-31 |
Mario de Sousa |
Deleting datatype checks no longer needed (with a view of making search_expression_type_c redundant).
|
changeset |
files
|
2012-08-31 |
Mario de Sousa |
Start adding support for data type checking of enums.
|
changeset |
files
|
2012-08-31 |
Mario de Sousa |
Remove comment no longer valid since introduction of constant folding.
|
changeset |
files
|
2012-08-30 |
Mario de Sousa |
Add some comments.
|
changeset |
files
|
2012-08-30 |
Manuele Conti |
Update configure script.
|
changeset |
files
|
2012-08-30 |
Mario de Sousa |
More precise handling of const value status.
|
changeset |
files
|
2012-08-30 |
Mario de Sousa |
Fix bug in checking array ranges.
|
changeset |
files
|
2012-08-30 |
Mario de Sousa |
Add more info to error messages.
|
changeset |
files
|
2012-08-30 |
Mario de Sousa |
Allow the use of PRId64, PRIu64 and PRIx64 printf formating macros globally.
|
changeset |
files
|
2012-08-29 |
Mario de Sousa |
Merge.
|
changeset |
files
|
2012-08-29 |
Mario de Sousa |
Fix constant folding: now handles INT_MIN and neg_integer_c correctly.
|
changeset |
files
|
2012-08-28 |
Manuele Conti |
Replace test bison version without bash regular expression.
|
changeset |
files
|
2012-08-16 |
Manuele Conti |
Fix Segmentation Fault FB var declaration in a single list.
|
changeset |
files
|
2012-08-27 |
Mario de Sousa |
Add some comments.
|
changeset |
files
|
2012-10-25 |
Edouard Tisserant |
Fix some warning about loss of precision data in iec_std_lib.h file.
|
changeset |
files
|
2012-10-23 |
Laurent Bessard |
Fix bug with NE function for STRING variables
|
changeset |
files
|
2012-10-22 |
Laurent Bessard |
Fix bug in code for pragma with double brackets
|
changeset |
files
|
2012-10-22 |
Laurent Bessard |
Merged
|
changeset |
files
|
2012-10-21 |
Laurent Bessard |
Adding support for direct array declaration in structure element declaration
|
changeset |
files
|
2012-10-19 |
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
|
2012-09-13 |
Laurent Bessard |
Fix bug with task interval using fixed_point value for duration items
|
changeset |
files
|
2012-09-13 |
Laurent Bessard |
Adding error message when task interval value is not supported
|
changeset |
files
|
2012-09-13 |
Laurent Bessard |
Adding error message when task interval value is not supported
|
changeset |
files
|
2012-09-11 |
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
|
2012-09-11 |
Laurent Bessard |
Fix generated code when using boolean variable as action name in step action association
|
changeset |
files
|
2012-09-10 |
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
|
2012-09-04 |
Laurent Bessard |
Adding support for P0 and P1 qualifiers and fixing code generated for SL qualifier
|
changeset |
files
|
2012-09-01 |
Edouard Tisserant |
Fixed VARIABLES.csv, was broken when using enumrated types
|
changeset |
files
|
2012-08-22 |
Laurent Bessard |
Merge with c2546c6e0cfa5ad55b288895f17f1b9f2a228f3b
|
changeset |
files
|
2012-08-17 |
Mario de Sousa |
Moving function to correct location (formating only).
|
changeset |
files
|
2012-08-04 |
Manuele Conti |
Fix bug in code generation for FB IN_OUT structured parameter.
|
changeset |
files
|
2012-07-30 |
Manuele Conti |
Add check bison version in configure.ac file.
|
changeset |
files
|
2012-08-16 |
Mario de Sousa |
Remove remaining signed/unsigned comparison error messages when compiling.
|
changeset |
files
|
2012-07-20 |
Manuele Conti |
Remove warning about comparisons between int and unsigned int.
|
changeset |
files
|
2012-08-01 |
Mario de Sousa |
Support for data types of STEP.T and STEP.X in SFCs
|
changeset |
files
|
2012-08-01 |
Mario de Sousa |
Remove dead code.
|
changeset |
files
|
2012-08-01 |
Mario de Sousa |
Change code formatting (alignment)
|
changeset |
files
|
2012-07-31 |
Mario de Sousa |
Aloow use of SFC STEPs as variables.
|
changeset |
files
|
2012-07-28 |
Mario de Sousa |
Check lvalues in expressions passed to Function/FB IN parameters.
|
changeset |
files
|
2012-07-20 |
Mario de Sousa |
Fix comment (bug found by Manuele).
|
changeset |
files
|
2012-07-20 |
Mario de Sousa |
Remove warning about redefining "__STDC_LIMIT_MACROS" (bug found by Manuele).
|
changeset |
files
|
2012-07-20 |
Mario de Sousa |
Constant folding for IL.
|
changeset |
files
|
2012-07-19 |
Mario de Sousa |
update comments.
|
changeset |
files
|
2012-07-19 |
Mario de Sousa |
fix bug: remove REAL from candidate datatypes when real constant has overflowed.
|
changeset |
files
|
2012-07-18 |
Mario de Sousa |
signed integer limits do not affect ANY_INT constant values.
|
changeset |
files
|
2012-07-18 |
Mario de Sousa |
comment out un-used code.
|
changeset |
files
|
2012-07-18 |
Mario de Sousa |
cleaning up code. Changing HUGE_VAL to INFINITY.
|
changeset |
files
|
2012-07-18 |
Mario de Sousa |
Cleaning up the code.
|
changeset |
files
|
2012-07-18 |
Mario de Sousa |
Clean up the code a little.
|
changeset |
files
|
2012-07-18 |
Mario de Sousa |
Fixing includes to define INTxx_MAX etc...
|
changeset |
files
|
2012-07-14 |
Manuele Conti |
Add remove_from_candidate_datatype_list method using constant_folding results.
|
changeset |
files
|
2012-06-19 |
Mario de Sousa |
fix typo.
|
changeset |
files
|
2012-06-19 |
Mario de Sousa |
fix parsing of non base 10 constant values.
|
changeset |
files
|
2012-06-18 |
Mario de Sousa |
determine const value of hex, octal and bin literals correctly.
|
changeset |
files
|
2012-06-18 |
Mario de Sousa |
fix array bounds check.
|
changeset |
files
|
2012-06-18 |
Mario de Sousa |
Fix stupid typos (in calculating array dimension)!
|
changeset |
files
|
2012-06-16 |
Mario de Sousa |
Add file missing from previous commit.
|
changeset |
files
|
2012-06-15 |
Mario de Sousa |
Add ERROR_MSG macro && move extract_XXX() functions to constant_folding.cc
|
changeset |
files
|
2012-06-14 |
Mario de Sousa |
Add independent extract_integer() function (preparing to remove extract_XXX() from absyntax_utils.cc)
|
changeset |
files
|
2012-06-14 |
Mario de Sousa |
Clean up code (remove parsing of integers in stage 4).
|
changeset |
files
|
2012-06-13 |
Manuele Conti |
Fix literal MACRO gcc compliant.
|
changeset |
files
|
2012-06-13 |
Mario de Sousa |
Add 'dimension' parameter to subrange_c, fill it correctly, and use it.
|
changeset |
files
|
2012-06-13 |
Mario de Sousa |
extract_int64() must not handle negation operation (was doing it incorrectly for INT64_MIN!)
|
changeset |
files
|
2012-06-13 |
Mario de Sousa |
Add support for -INT64_MIN values in literals.
|
changeset |
files
|
2012-06-13 |
Mario de Sousa |
Make compiler portable (do not assume int64_t is long long int)
|
changeset |
files
|
2012-06-12 |
Manuele Conti |
Add missing set overflow flag.
|
changeset |
files
|
2012-06-12 |
Manuele Conti |
Fix extract_integer_value.
|
changeset |
files
|
2012-06-12 |
Mario de Sousa |
Fix typo (thanks Manuele)
|
changeset |
files
|
2012-06-12 |
Mario de Sousa |
Remove potential access to NULL pointer.
|
changeset |
files
|
2012-06-12 |
Mario de Sousa |
fix error message.
|
changeset |
files
|
2012-06-12 |
Mario de Sousa |
Fix array index bound check to consider uint64 indexes/limits.
|
changeset |
files
|
2012-06-12 |
Manuele conti |
Fix structure initialize.
|
changeset |
files
|
2012-06-11 |
Manuele Conti |
Add check array out of bound.
|
changeset |
files
|
2012-06-11 |
Mario de Sousa |
Code for debugging const_value annotations in abstract syntax tree.
|
changeset |
files
|
2012-06-11 |
Mario de Sousa |
Fix 'overflow' detection for real64.
|
changeset |
files
|
2012-06-10 |
Mario de Sousa |
small bug fix.
|
changeset |
files
|
2012-06-10 |
Manuele Conti |
Fix compare expression in constat folding class.
|
changeset |
files
|
2012-06-10 |
Mario de Sousa |
Fix extract_real (thanks Manuele), and add check for overflow.
|
changeset |
files
|
2012-06-10 |
Mario de Sousa |
cleaning up the code...
|
changeset |
files
|
2012-06-10 |
Mario de Sousa |
Fix remaining overflow checks.
|
changeset |
files
|
2012-06-09 |
Mario de Sousa |
remove incorrect include file.
|
changeset |
files
|
2012-06-09 |
Mario de Sousa |
Correctly implement MOD operation and overflow checks (still missing uint * / MOD).
|
changeset |
files
|
2012-06-09 |
Mario de Sousa |
Re-insert errno=0 before calling strtoXX() (thanks go to Manuele)
|
changeset |
files
|
2012-06-08 |
Mario de Sousa |
cosmetic changes.
|
changeset |
files
|
2012-06-08 |
Mario de Sousa |
Add data structure for storing overflow of constant values.
|
changeset |
files
|
2012-06-06 |
Mario de Sousa |
make the compiler platform independent (i.e. no longer assume sizeof(double)==8).
|
changeset |
files
|
2012-06-06 |
Mario de Sousa |
create extract_real_value() in absyntax_utils. NOTE: overflows not yet handled!
|
changeset |
files
|
2012-06-05 |
Manuele Conti |
Update constant folding: fixing minor bug.
|
changeset |
files
|
2012-06-06 |
Mario de Sousa |
Fix a few bugs of previous commit.
|
changeset |
files
|
2012-06-05 |
Manuele Conti |
Start constant_folding class.
|
changeset |
files
|
2012-06-05 |
Andreas Graeper |
little typo in last commited code
|
changeset |
files
|
2012-06-04 |
Mario de Sousa |
Change return data type of array_dimension_iterator_c.next()
|
changeset |
files
|
2012-05-15 |
Manuele Conti |
Fix SFC stage4 error.
|
changeset |
files
|
2012-05-15 |
mjsousa |
Renamed class, remove unused code, delete allocated objects.
|
changeset |
files
|
2012-05-15 |
Manuele Conti |
Start sematinc range check class.
|
changeset |
files
|
2012-05-15 |
mjsousa |
Located variables may have other data types besides ANY_BIT.
|
changeset |
files
|
2012-05-13 |
Manuele Conti |
Add verify_is_lvalue to control_variable in for_statement.
|
changeset |
files
|
2012-05-10 |
mjsousa |
Remove useless code, and replace with assertion.
|
changeset |
files
|
2012-05-10 |
mjsousa |
Fix bug: initialise un-initialised variable.
|
changeset |
files
|
2012-05-10 |
mjsousa |
Delete incorrect comment.
|
changeset |
files
|
2012-05-10 |
mjsousa |
Add some comments...
|
changeset |
files
|
2012-05-10 |
mjsousa |
Add high level comments.
|
changeset |
files
|
2012-05-10 |
mjsousa |
Fix comment.
|
changeset |
files
|
2012-05-09 |
mjsousa |
Fix the previous commit: check for errors in expressions used as subscripts.
|
changeset |
files
|
2012-05-09 |
Manuele Conti |
Fix data type check array subscript field.
|
changeset |
files
|
2012-05-09 |
mjsousa |
Merge changes.
|
changeset |
files
|
2012-05-09 |
mjsousa |
Fix parsing os TIME literals & rename the extract_integer() function.
|
changeset |
files
|
2012-05-09 |
mjsousa |
Fix generation of output for iec2iec.
|
changeset |
files
|
2012-05-09 |
mjsousa |
Do not compile deleted files...
|
changeset |
files
|
2012-05-09 |
mjsousa |
Do not compile deleted files...
|
changeset |
files
|
2012-05-09 |
mjsousa |
ReDelete files - used in old method of supporting standard functions.
|
changeset |
files
|
2012-05-09 |
mjsousa |
Remove file (used for old method of supporting standard functions).
|
changeset |
files
|
2012-04-27 |
Mario de Sousa |
Add TODO list!
|
changeset |
files
|
2012-04-26 |
Mario de Sousa |
Delete unecessary variable.
|
changeset |
files
|
2012-05-03 |
Conti Manuele |
Fix __dt_to_timespec primitive function.
|
changeset |
files
|
2012-05-02 |
Conti Manuele |
Fix __dt_to_string primitive function.
|
changeset |
files
|
2012-04-24 |
Conti Manuele |
Fix code generation about __INIT_GLOBAL_LOCATED.
|
changeset |
files
|
2012-04-25 |
Mario de Sousa |
Change constants into enums.
|
changeset |
files
|
2012-04-25 |
Mario de Sousa |
Add lvalue checking for IL function and FB invocations.
|
changeset |
files
|
2012-04-25 |
Mario de Sousa |
Fix comment.
|
changeset |
files
|
2012-04-25 |
Mario de Sousa |
Add clarifying comment.
|
changeset |
files
|
2012-04-25 |
Mario de Sousa |
Remove access to NULL pointer.
|
changeset |
files
|
2012-04-25 |
Mario de Sousa |
Make temporary fix to is_complex() method.
|
changeset |
files
|
2012-04-24 |
Mario de Sousa |
Fix comment. (thanks go to Manuele for pointing it put).
|
changeset |
files
|
2012-04-23 |
Mario de Sousa |
Stop lvalue checks after finding an error in the expression.
|
changeset |
files
|
2012-04-23 |
Mario de Sousa |
Remove erroneous check for S1 and R1, and add missing declrataion.
|
changeset |
files
|
2012-04-21 |
Manuele Conti |
Start implement lvalue check in IL instruction.
|
changeset |
files
|
2012-04-21 |
Manuele Conti |
Add lvalue check on fb invocation.
|
changeset |
files
|
2012-04-19 |
Mario de Sousa |
Literals are also part of expressions!
|
changeset |
files
|
2012-04-18 |
Conti Manuele |
Implement check_assignment_to_expression in lvalue_check_c class.
|
changeset |
files
|
2012-04-18 |
Mario de Sousa |
Remove potential access to NULL pointer.
|
changeset |
files
|
2012-04-18 |
Mario de Sousa |
Start having nicer stage 4 error messages.
|
changeset |
files
|
2012-04-17 |
Conti Manuele |
Improve usability command line under windows.
|
changeset |
files
|
2012-04-17 |
Mario de Sousa |
Ignore trailing EOLs when determining symbol location.
|
changeset |
files
|
2012-04-17 |
Mario de Sousa |
Add comment.
|
changeset |
files
|
2012-04-17 |
Conti Manuele |
Fix Segmentation fault in check_assignment_to_output lvalue method.
|
changeset |
files
|
2012-04-17 |
Mario de Sousa |
Remove deprecated status for ANYTIME operations.
|
changeset |
files
|
2012-04-17 |
Mario de Sousa |
Produce similar error messages in stage2 and stage3.
|
changeset |
files
|
2012-04-16 |
Mario de Sousa |
Fix bug when handling code with data type errors.
|
changeset |
files
|
2012-04-16 |
Mario de Sousa |
Fix printing of data type errors in while and repeat statements.
|
changeset |
files
|
2012-04-16 |
Mario de Sousa |
Add lvalue check for non formal function invocations.
|
changeset |
files
|
2012-04-16 |
Mario de Sousa |
Fixing check for assingment to FOR control variables.
|
changeset |
files
|
2012-04-16 |
Mario de Sousa |
Moving get_var_name_c into its own file.
|
changeset |
files
|
2012-04-16 |
Mario de Sousa |
Fixing check for assignment to output variables.
|
changeset |
files
|
2012-04-15 |
Mario de Sousa |
Fixing some bugs in lvalue checking (other bugs remain - to be fixed later)
|
changeset |
files
|
2012-04-14 |
Manuele Conti |
Add lvalue check class.
|
changeset |
files
|
2012-04-14 |
manuele conti |
Determine the modifiers (CONST, REATAIN) used when declaring a variable.
|
changeset |
files
|
2012-04-14 |
Mario de Sousa |
Fix typo in comparison expression.
|
changeset |
files
|
2012-04-14 |
Mario de Sousa |
Removing code from search_varfb_instance_type_c (use search_var_instance_decl_c instead).
|
changeset |
files
|
2012-04-14 |
Mario de Sousa |
Fix bug by expanding permissible data input of search_var_instance_decl_c
|
changeset |
files
|
2012-04-13 |
Mario de Sousa |
Edit formating and delete unused code.
|
changeset |
files
|
2012-04-07 |
Mario de Sousa |
Start data type checking of var declarations (including direct variables!)
|
changeset |
files
|
2012-04-03 |
Mario de Sousa |
Delete incorrect comments I had inserted previously (confusing EQ and NE functions)
|
changeset |
files
|
2012-03-31 |
Mario de Sousa |
merging with Lauren't changeset.
|
changeset |
files
|
2012-03-31 |
Mario de Sousa |
merge with Laurent's changeset (essentially ignore all changes).
|
changeset |
files
|
2012-03-31 |
Mario de Sousa |
merge with Laurent's changeset (essentially, ignore all changes).
|
changeset |
files
|
2012-03-31 |
Mario de Sousa |
merging with Laurent's changes.
|
changeset |
files
|
2012-03-31 |
Mario de Sousa |
merging with Laurent's change.
|
changeset |
files
|
2012-03-31 |
Mario de Sousa |
merging with Laurent's revision 55b074ea7255 (essentially ignoring all changes)
|
changeset |
files
|
2012-03-29 |
Mario de Sousa |
Add coment warning about incorrect implementation of the NE standard function.
|
changeset |
files
|
2012-03-29 |
Mario de Sousa |
merging with Laurent's patch.
|
changeset |
files
|
2012-03-29 |
Mario de Sousa |
Print correct error message when handling IL function calls.
|
changeset |
files
|
2012-03-15 |
Mario de Sousa |
Edit error message.
|
changeset |
files
|
2012-03-15 |
Mario de Sousa |
Add EXPT widen table.
|
changeset |
files
|
2012-03-15 |
Mario de Sousa |
Some stupid code cleanups.
|
changeset |
files
|
2012-03-15 |
Mario de Sousa |
Some code cleanups.
|
changeset |
files
|
2012-03-14 |
Mario de Sousa |
Clean up the code.
|
changeset |
files
|
2012-03-14 |
Mario de Sousa |
Fix error messages of il function calls - it now prints out location info of first parameter.
|
changeset |
files
|
2012-03-14 |
Mario de Sousa |
Clean code for printing errors in expressions.
|
changeset |
files
|
2012-03-14 |
Mario de Sousa |
Clean code for comparison operations & operators.
|
changeset |
files
|
2012-03-14 |
Mario de Sousa |
Cleaning up XORN, ANDN, and ORN operator code.
|
changeset |
files
|
2012-03-14 |
Mario de Sousa |
Cleaning up some code.
|
changeset |
files
|
2012-03-14 |
Mario de Sousa |
Add 'widen' tables for AND, OR and XOR operations.
|
changeset |
files
|
2012-03-13 |
Mario de Sousa |
Add MOD widening table, and some code clean-ups.
|
changeset |
files
|
2012-03-13 |
Mario de Sousa |
Re-organizing the code.
|
changeset |
files
|
2012-03-13 |
Mario de Sousa |
Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
|
changeset |
files
|
2012-03-13 |
Mario de Sousa |
Clarify some details in the comments.
|
changeset |
files
|
2012-03-11 |
Manuele Conti |
Add check widening status for IL operator.
|
changeset |
files
|
2012-03-11 |
Mario de Sousa |
Fix remaining 'widen' tables.
|
changeset |
files
|
2012-03-11 |
Mario de Sousa |
Fix some 'widen' table entries.
|
changeset |
files
|
2012-03-10 |
Mario de Sousa |
Add a TODO comment.
|
changeset |
files
|
2012-03-10 |
Mario de Sousa |
Clean up code, and add support for 'safe' version of literals.
|
changeset |
files
|
2012-03-10 |
Mario de Sousa |
Bringing comment up to date.
|
changeset |
files
|
2012-03-09 |
Mario de Sousa |
Semantic verification of NOT operator.
|
changeset |
files
|
2012-03-09 |
Mario de Sousa |
Fix bug in building structured variables.
|
changeset |
files
|
2012-03-09 |
Mario de Sousa |
Delete unecessary copy_candidate_datatype_list() function.
|
changeset |
files
|
2012-03-08 |
Mario de Sousa |
Delete no longer needed copy_candidate_datatype_list() function.
|
changeset |
files
|
2012-03-08 |
Mario de Sousa |
Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.
|
changeset |
files
|
2012-03-08 |
Mario de Sousa |
Do not allow duplicate values in candidate datatype list.
|
changeset |
files
|
2012-03-03 |
Mario de Sousa |
Handle JMP to labels preceding the JMP instruction itself.
|
changeset |
files
|
2012-03-03 |
Mario de Sousa |
Correctly handle JMP and RET IL operators in flow control analysis.
|
changeset |
files
|
2012-03-03 |
Mario de Sousa |
Fix filling candidate datatypes of JMP operations
|
changeset |
files
|
2012-03-03 |
Mario de Sousa |
Remove spurious printf()s, used during debugging session.
|
changeset |
files
|
2012-03-02 |
Mario de Sousa |
Add missing files.
|
changeset |
files
|
2012-03-02 |
Mario de Sousa |
Continue adding support for semantic verification of JMP and RET.
|
changeset |
files
|
2012-03-01 |
Conti Manuele |
iAdd warning for deprecated operations.
|
changeset |
files
|
2012-02-27 |
Mario de Sousa |
Change prev_il_instruction to a vector<>
|
changeset |
files
|
2012-02-27 |
Mario de Sousa |
Some small cleanups.
|
changeset |
files
|
2012-02-25 |
Mario de Sousa |
Add support for semantic verification of CALC, CALCN, etc..
|
changeset |
files
|
2012-02-23 |
Mario de Sousa |
Finish support for semantic verification of IL paranthesised expressions.
|
changeset |
files
|
2012-02-21 |
Mario de Sousa |
More changes for support of semantic verification of il_expressions
|
changeset |
files
|
2012-02-20 |
Mario de Sousa |
Start of support for IL expressions (parenthesis).
|
changeset |
files
|
2012-02-20 |
Mario de Sousa |
Cleaning up the code.
|
changeset |
files
|
2012-02-20 |
Mario de Sousa |
Fix a few more bugs related to FB/function calls in IL.
|
changeset |
files
|
2012-02-19 |
Mario de Sousa |
Semantic verification: Add compatibility check for parameter direction in function invocation.
|
changeset |
files
|
2012-02-18 |
Mario de Sousa |
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
|
changeset |
files
|
2012-02-17 |
Mario de Sousa |
Start of support for semantic verification of FB calls in IL using special IL instructions.
|
changeset |
files
|
2012-02-17 |
Mario de Sousa |
Delete some comments.
|
changeset |
files
|
2012-02-16 |
Conti Manuele |
Change name help function.
|
changeset |
files
|
2012-02-16 |
Mario de Sousa |
Update comments on general architecture.
|
changeset |
files
|
2012-02-16 |
Mario de Sousa |
Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.
|
changeset |
files
|
2012-02-13 |
Mario de Sousa |
Code cleanup.
|
changeset |
files
|
2012-02-13 |
Mario de Sousa |
Add printing of semantic errors when calling FB from IL.
|
changeset |
files
|
2012-02-12 |
Manuele Conti |
Fix typo error in some il visit in fill_candidate_datatypes_c class.
|
changeset |
files
|
2012-02-13 |
Mario de Sousa |
Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!)
|
changeset |
files
|
2012-02-10 |
Mario de Sousa |
Add support for semantic verification of function calls in IL.
|
changeset |
files
|
2012-02-08 |
Mario de Sousa |
Add TODO comment, and delete unused debugging code.
|
changeset |
files
|
2012-02-08 |
Mario de Sousa |
Delete un-used code.
|
changeset |
files
|
2012-02-08 |
Mario de Sousa |
Change negation expression (neg_expression_c) to only allow signed data types.
|
changeset |
files
|
2012-02-07 |
Mario de Sousa |
Move elementary_c::to_string() to datatype_functions.cc/hh
|
changeset |
files
|
2012-02-07 |
Mario de Sousa |
Add, to types symbol table, string datatypes with limited length (my_string_type: STRING[33]) (Thanks Andreas!)
|
changeset |
files
|
2012-02-07 |
Mario de Sousa |
Correctly return the initial value of a string datatype, with limited length (STRING[33] := 'hello')
|
changeset |
files
|
2012-02-07 |
Mario de Sousa |
More detailed error messages for FB invocations in ST.
|
changeset |
files
|
2012-02-06 |
Mario de Sousa |
More detailed error messages in function invocations in ST.
|
changeset |
files
|
2012-02-06 |
Mario de Sousa |
Fix bug in analysing real literals (thanks Andreas!)
|
changeset |
files
|
2012-02-06 |
Mario de Sousa |
Remove debugging messages, and code cleanup.
|
changeset |
files
|
2012-02-06 |
Mario de Sousa |
Better error reporting in function invocations, and in invalid literal values.
|
changeset |
files
|
2012-02-05 |
Mario de Sousa |
Better identification of erros in function/FB invocations.
|
changeset |
files
|
2012-02-03 |
Mario de Sousa |
Print error messages when datatype erros found in ST function/FB calls.
|
changeset |
files
|
2012-02-03 |
Mario de Sousa |
Continue checking data type compatibility inside expressions used to pass paramters to invalid function/FB calls
|
changeset |
files
|
2012-02-03 |
Mario de Sousa |
Adding support for semantic verification of FB calls in ST.
|
changeset |
files
|
2012-02-02 |
Mario de Sousa |
Delete wrong comment.
|
changeset |
files
|
2012-02-02 |
Mario de Sousa |
Add support in stage 3 for checking function invocations in ST.
|
changeset |
files
|
2012-02-02 |
Mario de Sousa |
Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier.
|
changeset |
files
|
2012-02-02 |
Mario de Sousa |
Changing code indenting.
|
changeset |
files
|
2012-02-01 |
Manuele Conti |
Add fill candidate method for fb_invocation_c symbol.
|
changeset |
files
|
2012-02-01 |
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
|
2012-02-01 |
Mario de Sousa |
Merging with Laurent's repository.
|
changeset |
files
|
2011-09-26 |
Manuele Conti |
Fix YYLTYPE declaration.
|
changeset |
files
|
2011-11-20 |
Mario de Sousa |
Merging with Laurent's repository.
|
changeset |
files
|
2011-11-04 |
Mario de Sousa |
Add list of things we must check for in stage 3 (TODO list!)
|
changeset |
files
|
2012-08-14 |
Laurent Bessard |
Fix bug with InOut variable of structured type
|
changeset |
files
|
2012-07-28 |
Laurent Bessard |
Fix bug while using complex type variables in Function and FunctionBlock interface
|
changeset |
files
|
2012-07-27 |
Laurent Bessard |
Fix bug while using complex type variables in Function and FunctionBlock interface
|
changeset |
files
|
2012-07-27 |
Laurent Bessard |
Fix bug with complex type inout variables while generating variable list
|
changeset |
files
|
2012-03-21 |
laurent |
Fixing bug in inlinefcall when a transition is in ST and contains literals
|
changeset |
files
|
2012-02-24 |
laurent |
Fix bug in code generated for MUL function
|
changeset |
files
|
2012-02-24 |
laurent |
Fix bug with overloaded function due to literal input values
|
changeset |
files
|
2012-02-21 |
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
|
2012-02-21 |
laurent |
Fix bug pointed structure not declared for directly derived datatypes
|
changeset |
files
|
2012-02-16 |
Edouard Tisserant |
removed forgotten prototype in __INIT_EXTERNAL accessor, causing warning ant build time
|
changeset |
files
|
2012-02-07 |
laurent |
Merge with Edouard's modifications
|
changeset |
files
|
2012-02-07 |
laurent |
Fix STEP and ACTION structure initialization value in SFC
|
changeset |
files
|
2012-02-03 |
Edouard Tisserant |
Applied anonymous contribution RTC, '[Beremiz-devel] RTC function', 29/06/11
|
changeset |
files
|
2012-02-02 |
laurent |
Fix bug with functions like LEN and TRUNC that have overloaded return type for same inputs type
|
changeset |
files
|
2012-02-01 |
laurent |
Fix issues in standard library with MUX, MOD, NE and convertions to BOOL
|
changeset |
files
|
2012-01-25 |
laurent |
Adding Common_Ticktime to informations printed in VARIABLES.csv file
|
changeset |
files
|
2011-12-30 |
laurent |
Fixing bug with external variables refering to global variables defined in configurations
|
changeset |
files
|
2011-12-23 |
Edouard Tisserant |
removed useless extern func declaration in __INIT_EXTERNAL, producing warning during build of POUS.c
|
changeset |
files
|
2011-12-09 |
laurent |
Fixing bug in generated code for complex type external variable
|
changeset |
files
|
2011-12-09 |
laurent |
Fixing SUB standard function defined in standard library
|
changeset |
files
|
2011-11-18 |
laurent |
Fixing generated code for global variables. Adding support for defining global variables with complex type
|
changeset |
files
|
2011-11-18 |
laurent |
Fixing bug in all SUB function definitions in standard_functions.txt
|
changeset |
files
|
2011-11-18 |
laurent |
Fix bug when using enumerated type in equ_expression or notequ_expression
|
changeset |
files
|
2011-11-16 |
Edouard Tisserant |
silenced warning on X86_64 build by casying numerical operand of snprintf
|
changeset |
files
|
2011-11-04 |
laurent |
Fix bug in generate_c_inlinefcall. Was not handling textual SFC elements
|
changeset |
files
|
2011-10-29 |
Mario de Sousa |
Fix code generation of FOR loops. Now handles negative values of BY correctly.
|
changeset |
files
|
2011-10-29 |
Mario de Sousa |
Fix semantic verification of enumerated data types.
|
changeset |
files
|
2011-10-28 |
Mario de Sousa |
Adding a line to a comment. Does not change any code.
|
changeset |
files
|
2011-10-19 |
Edouard Tisserant |
fixed signedness warning on string slicing funcs in std lib
|
changeset |
files
|
2011-10-12 |
laurent |
Fix bug generate_c_inlinefcall in inline function name generated
|
changeset |
files
|
2011-10-11 |
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
|
2011-10-09 |
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
|
2011-10-09 |
laurent |
Fix bug in generate_c_inlinefcall.cc that prevent to use extendible standard functions
|
changeset |
files
|
2011-10-09 |
laurent |
Fix bug in definition of CONCAT standard function in iec_std_lib.h
|
changeset |
files
|
2011-09-28 |
Edouard Tisserant |
moved declaration __STR_CMP to prevent warning
|
changeset |
files
|
2011-09-14 |
laurent |
Adding support for compiling direct array specification inside variable declaration
|
changeset |
files
|
2011-09-09 |
laurent |
Making case statement code generated safer
|
changeset |
files
|
2011-09-08 |
laurent |
Merge with 01068ccb73b202b2872d4117ad01984bac956cbb
|
changeset |
files
|
2011-09-01 |
Manuele Conti |
Fix make on system without mercurial installed.
|
changeset |
files
|
2011-08-31 |
Mario de Sousa |
delete code no longer needed.
|
changeset |
files
|
2011-08-31 |
Mario de Sousa |
Implement get_type_decl(), as it seems Manuele will need it later...
|
changeset |
files
|
2011-08-31 |
Mario de Sousa |
Cleaning up: Getting some sense into the code handling structures.
|
changeset |
files
|
2011-08-25 |
Matteo Facchinetti |
Add automatic HG changeset id information in "-v" param
|
changeset |
files
|
2011-08-25 |
Matteo Facchinetti |
Add iec2iec building in the project Makefiles.
|
changeset |
files
|
2011-08-26 |
Mario de Sousa |
Update which files to ignore due to new autotools building environment.
|
changeset |
files
|
2011-08-26 |
Mario de Sousa |
Add checks for undefined structure elements used IEC 61131-3 source code being compiled.
|
changeset |
files
|
2011-08-25 |
Mario de Sousa |
Ignore underscores when extracting value of integer.
|
changeset |
files
|
2011-08-23 |
Mario de Sousa |
Deleting unused code.
|
changeset |
files
|
2011-08-23 |
Mario de Sousa |
Removing Makefiles made redundant by autotools.
|
changeset |
files
|
2011-08-23 |
Mario de Sousa |
fix bug report email address.
|
changeset |
files
|
2011-08-23 |
Mario de Sousa |
Add print version command line option.
|
changeset |
files
|
2011-08-23 |
Mario de Sousa |
Remove debugging printf() added by mistake in previous commit.
|
changeset |
files
|
2011-08-23 |
Mario de Sousa |
Print error messages when data type errors in ST expressions are detected.
|
changeset |
files
|
2011-08-23 |
Mario de Sousa |
Include (again!) the declaration of standard functions (incorrectly removed -again- in previous commit)
|
changeset |
files
|
2011-08-22 |
Mario de Sousa |
Add support for '**' (power) operator in ST expressions
|
changeset |
files
|
2011-08-19 |
Mario de Sousa |
Some more comments on how to build, and correcting name of README.build file.
|
changeset |
files
|
2011-08-19 |
Mario de Sousa |
Include the declaration of standard functions (incorrectly removed in previous commit)
|
changeset |
files
|
2011-08-19 |
Mario de Sousa |
Merging with Laurent's repository.
|
changeset |
files
|
2011-08-19 |
Mario de Sousa |
Fixing automake configuration to work properly with flex and bison.
|
changeset |
files
|
2011-07-29 |
Mario de Sousa |
Building compiler with autoconf. Thanks go to Matteo of sirius-es.it
|
changeset |
files
|
2011-07-29 |
Mario de Sousa |
Support for semantic verification of calls to standard functions.
|
changeset |
files
|
2011-07-29 |
Mario de Sousa |
Support for semantic verification of calls to standard function calls.
|
changeset |
files
|
2011-07-29 |
Mario de Sousa |
Support for semantic verification of calls to standard functions.
|
changeset |
files
|
2011-09-07 |
laurent |
Fixing exponentiation used with symbol **
|
changeset |
files
|
2011-09-02 |
laurent |
Fix bugs in exponentiation
|
changeset |
files
|
2011-09-02 |
laurent |
Fix case statement in ST, adding support for enumerated types
|
changeset |
files
|
2011-07-13 |
laurent |
Adding BYTE operators visit functions in inlinefcall
|
changeset |
files
|
2011-07-13 |
laurent |
Fix bug with DIV and MOD operator in IL code generator
|
changeset |
files
|
2011-07-13 |
laurent |
Fix bug in suffix of inlinefcall call in ST and IL
|
changeset |
files
|
2011-07-13 |
laurent |
Remove inclusion of missing file in lib
|
changeset |
files
|
2011-07-13 |
laurent |
Commiting merge with Mario's repository
|
changeset |
files
|
2011-07-11 |
Mario de Sousa |
commiting merge with Laurent's repository
|
changeset |
files
|
2011-07-09 |
Mario de Sousa |
changing 'make' to '$(MAKE)' so other make tools (e.g. gmake) may also be used.
|
changeset |
files
|
2011-07-09 |
Mario de Sousa |
Replacing extern declaration with #include of apropriate header file
|
changeset |
files
|
2011-07-09 |
Mario de Sousa |
Adding some comments, and removing a check for a semantic error in code being compiled.
|
changeset |
files
|
2011-07-12 |
laurent |
Fix bug with inline function call in POU programmed in IL
|
changeset |
files
|
2011-07-08 |
laurent |
Fix bug in function calls with literal parameters
|
changeset |
files
|
2011-07-07 |
laurent |
Fix makefiles when not using make as make tool
|
changeset |
files
|
2011-07-06 |
laurent |
Fix bug on initialization of temp variables not using setter
|
changeset |
files
|
2011-07-06 |
laurent |
Fix bug when trying to find the type of a NULL symbol
|
changeset |
files
|
2011-07-04 |
laurent |
Fix bug in inline function calls when using function with undetermined type interface with literals as input
|
changeset |
files
|
2011-06-29 |
laurent |
Fix warnings when compiling matiec
|
changeset |
files
|
2011-06-29 |
laurent |
Fix warning on nop statement at the end of function_block and program generated code
|
changeset |
files
|
2011-06-29 |
laurent |
Adding double underscore in computed enumerated value to avoid conflict with other user defined identifiers
|
changeset |
files
|
2011-06-28 |
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
|
2011-06-27 |
laurent |
Fix bug in declaring variable of enumerated type
|
changeset |
files
|
2011-06-16 |
Mario de Sousa |
Fix what I think is a bug (has not yet manifested itself).
|
changeset |
files
|
2011-06-16 |
Mario de Sousa |
Merging with Lauren't recent change.
|
changeset |
files
|
2011-06-16 |
Mario de Sousa |
Merging two previous commits.
|
changeset |
files
|
2011-06-10 |
Mario de Sousa |
Clean up some code.
|
changeset |
files
|
2011-06-14 |
laurent |
Fix bug with array attribute in structure declaration
|
changeset |
files
|
2011-06-14 |
Mario de Sousa |
Add better comments, and change name of functions to clarify what they do.
|
changeset |
files
|
2011-06-10 |
Mario de Sousa |
Remove incorect debugging assertion.
|
changeset |
files
|
2011-06-10 |
Mario de Sousa |
Skip CONFIGURATION declarations in stage 3 for now, so semantic analysis does not stop when a configuration is encountered.
|
changeset |
files
|
2011-06-09 |
laurent |
Fix bug when generating initial value for function return type when it is a complex type
|
changeset |
files
|
2011-06-09 |
laurent |
Fix bug in debugging variable list compilation with structure and array disabling
|
changeset |
files
|
2011-06-08 |
laurent |
Fix bug with TRUNC function and with type conversion functions called with constant as parameter
|
changeset |
files
|
2011-06-08 |
Mario de Sousa |
Allow use of ENO keyword in structured variable field selector.
|
changeset |
files
|
2011-06-06 |
laurent |
Fixing REAL_TO_INT conversion (behaved like a trunc and not like a round)
|
changeset |
files
|
2011-06-06 |
Mario de Sousa |
fixing INSERT function: was inserting into incorrect position. (submitted by Manuele)
|
changeset |
files
|
2011-06-06 |
laurent |
Fix bug when generating integer with leading zero (octal value for C compiler)
|
changeset |
files
|
2011-06-03 |
Mario de Sousa |
Allow [EOL] after a label in IL.
|
changeset |
files
|
2011-06-01 |
laurent |
Fix bug when using an enumerated or subrange type to define a structure element
|
changeset |
files
|
2011-05-31 |
laurent |
Fix bug when declaring data type directly derived from array type
|
changeset |
files
|
2011-05-30 |
Mario de Sousa |
Fix conversion of binary digits to hex, when generating code.
|
changeset |
files
|
2011-05-30 |
Mario de Sousa |
Fix missing '(' when declaring new simple derived data type.
|
changeset |
files
|
2011-05-30 |
Mario de Sousa |
Ignore underscores in decimal integer constants when determining size in bits...
|
changeset |
files
|
2011-05-30 |
Mario de Sousa |
When checking semantics of expressions, skip semantic checking of data type definitions
|
changeset |
files
|
2011-05-30 |
Mario de Sousa |
Fixing algorithm that determines bit size of constants containing underscores.
|
changeset |
files
|
2011-05-27 |
Mario de Sousa |
Merging with Edouard's version
|
changeset |
files
|
2011-05-27 |
Mario de Sousa |
Fixing bug related to setting array variables with values coming from other variables
|
changeset |
files
|
2011-05-18 |
Edouard Tisserant |
Added __IEC_OUTPUT_FLAG, to mark variable whose forcing implies refresh on eache cycle.
|
changeset |
files
|
2011-05-18 |
laurent |
Fix bug when debugging located variables of type memory (%M) for all variable classes
|
changeset |
files
|
2011-05-17 |
Mario de Sousa |
Merging with Edouard's changes
|
changeset |
files
|
2011-05-17 |
Mario de Sousa |
Fixing code generation of array indexes in Function Blocks.
|
changeset |
files
|
2011-05-15 |
Mario de Sousa |
Commiting merge with Laurent's recent dead code removal change.
|
changeset |
files
|
2011-04-19 |
Mario de Sousa |
Adding fflush capabilities. It is sometimes usefull when debuging the compiler...
|
changeset |
files
|
2011-04-15 |
Mario de Sousa |
Adding missing semicolons.
|
changeset |
files
|
2011-05-16 |
Edouard Tisserant |
fixed build error with gcc 4.5.2
|
changeset |
files
|
2011-05-16 |
laurent |
Merged with Edouard's modifications
|
changeset |
files
|
2011-05-16 |
laurent |
Fix bug when debugging located variables of type memory (%M)
|
changeset |
files
|
2011-04-21 |
Edouard Tisserant |
Removed dead code
|
changeset |
files
|
2011-04-14 |
Mario de Sousa |
Fixing implementation of CU, CD, and CUD in standard library.
|
changeset |
files
|
2011-04-14 |
Mario de Sousa |
Deleting dead code.
|
changeset |
files
|
2011-04-14 |
Mario de Sousa |
Merging changes.
|
changeset |
files
|
2011-04-14 |
Mario de Sousa |
Added tracking of order by which tokens are processed by lexical analyser.
|
changeset |
files
|
2011-04-14 |
Mario de Sousa |
Adding tracking of filename in which token is located.
|
changeset |
files
|
2011-04-07 |
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
|
2011-04-05 |
Mario de Sousa |
Fixing error message incorrectly changed in previous merge.
|
changeset |
files
|
2011-04-05 |
Mario de Sousa |
fixing C code generation of return_statement_c and exit_statement_c
|
changeset |
files
|
2011-04-05 |
Mario de Sousa |
merging the Edouard's version.
|
changeset |
files
|
2011-04-05 |
Mario de Sousa |
fixing exit_statement_c: produce 'break' instead of 'exit(0); (Thanks to Manuele)
|
changeset |
files
|
2011-04-05 |
Mario de Sousa |
Fixing code generation of standard conversion functions.
|
changeset |
files
|
2011-04-05 |
Edouard Tisserant |
Re-generated std lib related code, with updated headers, updated all forgotten headers
|
changeset |
files
|
2011-04-04 |
Edouard Tisserant |
Merged matiec library headers update from Mario to LGPL
|
changeset |
files
|
2011-04-04 |
Mario de Sousa |
Changing to LGPL for library functions.
|
changeset |
files
|
2011-04-04 |
Mario de Sousa |
Updating origin and license info of library fuctions.
|
changeset |
files
|
2011-04-04 |
Mario de Sousa |
Leave standard function names hardcoded, as these are considered keywords even though
|
changeset |
files
|
2011-04-04 |
Mario de Sousa |
New version of bistable.txt - due to license issues.
|
changeset |
files
|
2011-04-04 |
Edouard Tisserant |
Make semantic error message compatible with beremiz
|
changeset |
files
|
2011-04-04 |
Edouard Tisserant |
Merge
|
changeset |
files
|
2011-04-04 |
Edouard Tisserant |
Fixes to make handling of standard functions in Semantic analyser compatible with code generation of standard functions
|
changeset |
files
|
2011-04-04 |
Edouard Tisserant |
Merge with changes from Mario
|
changeset |
files
|
2011-04-04 |
Mario de Sousa |
Fixing stupid bug (that was disabling code generation).
|
changeset |
files
|
2011-04-04 |
Mario de Sousa |
Adding Makefile for Darwin (thanks go to Manuele)
|
changeset |
files
|
2011-04-04 |
Mario de Sousa |
starting to add proper header file with declaration of standard functions
|
changeset |
files
|
2011-04-01 |
Mario de Sousa |
Fixing error messages for IL semantic errors (brocken in a previous changeset/commit).
|
changeset |
files
|
2011-04-01 |
Mario de Sousa |
Updating license info (with Edouard's permission for relevant files).
|
changeset |
files
|
2011-04-01 |
Mario de Sousa |
Updating License info (with Edoaurd's permission for relevant files).
|
changeset |
files
|
2011-04-01 |
Mario de Sousa |
Adding some debug info
|
changeset |
files
|
2011-03-31 |
Mario de Sousa |
Do not crash when checking semantics of undeclared symbolic_variable.
|
changeset |
files
|
2011-03-31 |
Mario de Sousa |
Updating licensing information.
|
changeset |
files
|
2011-03-31 |
Mario de Sousa |
Error messages (stage3) now better identify the location of the error.
|
changeset |
files
|
2011-03-31 |
Mario de Sousa |
Adding debug conditional printf()s in stage 3.
|
changeset |
files
|
2011-03-31 |
Mario de Sousa |
Merging my Huge change with Edouards/Laurents version
|
changeset |
files
|
2011-03-30 |
Mario de Sousa |
Huge change.
|
changeset |
files
|
2011-04-01 |
Edouard Tisserant |
Changed packing declaration in iec_types
|
changeset |
files
|
2011-04-01 |
laurent |
Modify code generated for avoiding warning while compiling when configuration or resource don't have any global variable
|
changeset |
files
|
2011-03-31 |
Edouard Tisserant |
Initial TIME support in debugger
|
changeset |
files
|
2011-03-27 |
laurent |
Merged with Edouard's modifications
|
changeset |
files
|
2011-03-27 |
laurent |
Bug with getter for pointed variables in accessors fixed
|
changeset |
files
|
2011-03-26 |
Edouqrd Tisserant |
Added dumb SEMA?implementation
|
changeset |
files
|
2011-03-16 |
laurent |
Adding missing support for accessors and retain in configuration files (Bug and fix reported by Manuele Conti)
|
changeset |
files
|
2011-03-12 |
laurent |
Merged with modifications from Edouard
|
changeset |
files
|
2011-03-12 |
laurent |
Task single parameter code generation broken after addition of accessors fixed.
|
changeset |
files
|
2011-03-12 |
laurent |
Bug when function call result is a parameter of another function call fixed.
|
changeset |
files
|
2011-02-22 |
edouard |
A forgotten case in type size getter switch prevented debugging outputs.
|
changeset |
files
|
2010-06-16 |
laurent |
merge
|
changeset |
files
|
2010-06-02 |
laurent |
Adding support for generating code for variable in step action association instead of action
|
changeset |
files
|
2010-06-03 |
Lolitech |
Updated makefiles for cygwin build with no perl
|
changeset |
files
|
2010-05-20 |
laurent |
Bug with global located variables accessors fixed
|
changeset |
files
|
2010-05-19 |
laurent |
Bug with code generation of global located variables in resource fixed thanks to Mario
|
changeset |
files
|
2010-04-22 |
laurent |
Bugs fixed:
|
changeset |
files
|
2010-04-21 |
laurent |
Bug when parsing standard function block call in IL
|
changeset |
files
|
2009-12-15 |
laurent |
Bug when trying to get type of elements in a big complex structure fixed
|
changeset |
files
|
2009-12-15 |
laurent |
Adding support for using arrays in POU interface
|
changeset |
files
|
2009-12-15 |
laurent |
Using InOut variables in functions fixed
|
changeset |
files
|
2009-12-15 |
laurent |
Bug on generate_c_inlinefcall fixed
|
changeset |
files
|
2009-12-13 |
laurent |
Using function_call_iterator in generate_c_inlinefcall instead of creating a new visitor
|
changeset |
files
|
2009-12-12 |
laurent |
Bug on standard functions called with literals fixed
|
changeset |
files
|
2009-12-11 |
laurent |
Adding support for making distinction between external variables and located variables for forcing
|
changeset |
files
|
2009-12-11 |
laurent |
Adding support for forcing global without perturbation from setting external
|
changeset |
files
|
2009-12-09 |
laurent |
Bug in located variable initialization code fixed
|
changeset |
files
|
2009-12-08 |
laurent |
Bug on SFC debugging fixed
|
changeset |
files
|
2009-12-07 |
berem |
Adding support for setter and getter on complex datatype in IL
|
changeset |
files
|
2009-12-05 |
laurent |
Changes merged
|
changeset |
files
|
2009-12-05 |
laurent |
Adding support for setter and getter on complex datatype in ST
|
changeset |
files
|
2009-12-05 |
laurent |
Fix accessor code
|
changeset |
files
|
2009-12-04 |
edouard |
type definition to match accessor and new debug
|
changeset |
files
|
2009-12-04 |
edouard |
fixed cygwin build - still slooooooooow
|
changeset |
files
|
2009-12-02 |
laurent |
Adding Flags bit symbols
|
changeset |
files
|
2009-12-02 |
laurent |
Adding support for flags on Function Block variables for marking which variable must be debugged, retained or is forced
|
changeset |
files
|
2009-12-01 |
laurent |
Bug with ULINT correction fixed
|
changeset |
files
|
2009-11-30 |
laurent |
Adding support for declare, init, get and set macros
|
changeset |
files
|
2009-11-29 |
Edouard TISSERANT |
added files to ignore in hgignore
|
changeset |
files
|
2009-11-29 |
laurent |
Adding support for declare, init, get and set macros
|
changeset |
files
|
2009-11-18 |
laurent |
Bug with using non explicit literals as standard library functions input parameters fixed
|
changeset |
files
|
2009-11-02 |
edouard |
Wiped out references to Lolitech
|
changeset |
files
|
2009-11-02 |
greg |
Replace \"lolitech\" contact by \"edouard\" contact
|
changeset |
files
|
2009-10-28 |
greg |
Fix some bug in debian packages
|
changeset |
files
|
2009-10-22 |
greg |
Fix some warnings on compilation
|
changeset |
files
|
2009-10-19 |
laurent |
Remove warnings when compiling IL generated C code
|
changeset |
files
|
2009-09-21 |
laurent |
Adding support for forcing tick count to return to zero as the same time than all tasks firing are synchronized
|
changeset |
files
|
2009-09-21 |
laurent |
Remove -pedantic flag to CFLAGS to allow unsigned long long to be compiled
|
changeset |
files
|
2009-09-02 |
laurent |
Modify code generated to fit latest modifications in matiec and useless symbol definitions
|
changeset |
files
|
2009-09-02 |
laurent |
Bug in eno_param_declaration error handle fixed
|
changeset |
files
|
2009-09-02 |
laurent |
Bug with EN/ENO in generate_var_list that breaks parsing of variables.csv fixed
|
changeset |
files
|
2009-09-02 |
'Laurent Bessard |
Mario changes merged
|
changeset |
files
|
2009-08-27 |
Catarina Boucinha |
Adding missing Stage3 files.
|
changeset |
files
|
2009-08-27 |
Catarina Boucinha |
Merged changes
|
changeset |
files
|
2009-08-27 |
Catarina Boucinha |
Initial (very rough) version of semantic checker (stage3)
|
changeset |
files
|
2009-07-02 |
Catarina Boucinha |
Introducing the search_il_operand_type files in the absyntax_utils folder.
|
changeset |
files
|
2009-09-02 |
laurent |
Applying patch from Iztok for old gcc versions
|
changeset |
files
|
2009-09-01 |
laurent |
Bug with type conversion EN/ENO not evaluated fixed
|
changeset |
files
|
2009-07-10 |
'Gr?gory Tr?lat |
prevent eclipse to push .project with .hgignore
|
changeset |
files
|
2009-07-10 |
'Gr?gory Tr?lat |
removed dead hidden files
|
changeset |
files
|
2009-06-19 |
lbessard |
Fix problems with direct variables in expression while compiling resulting expression type
|
changeset |
files
|
2009-06-19 |
lbessard |
Fix segmentation fault when define global with location but no name (reported by brendan)
|
changeset |
files
|
2009-06-18 |
mario |
Removing un-necessary symbol direct_variable_type_name_c from abstract syntax tree
|
changeset |
files
|
2009-06-18 |
mario |
Fixing indentification
|
changeset |
files
|
2009-06-10 |
lbessard |
Adding inclusion of function blocks defined in AnnexF into library blocks
|
changeset |
files
|
2009-06-10 |
lbessard |
Adding support for parsing standard function in standard function blocks code generation
|
changeset |
files
|
2009-06-10 |
lbessard |
Adding inclusion of function blocks defined in AnnexF into library blocks
|
changeset |
files
|
2009-06-09 |
lbessard |
Bug on function without input parameters fixed
|
changeset |
files
|
2009-06-09 |
lbessard |
Removing failing error finding rule
|
changeset |
files
|
2009-06-05 |
lbessard |
Warning when compiling abs functions for unsigned integer fixed
|
changeset |
files
|
2009-06-05 |
greg |
bug when compiling for windows (missing getopt.h) fixed
|
changeset |
files
|
2009-06-04 |
mario |
Newer versions of g++ require access controls to be correct!
|
changeset |
files
|
2009-06-04 |
lbessard |
Adding support for single resource scheduling
|
changeset |
files
|
2009-06-04 |
lbessard |
Bug with bison versions earlier than 2.3 fixed
|
changeset |
files
|
2009-06-01 |
mario |
Moving absyntax utility functions out from stage4/generate_c
|
changeset |
files
|
2009-06-01 |
mario |
Moving absyntax utility files out from stage4/generate_c
|
changeset |
files
|
2009-05-30 |
greg |
Bug on "abs" not working with float fixed
|
changeset |
files
|
2009-05-28 |
lbessard |
Target Directory not parsed in command line fixed
|
changeset |
files
|
2009-05-26 |
mario |
Starting move of search utils to their own top level directory.
|
changeset |
files
|
2009-05-25 |
mario |
Adding support for SAFEBOOL. Some code generation yet to do...
|
changeset |
files
|
2009-05-19 |
lbessard |
Bug with non-working counters fixed
|
changeset |
files
|
2009-05-18 |
lbessard |
Adding support for checking direct variable declared before using
|
changeset |
files
|
2009-05-15 |
lbessard |
Bug with array datatype definition fixed
|
changeset |
files
|
2009-03-20 |
lbessard |
Bug generated when IL code starts whitout LD operand fixed
|
changeset |
files
|
2009-03-19 |
etisserant |
Fixed (again) some Makefile quirks.
|
changeset |
files
|
2009-03-02 |
greg |
updated : debian package scripts
|
changeset |
files
|
2009-01-20 |
lbessard |
Disable compiling warnings on Windows
|
changeset |
files
|
2009-01-19 |
lbessard |
Bug when function with unconnected input fixed
|
changeset |
files
|
2009-01-19 |
etisserant |
Canged default string length to 127, keeping strlen_t to int8_t
|
changeset |
files
|
2009-01-19 |
etisserant |
Fixed parameter count error on variadic functions with EN/ENO
|
changeset |
files
|
2009-01-14 |
lbessard |
Bug with external variable declaration fixed
|
changeset |
files
|
2009-01-14 |
lbessard |
Bug on standard function not defined with EN/ENO fixed
|
changeset |
files
|
2009-01-09 |
lbessard |
Bug with structure of structure fixed
|
changeset |
files
|
2009-01-04 |
etisserant |
Fixed errors in string_to_int.
|
changeset |
files
|
2009-01-04 |
etisserant |
Fixed typo in EN/ENO parameters handling for std library functions
|
changeset |
files
|
2008-12-23 |
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
|
2008-12-19 |
lbessard |
Adding support for compiling struct data types
|
changeset |
files
|
2008-12-15 |
etisserant |
Try to clean Makefile. Not a real success.
|
changeset |
files
|
2008-12-15 |
etisserant |
fixed typo in generated VARIABLES.CSV
|
changeset |
files
|
2008-12-12 |
lbessard |
Adding Function Blocks in VARIABLES.csv
|
changeset |
files
|
2008-12-05 |
greg |
Warning conditions on win32 fixed
|
changeset |
files
|
2008-12-04 |
greg |
set and reset action fixed
|
changeset |
files
|
2008-12-01 |
lbessard |
Bug with standard functions nb_params count on Windows fixed
|
changeset |
files
|
2008-11-26 |
greg |
Modifying MOVE interface
|
changeset |
files
|
2008-11-26 |
greg |
Adding support for direct variable type search
|
changeset |
files
|
2008-11-21 |
lbessard |
Bug on language selection in SFC Action fixed
|
changeset |
files
|
2008-10-24 |
lbessard |
Bug with DEBUG mode in SFC fixed
|
changeset |
files
|
2008-10-24 |
lbessard |
Adding support for EN/ENO in standard functions
|
changeset |
files
|
2008-10-15 |
greg |
add Makefile for the mingw toolchain on win32
|
changeset |
files
|
2008-10-07 |
lbessard |
fixed typo eno_param_declaration
|
changeset |
files
|
2008-09-26 |
lbessard |
Adding support for EN/ENO params in function and function blocks (standard function not supported yet)
|
changeset |
files
|
2008-09-25 |
lbessard |
Adding support for ouput variables in functions
|
changeset |
files
|
2008-09-25 |
lbessard |
Bug with enumerated_value fixed
|
changeset |
files
|
2008-09-15 |
lbessard |
Adding support for EN/ENO parameters in bison rules
|
changeset |
files
|
2008-09-08 |
lbessard |
Bug while wearching errors in transition with priority fixed
|
changeset |
files
|
2008-09-08 |
lbessard |
Adding support for transition debugging
|
changeset |
files
|
2008-09-07 |
etisserant |
Added __DEBUG global var to eventually change PLC code execution
|
changeset |
files
|
2008-08-21 |
etisserant |
added missing includes on some platform (gentoo/gcc-4.3.1)
|
changeset |
files
|
2008-08-19 |
etisserant |
Some miscelanous static, extern and pointer status variable changes in C generated code for configuration and resources
|
changeset |
files
|
2008-08-19 |
etisserant |
Re-organized types headers, to ease debug code generation
|
changeset |
files
|
2008-08-12 |
lbessard |
Adding some improvements:
|
changeset |
files
|
2008-08-04 |
etisserant |
Fixed generation of VARIABLES.csv, some variables appeared in program section
|
changeset |
files
|
2008-07-23 |
lbessard |
Fixed some uncatched errors and error bounds in error messages
|
changeset |
files
|
2008-07-18 |
lbessard |
Some bugs on syntax checking tests fixed
|
changeset |
files
|
2008-07-17 |
etisserant |
Updated tests so that they compile again :-)
|
changeset |
files
|
2008-07-17 |
lbessard |
Adding some human-readable error messages
|
changeset |
files
|
2008-07-17 |
etisserant |
Fixed missing return in XOR operator code gen.
|
changeset |
files
|
2008-07-17 |
etisserant |
removed __print statements. Not supposed to be in std lib.
|
changeset |
files
|
2008-07-17 |
etisserant |
Changed located global variable declaration and init to reflec recent change on located vars (pointers)
|
changeset |
files
|
2008-07-17 |
etisserant |
added some type handling tools in iec_std_lib. To be tested
|
changeset |
files
|
2008-06-28 |
etisserant |
*** empty log message ***
|
changeset |
files
|
2008-06-27 |
lbessard |
Modifying time qualifier in SFC to take real time enlapsed instead of theoric period time
|
changeset |
files
|
2008-06-27 |
lbessard |
Bug on __TIME_CMP fixed
|
changeset |
files
|
2008-06-25 |
lbessard |
Fixed some issues on:
|
changeset |
files
|
2008-06-23 |
etisserant |
Support for extern pointer for located variables
|
changeset |
files
|
2008-05-19 |
lbessard |
Adding support for POU struct definition in POUS.h
|
changeset |
files
|
2008-04-16 |
lbessard |
Bug with D and L action qualifier and timing management in SFC generated fixed
|
changeset |
files
|
2008-04-11 |
lbessard |
Bug with C code generation for SFC when more than one sfc_network in one sequential_function_chart fixed
|
changeset |
files
|
2008-04-08 |
lbessard |
Problem with negated literals while compiling generated C file on 32bits systems fixed
|
changeset |
files
|
2008-04-03 |
lbessard |
Bug on located variables without name declaration fixed
|
changeset |
files
|
2008-04-03 |
lbessard |
Changing SFC Transitions, Steps and Actions types
|
changeset |
files
|
2008-03-28 |
lbessard |
Adding support to distinguish direct variables and pointed variables
|
changeset |
files
|
2008-03-05 |
etisserant |
cast fir gcc4 fix in lib
|
changeset |
files
|
2008-02-28 |
etisserant |
right name for TOFF is TOF according to 61131
|
changeset |
files
|
2008-02-28 |
etisserant |
changed VARIABLES.h in VARIABLES.cvs
|
changeset |
files
|
2008-02-26 |
lbessard |
Adding structure variable list generation module
|
changeset |
files
|
2008-02-11 |
etisserant |
added *.depend to .cvsignore
|
changeset |
files
|
2008-02-09 |
mario |
Regression tests. Not yet finished...
|
changeset |
files
|
2008-02-09 |
mario |
Regression tests. Test correct parsing of identifiers.
|
changeset |
files
|
2008-02-08 |
etisserant |
Fixed headers of generated code
|
changeset |
files
|
2008-01-29 |
greg |
add debian dir to create debian package
|
changeset |
files
|
2008-01-17 |
greg |
add Makefile for cygwin under Vista
|
changeset |
files
|
2008-01-16 |
greg |
changes in setup.py to filter "exe" files and the and the "lib" directory
|
changeset |
files
|
2008-01-15 |
greg |
add setup.py to build windows installer
|
changeset |
files
|
2008-01-02 |
lbessard |
Modifications for supporting String corrrections on PLCOpenEditor
|
changeset |
files
|
2007-12-10 |
lbessard |
Removing useless comment printout
|
changeset |
files
|
2007-12-09 |
etisserant |
Windows related enhancements
|
changeset |
files
|
2007-12-07 |
etisserant |
aligned CXXFLAGS with CFLAGS
|
changeset |
files
|
2007-12-06 |
lbessard |
Adding support for derived data types.
|
changeset |
files
|
2007-11-17 |
mario |
adding comments.
|
changeset |
files
|
2007-11-17 |
mario |
Adding some basic error cheching.
|
changeset |
files
|
2007-11-17 |
mario |
Changing format of error reporting.
|
changeset |
files
|
2007-11-16 |
mario |
Fixing some more comments.
|
changeset |
files
|
2007-11-16 |
mario |
Cleaning up comments.
|
changeset |
files
|
2007-11-16 |
mario |
Small fix to previous commit.
|
changeset |
files
|
2007-11-16 |
mario |
Cleaning up some bison rules.
|
changeset |
files
|
2007-11-15 |
mario |
Cleaning up comments.
|
changeset |
files
|
2007-11-15 |
mario |
Cleaning up comments.
|
changeset |
files
|
2007-11-15 |
mario |
Adding location data to new transition_condition_c.
|
changeset |
files
|
2007-11-15 |
lbessard |
Bug on SFC transition parsing and generation fixed
|
changeset |
files
|
2007-11-14 |
mario |
Adding support for use of PRIORITY as identifier inside SFC.
|
changeset |
files
|
2007-11-14 |
mario |
Fixing handling of enumeration values;
|
changeset |
files
|
2007-11-10 |
mario |
fixing 'priority' in SFC.
|
changeset |
files
|
2007-11-08 |
mario |
commenting out code no longer required. To be deleted later.
|
changeset |
files
|
2007-11-04 |
mario |
Adding some comments.
|
changeset |
files
|
2007-11-03 |
mario |
removing debug messages left by mistake in previous commit.
|
changeset |
files
|
2007-11-03 |
mario |
fixing bug in handling of PRIVATE token.
|
changeset |
files
|
2007-11-03 |
mario |
fixing buf in FOR control variable.
|
changeset |
files
|
2007-11-02 |
mario |
removing 'identifier' from definition of symbolic_variable
|
changeset |
files
|
2007-11-01 |
mario |
adding some comments.
|
changeset |
files
|
2007-11-01 |
mario |
fixing include bug (only ocured for includes in main program file).
|
changeset |
files
|
2007-11-01 |
mario |
Fixing handling of task initialisation.
|
changeset |
files
|
2007-10-28 |
mario |
fixing identifier issues of PRIORITY, SINGLE, and INTERVAL
|
changeset |
files
|
2007-10-28 |
mario |
fixing infinite error loops at library level, and ...
|
changeset |
files
|
2007-10-28 |
mario |
Fixing small bug when determining ST or IL language
|
changeset |
files
|
2007-10-28 |
mario |
fixing formal function invocation in IL
|
changeset |
files
|
2007-10-24 |
lbessard |
Change generate_cc to generate_c
|
changeset |
files
|
2007-10-23 |
mario |
Adding basic error checking.
|
changeset |
files
|
2007-10-23 |
mario |
Adding basic error checking.
|
changeset |
files
|
2007-10-23 |
mario |
CVS Test - removed blank line
|
changeset |
files
|
2007-10-17 |
lbessard |
Bugs on SFC generation fixed
|
changeset |
files
|
2007-10-05 |
lbessard |
Lots of bugs fixed
|
changeset |
files
|
2007-10-05 |
etisserant |
Fixed Bitwise negation in ST
|
changeset |
files
|
2007-09-28 |
etisserant |
What is that empty ramp.cc file ?
|
changeset |
files
|
2007-09-28 |
etisserant |
Support for anonymous directly represented variables.
|
changeset |
files
|
2007-09-17 |
etisserant |
updated some .cvsignore
|
changeset |
files
|
2007-09-17 |
etisserant |
Conform STD_TEST to standard, add FB declaration in localVars tag
|
changeset |
files
|
2007-09-17 |
etisserant |
Splitted type declaration out of iec std lib, to avoid DWORD, BOOL, TIME ,... clash with windows.h
|
changeset |
files
|
2007-09-17 |
lbessard |
Bugs with direct variable in Pou body fixed
|
changeset |
files
|
2007-08-30 |
etisserant |
Now generated SoftPLC compiles with mingw32 and run windows.
|
changeset |
files
|
2007-08-29 |
lbessard |
Bug on Program in ST and IL generation fixed
|
changeset |
files
|
2007-08-29 |
etisserant |
Started support for long long (LL suffix) 64 bit literals on 32 bit platforms (unfinished)
|
changeset |
files
|
2007-08-28 |
etisserant |
Updated Makefile to allow compilation with mingw32
|
changeset |
files
|
2007-08-27 |
lbessard |
Bug into generate_cc_sfc fixed
|
changeset |
files
|
2007-08-27 |
lbessard |
Adding SET (S) and RESET(R) to action qualifier
|
changeset |
files
|
2007-08-13 |
lbessard |
Adding R and S qualifier to SFC
|
changeset |
files
|
2007-08-02 |
lbessard |
Changing file header
|
changeset |
files
|
2007-08-02 |
lbessard |
Changing file headers
|
changeset |
files
|
2007-08-01 |
etisserant |
Fixed some problems win 32 bits GCC and Long Long literals
|
changeset |
files
|
2007-07-26 |
lbessard |
Help message updated
|
changeset |
files
|
2007-07-25 |
lbessard |
Adding support for generating files into an user-defined folder
|
changeset |
files
|
2007-07-20 |
etisserant |
Fixed verious problems with SFC, Globals and located variables.
|
changeset |
files
|
2007-07-19 |
etisserant |
Tests and various fixes
|
changeset |
files
|
2007-07-18 |
etisserant |
Test IEC_LIB and fix bugs (EQ, GT et all)
|
changeset |
files
|
2007-07-17 |
etisserant |
IEC std lib test enhanced string ops, from string and to string conv.
|
changeset |
files
|
2007-07-13 |
etisserant |
First working IEC std lib test, actually test from string and to_string functions.
|
changeset |
files
|
2007-07-12 |
etisserant |
Fixed -I library include path behavior + removed old lib implementation + added generated lib func names to stage 1_2 + added Makefile.Linux
|
changeset |
files
|
2007-07-11 |
lbessard |
Bug on configuration generation fixed
|
changeset |
files
|
2007-07-07 |
etisserant |
Stage4 changes according to new STD lib implementation
|
changeset |
files
|
2007-07-07 |
etisserant |
*** empty log message ***
|
changeset |
files
|
2007-07-06 |
etisserant |
Early implementation of STD library.
|
changeset |
files
|
2007-06-21 |
lbessard |
Generated code for il finished
|
changeset |
files
|
2007-06-19 |
lbessard |
new generated files
|
changeset |
files
|
2007-06-18 |
etisserant |
preliminary std lib support for ST
|
changeset |
files
|
2007-06-14 |
lbessard |
Adding support for standard function block parsing
|
changeset |
files
|
2007-05-29 |
lbessard |
Correct bug on location list generation
|
changeset |
files
|
2007-05-18 |
lbessard |
Adding location list generation
|
changeset |
files
|
2007-05-16 |
lbessard |
Bug on resource global variables generation corrected
|
changeset |
files
|
2007-05-16 |
lbessard |
Multi-file configuration and resource generation finished
|
changeset |
files
|
2007-05-15 |
etisserant |
Now, stage4out can address files. Generate_cc have been split into one visitor per C file : pous, ressource and config. Work in progress.
|
changeset |
files
|
2007-05-14 |
etisserant |
Now, LOCATED variables do declare extern C variables the same way EXTERNAL variables do.
|
changeset |
files
|
2007-05-11 |
lbessard |
Adding support for internal variable call generating
|
changeset |
files
|
2007-05-11 |
etisserant |
Adding init function on programs
|
changeset |
files
|
2007-05-10 |
etisserant |
Adding init function on functionBlock
|
changeset |
files
|
2007-04-18 |
lbessard |
Bugs on SFC transition list generation and search expression type with structured_variables corrected
|
changeset |
files
|
2007-04-06 |
lbessard |
Add time struct creation in variable initial value declaration
|
changeset |
files
|
2007-03-27 |
mario |
*** empty log message ***
|
changeset |
files
|
2007-02-28 |
lbessard |
Adding priority support for transitions in SFC
|
changeset |
files
|
2007-02-27 |
lbessard |
SFC generator improved
|
changeset |
files
|
2007-02-23 |
lbessard |
SFC state machine first approach generator implemented
|
changeset |
files
|
2007-02-20 |
lbessard |
Support for struct Time data Types manipulation into ST and IL added
|
changeset |
files
|
2007-02-14 |
mario |
Adding changes to make the compiler compatible with bison ver 2.3
|
changeset |
files
|
2007-02-12 |
lbessard |
*** empty log message ***
|
changeset |
files
|
2007-02-09 |
mario |
Many major changes to support SFC!
|
changeset |
files
|
2007-02-09 |
tib |
can now generate C programs instead off Cc
|
changeset |
files
|
2007-02-02 |
mario |
Add support for correct syntax of direct variables.
|
changeset |
files
|
2007-02-01 |
lbessard |
generate_iec completed
|
changeset |
files
|
2007-02-01 |
mario |
Fixing bug - BEGIN(sfc_state) -> yy_push_state(sfc_state)
|
changeset |
files
|
2007-02-01 |
mario |
Added some more coments.
|
changeset |
files
|
2007-02-01 |
mario |
Added some comments. Fixed some accesses to potential NULL pointers.
|
changeset |
files
|
2007-02-01 |
mario |
Changing from decl_state directly to sfc_state
|
changeset |
files
|
2007-02-01 |
mario |
Removing 'transition_name' from 'action_time' definition
|
changeset |
files
|
2007-02-01 |
lbessard |
stack overflow problem corrected
|
changeset |
files
|
2007-01-31 |
lbessard |
ST and IL parsing added into flex-bison analyser
|
changeset |
files
|
2007-01-31 |
tib |
Added useful .cvsignore
|
changeset |
files
|
2007-01-31 |
etisserant |
Changes made since Mario visit at LOLITECH. Thanks again !
|
changeset |
files
|
2007-01-31 |
etisserant |
Initial commit. Last MatPLC CVS with some makefile inclusion removed in order to compile fine out of MatPLC.
|
changeset |
files
|