stage3/fill_candidate_datatypes.cc
Tue, 13 Nov 2012 18:03:17 +0000 Mario de Sousa Change the base datatype of enumerations to an enumerated_type_declaration_c (for named types!)
Fri, 09 Nov 2012 14:34:36 +0000 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)
Thu, 08 Nov 2012 17:31:29 +0000 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)
Thu, 08 Nov 2012 12:49:03 +0000 Mario de Sousa Move the enumerated_value_symtable to fill_candidate_datatypes_c, since it is only used there!
Wed, 07 Nov 2012 20:07:11 +0000 Mario de Sousa Make search_base_type_c a singleton!
Wed, 07 Nov 2012 19:26:38 +0000 Mario de Sousa Start datatype checking of variable declarations (for now, only seting symbol.datatype of enumerations)
Wed, 07 Nov 2012 10:03:54 +0000 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).
Fri, 26 Oct 2012 10:11:28 +0100 Mario de Sousa Prepare to delete search_constant_type_c -> Move the static variables from search_constant_type_c to get_datatype_info_c
Thu, 25 Oct 2012 18:20:28 +0100 Mario de Sousa Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis.
Sat, 13 Oct 2012 12:13:49 +0100 Mario de Sousa Move is_datatype_valid/equal() to get_datatype_info_c
Thu, 04 Oct 2012 14:30:51 +0100 Mario de Sousa Add new get_datatype_info_c (preparing to remove search_expression_type_c)
Wed, 26 Sep 2012 20:12:39 +0200 Manuele Conti Minor changes needed to build with pedantic flag.
Fri, 31 Aug 2012 15:09:25 +0100 Mario de Sousa Start adding support for data type checking of enums.
Fri, 31 Aug 2012 10:11:19 +0100 Mario de Sousa Remove comment no longer valid since introduction of constant folding.
Thu, 30 Aug 2012 16:44:29 +0100 Mario de Sousa Add some comments.
Wed, 29 Aug 2012 19:38:15 +0100 Mario de Sousa Fix constant folding: now handles INT_MIN and neg_integer_c correctly.
Fri, 20 Jul 2012 15:50:49 +0100 Mario de Sousa Constant folding for IL.
Thu, 19 Jul 2012 11:05:41 +0100 Mario de Sousa fix bug: remove REAL from candidate datatypes when real constant has overflowed.
Wed, 18 Jul 2012 23:44:42 +0100 Mario de Sousa signed integer limits do not affect ANY_INT constant values.
Wed, 18 Jul 2012 22:34:51 +0100 Mario de Sousa cleaning up code. Changing HUGE_VAL to INFINITY.
Wed, 18 Jul 2012 17:04:34 +0100 Mario de Sousa Clean up the code a little.
Wed, 18 Jul 2012 16:56:36 +0100 Mario de Sousa Fixing includes to define INTxx_MAX etc...
Sat, 14 Jul 2012 11:09:26 +0200 Manuele Conti Add remove_from_candidate_datatype_list method using constant_folding results.
Tue, 15 May 2012 15:50:43 +0100 mjsousa Located variables may have other data types besides ANY_BIT.
Thu, 10 May 2012 16:09:50 +0100 mjsousa Add high level comments.
Fri, 27 Apr 2012 13:40:36 +0100 Mario de Sousa Add TODO list!
Wed, 18 Apr 2012 15:44:00 +0100 Mario de Sousa Remove potential access to NULL pointer.
Sat, 07 Apr 2012 16:14:17 +0100 Mario de Sousa Start data type checking of var declarations (including direct variables!)
Thu, 15 Mar 2012 13:18:02 +0000 Mario de Sousa Add EXPT widen table.
Thu, 15 Mar 2012 12:50:44 +0000 Mario de Sousa Some stupid code cleanups.
Thu, 15 Mar 2012 12:31:57 +0000 Mario de Sousa Some code cleanups.
Wed, 14 Mar 2012 20:01:50 +0000 Mario de Sousa Clean up the code.
Wed, 14 Mar 2012 11:14:41 +0000 Mario de Sousa Clean code for comparison operations & operators.
Wed, 14 Mar 2012 10:51:49 +0000 Mario de Sousa Cleaning up XORN, ANDN, and ORN operator code.
Wed, 14 Mar 2012 10:26:03 +0000 Mario de Sousa Add 'widen' tables for AND, OR and XOR operations.
Tue, 13 Mar 2012 19:04:07 +0000 Mario de Sousa Add MOD widening table, and some code clean-ups.
Tue, 13 Mar 2012 18:29:34 +0000 Mario de Sousa Re-organizing the code.
Tue, 13 Mar 2012 16:38:21 +0000 Mario de Sousa Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c.
Sun, 11 Mar 2012 22:21:47 +0100 Manuele Conti Add check widening status for IL operator.
Sat, 10 Mar 2012 11:27:49 +0000 Mario de Sousa Add a TODO comment.
Sat, 10 Mar 2012 11:21:41 +0000 Mario de Sousa Clean up code, and add support for 'safe' version of literals.
Fri, 09 Mar 2012 17:58:19 +0000 Mario de Sousa Semantic verification of NOT operator.
Thu, 08 Mar 2012 19:14:45 +0000 Mario de Sousa Delete no longer needed copy_candidate_datatype_list() function.
Thu, 08 Mar 2012 18:57:14 +0000 Mario de Sousa Do not allow duplicate values in candidate datatype list.
Sat, 03 Mar 2012 20:42:48 +0000 Mario de Sousa Handle JMP to labels preceding the JMP instruction itself.
Sat, 03 Mar 2012 13:07:00 +0000 Mario de Sousa Fix filling candidate datatypes of JMP operations
Fri, 02 Mar 2012 12:53:41 +0000 Mario de Sousa Continue adding support for semantic verification of JMP and RET.
Mon, 27 Feb 2012 11:44:03 +0000 Mario de Sousa Change prev_il_instruction to a vector<>
Mon, 27 Feb 2012 11:28:51 +0000 Mario de Sousa Some small cleanups.
Sat, 25 Feb 2012 19:16:35 +0000 Mario de Sousa Add support for semantic verification of CALC, CALCN, etc..
Thu, 23 Feb 2012 13:25:49 +0000 Mario de Sousa Finish support for semantic verification of IL paranthesised expressions.
Tue, 21 Feb 2012 17:39:57 +0000 Mario de Sousa More changes for support of semantic verification of il_expressions
Mon, 20 Feb 2012 19:44:40 +0000 Mario de Sousa Start of support for IL expressions (parenthesis).
Mon, 20 Feb 2012 17:52:01 +0000 Mario de Sousa Cleaning up the code.
Mon, 20 Feb 2012 15:24:26 +0000 Mario de Sousa Fix a few more bugs related to FB/function calls in IL.
Sun, 19 Feb 2012 16:16:45 +0000 Mario de Sousa Semantic verification: Add compatibility check for parameter direction in function invocation.
Sat, 18 Feb 2012 21:03:01 +0000 Mario de Sousa Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
Fri, 17 Feb 2012 19:47:58 +0000 Mario de Sousa Start of support for semantic verification of FB calls in IL using special IL instructions.
Thu, 16 Feb 2012 14:18:23 +0100 Conti Manuele Change name help function.
Thu, 16 Feb 2012 10:27:52 +0000 Mario de Sousa Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.