Mercurial Mercurial > matiec / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -60 tip
stage3/fill_candidate_datatypes.cc
Sun, 22 Dec 2013 09:50:02 +0000 Mario de Sousa Code cleanup: move datatype analysis to get_datatype_info_c file | diff | annotate
Wed, 21 Aug 2013 21:14:50 +0100 mjsousa Fix datatype analyses of S and R IL operators. file | diff | annotate
Tue, 20 Aug 2013 11:15:40 +0100 mjsousa Add support for FB call semantics of 'S' and 'R' IL operators! file | diff | annotate
Wed, 07 Aug 2013 10:18:29 +0100 mjsousa Fix datatype analysis of structured variables that contain arrays in their fields (e.g. var.x1[var2 + 42].y1). file | diff | annotate
Thu, 04 Apr 2013 09:45:11 +0900 Edouard Tisserant Merged Mario's changes file | diff | annotate
Wed, 13 Feb 2013 18:56:25 +0000 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. file | diff | annotate
Wed, 23 Jan 2013 14:53:14 +0000 Mario de Sousa Consider fb_name_decl_c a non base data type class! file | diff | annotate
Wed, 23 Jan 2013 14:30:03 +0000 Mario de Sousa Fill symbol->datatype anotation for FB declarations. file | diff | annotate
Wed, 23 Jan 2013 13:46:11 +0000 Mario de Sousa Fill in the symbol.datatype annotation in symbol classes used in derived data type declarations. file | diff | annotate
Mon, 11 Mar 2013 12:49:33 +0100 Laurent Bessard Fixed bug with SFC transition datatype checking file | diff | annotate
Wed, 28 Nov 2012 22:51:24 +0100 Manuele Conti Fix struct generic_function_call_t initialize style. file | diff | annotate
Thu, 22 Nov 2012 18:53:37 +0000 Mario de Sousa Start to move enumeration declaration checking to its own class. file | diff | annotate
Sun, 18 Nov 2012 12:54:48 +0100 Manuele Conti Fix some important clang++ warnings. file | diff | annotate
Thu, 15 Nov 2012 12:57:04 +0000 Mario de Sousa Do datatype verification of fully qualified enumerated values (e.g. ENUMTYPE#enumconst) file | diff | annotate
Wed, 14 Nov 2012 18:39:02 +0000 Mario de Sousa Add datatype checking of enumeration data type declarations. file | diff | annotate
Wed, 14 Nov 2012 15:18:14 +0000 Mario de Sousa Fix bug in datatype checking of enumerated datatypes delcarations. file | diff | annotate
Wed, 14 Nov 2012 14:03:57 +0000 Mario de Sousa Fix datatype checking of enumerated datatype declarations. We now follow the fill->narrow algorithm correctly. file | diff | annotate
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!) file | diff | annotate
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) file | diff | annotate
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) file | diff | annotate
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! file | diff | annotate
Wed, 07 Nov 2012 20:07:11 +0000 Mario de Sousa Make search_base_type_c a singleton! file | diff | annotate
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) file | diff | annotate
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). file | diff | annotate
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 file | diff | annotate
Thu, 25 Oct 2012 18:20:28 +0100 Mario de Sousa Correctly generate C code for IL expressions, i.e. IL instructions inside parenthesis. file | diff | annotate
Sat, 13 Oct 2012 12:13:49 +0100 Mario de Sousa Move is_datatype_valid/equal() to get_datatype_info_c file | diff | annotate
Thu, 04 Oct 2012 14:30:51 +0100 Mario de Sousa Add new get_datatype_info_c (preparing to remove search_expression_type_c) file | diff | annotate
Wed, 26 Sep 2012 20:12:39 +0200 Manuele Conti Minor changes needed to build with pedantic flag. file | diff | annotate
Fri, 31 Aug 2012 15:09:25 +0100 Mario de Sousa Start adding support for data type checking of enums. file | diff | annotate
Fri, 31 Aug 2012 10:11:19 +0100 Mario de Sousa Remove comment no longer valid since introduction of constant folding. file | diff | annotate
Thu, 30 Aug 2012 16:44:29 +0100 Mario de Sousa Add some comments. file | diff | annotate
Wed, 29 Aug 2012 19:38:15 +0100 Mario de Sousa Fix constant folding: now handles INT_MIN and neg_integer_c correctly. file | diff | annotate
Fri, 20 Jul 2012 15:50:49 +0100 Mario de Sousa Constant folding for IL. file | diff | annotate
Thu, 19 Jul 2012 11:05:41 +0100 Mario de Sousa fix bug: remove REAL from candidate datatypes when real constant has overflowed. file | diff | annotate
Wed, 18 Jul 2012 23:44:42 +0100 Mario de Sousa signed integer limits do not affect ANY_INT constant values. file | diff | annotate
Wed, 18 Jul 2012 22:34:51 +0100 Mario de Sousa cleaning up code. Changing HUGE_VAL to INFINITY. file | diff | annotate
Wed, 18 Jul 2012 17:04:34 +0100 Mario de Sousa Clean up the code a little. file | diff | annotate
Wed, 18 Jul 2012 16:56:36 +0100 Mario de Sousa Fixing includes to define INTxx_MAX etc... file | diff | annotate
Sat, 14 Jul 2012 11:09:26 +0200 Manuele Conti Add remove_from_candidate_datatype_list method using constant_folding results. file | diff | annotate
Tue, 15 May 2012 15:50:43 +0100 mjsousa Located variables may have other data types besides ANY_BIT. file | diff | annotate
Thu, 10 May 2012 16:09:50 +0100 mjsousa Add high level comments. file | diff | annotate
Fri, 27 Apr 2012 13:40:36 +0100 Mario de Sousa Add TODO list! file | diff | annotate
Wed, 18 Apr 2012 15:44:00 +0100 Mario de Sousa Remove potential access to NULL pointer. file | diff | annotate
Sat, 07 Apr 2012 16:14:17 +0100 Mario de Sousa Start data type checking of var declarations (including direct variables!) file | diff | annotate
Thu, 15 Mar 2012 13:18:02 +0000 Mario de Sousa Add EXPT widen table. file | diff | annotate
Thu, 15 Mar 2012 12:50:44 +0000 Mario de Sousa Some stupid code cleanups. file | diff | annotate
Thu, 15 Mar 2012 12:31:57 +0000 Mario de Sousa Some code cleanups. file | diff | annotate
Wed, 14 Mar 2012 20:01:50 +0000 Mario de Sousa Clean up the code. file | diff | annotate
Wed, 14 Mar 2012 11:14:41 +0000 Mario de Sousa Clean code for comparison operations & operators. file | diff | annotate
Wed, 14 Mar 2012 10:51:49 +0000 Mario de Sousa Cleaning up XORN, ANDN, and ORN operator code. file | diff | annotate
Wed, 14 Mar 2012 10:26:03 +0000 Mario de Sousa Add 'widen' tables for AND, OR and XOR operations. file | diff | annotate
Tue, 13 Mar 2012 19:04:07 +0000 Mario de Sousa Add MOD widening table, and some code clean-ups. file | diff | annotate
Tue, 13 Mar 2012 18:29:34 +0000 Mario de Sousa Re-organizing the code. file | diff | annotate
Tue, 13 Mar 2012 16:38:21 +0000 Mario de Sousa Change setting of deprecated_operation from fill to narrow_candidate_datatypes_c. file | diff | annotate
Sun, 11 Mar 2012 22:21:47 +0100 Manuele Conti Add check widening status for IL operator. file | diff | annotate
Sat, 10 Mar 2012 11:27:49 +0000 Mario de Sousa Add a TODO comment. file | diff | annotate
Sat, 10 Mar 2012 11:21:41 +0000 Mario de Sousa Clean up code, and add support for 'safe' version of literals. file | diff | annotate
Fri, 09 Mar 2012 17:58:19 +0000 Mario de Sousa Semantic verification of NOT operator. file | diff | annotate
Thu, 08 Mar 2012 19:14:45 +0000 Mario de Sousa Delete no longer needed copy_candidate_datatype_list() function. file | diff | annotate
(0) -60 tip
matiec