Sun, 11 Mar 2012 18:24:39 +0000Fix remaining 'widen' tables.
Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 18:24:39 +0000] rev 475
Fix remaining 'widen' tables.

Sun, 11 Mar 2012 16:38:05 +0000Fix some 'widen' table entries.
Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 16:38:05 +0000] rev 474
Fix some 'widen' table entries.

Sat, 10 Mar 2012 11:27:49 +0000Add a TODO comment.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:27:49 +0000] rev 473
Add a TODO comment.

Sat, 10 Mar 2012 11:21:41 +0000Clean up code, and add support for 'safe' version of literals.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:21:41 +0000] rev 472
Clean up code, and add support for 'safe' version of literals.

Sat, 10 Mar 2012 11:21:04 +0000Bringing comment up to date.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:21:04 +0000] rev 471
Bringing comment up to date.

Fri, 09 Mar 2012 17:58:19 +0000Semantic verification of NOT operator.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 17:58:19 +0000] rev 470
Semantic verification of NOT operator.

Fri, 09 Mar 2012 10:52:23 +0000Fix bug in building structured variables.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:52:23 +0000] rev 469
Fix bug in building structured variables.

Fri, 09 Mar 2012 10:51:56 +0000Delete unecessary copy_candidate_datatype_list() function.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:51:56 +0000] rev 468
Delete unecessary copy_candidate_datatype_list() function.

Thu, 08 Mar 2012 19:14:45 +0000Delete no longer needed copy_candidate_datatype_list() function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 19:14:45 +0000] rev 467
Delete no longer needed copy_candidate_datatype_list() function.

Thu, 08 Mar 2012 18:57:55 +0000Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 18:57:55 +0000] rev 466
Narrow IL lists twice, in order to handle JMP to labels before the JMP itself.

Thu, 08 Mar 2012 18:57:14 +0000Do not allow duplicate values in candidate datatype list.
Mario de Sousa <msousa@fe.up.pt> [Thu, 08 Mar 2012 18:57:14 +0000] rev 465
Do not allow duplicate values in candidate datatype list.

Sat, 03 Mar 2012 20:42:48 +0000Handle JMP to labels preceding the JMP instruction itself.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 20:42:48 +0000] rev 464
Handle JMP to labels preceding the JMP instruction itself.

Sat, 03 Mar 2012 20:27:20 +0000Correctly handle JMP and RET IL operators in flow control analysis.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 20:27:20 +0000] rev 463
Correctly handle JMP and RET IL operators in flow control analysis.

Sat, 03 Mar 2012 13:07:00 +0000Fix filling candidate datatypes of JMP operations
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 13:07:00 +0000] rev 462
Fix filling candidate datatypes of JMP operations

Sat, 03 Mar 2012 08:51:28 +0000Remove spurious printf()s, used during debugging session.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 08:51:28 +0000] rev 461
Remove spurious printf()s, used during debugging session.

Fri, 02 Mar 2012 17:59:20 +0000Add missing files.
Mario de Sousa <msousa@fe.up.pt> [Fri, 02 Mar 2012 17:59:20 +0000] rev 460
Add missing files.

Fri, 02 Mar 2012 12:53:41 +0000Continue adding support for semantic verification of JMP and RET.
Mario de Sousa <msousa@fe.up.pt> [Fri, 02 Mar 2012 12:53:41 +0000] rev 459
Continue adding support for semantic verification of JMP and RET.

Thu, 01 Mar 2012 10:28:27 +0000iAdd warning for deprecated operations.
Conti Manuele <conti.ma@alice.it> [Thu, 01 Mar 2012 10:28:27 +0000] rev 458
iAdd warning for deprecated operations.

Mon, 27 Feb 2012 11:44:03 +0000Change prev_il_instruction to a vector<>
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:44:03 +0000] rev 457
Change prev_il_instruction to a vector<>

Mon, 27 Feb 2012 11:28:51 +0000Some small cleanups.
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:28:51 +0000] rev 456
Some small cleanups.

Sat, 25 Feb 2012 19:16:35 +0000Add support for semantic verification of CALC, CALCN, etc..
Mario de Sousa <msousa@fe.up.pt> [Sat, 25 Feb 2012 19:16:35 +0000] rev 455
Add support for semantic verification of CALC, CALCN, etc..

Thu, 23 Feb 2012 13:25:49 +0000Finish support for semantic verification of IL paranthesised expressions.
Mario de Sousa <msousa@fe.up.pt> [Thu, 23 Feb 2012 13:25:49 +0000] rev 454
Finish support for semantic verification of IL paranthesised expressions.

Tue, 21 Feb 2012 17:39:57 +0000More changes for support of semantic verification of il_expressions
Mario de Sousa <msousa@fe.up.pt> [Tue, 21 Feb 2012 17:39:57 +0000] rev 453
More changes for support of semantic verification of il_expressions

Mon, 20 Feb 2012 19:44:40 +0000Start of support for IL expressions (parenthesis).
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 19:44:40 +0000] rev 452
Start of support for IL expressions (parenthesis).

Mon, 20 Feb 2012 17:52:01 +0000Cleaning up the code.
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 17:52:01 +0000] rev 451
Cleaning up the code.

Mon, 20 Feb 2012 15:24:26 +0000Fix a few more bugs related to FB/function calls in IL.
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 15:24:26 +0000] rev 450
Fix a few more bugs related to FB/function calls in IL.

Sun, 19 Feb 2012 16:16:45 +0000Semantic verification: Add compatibility check for parameter direction in function invocation.
Mario de Sousa <msousa@fe.up.pt> [Sun, 19 Feb 2012 16:16:45 +0000] rev 449
Semantic verification: Add compatibility check for parameter direction in function invocation.

Sat, 18 Feb 2012 21:03:01 +0000Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)
Mario de Sousa <msousa@fe.up.pt> [Sat, 18 Feb 2012 21:03:01 +0000] rev 448
Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)

Fri, 17 Feb 2012 19:47:58 +0000Start of support for semantic verification of FB calls in IL using special IL instructions.
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Feb 2012 19:47:58 +0000] rev 447
Start of support for semantic verification of FB calls in IL using special IL instructions.

Fri, 17 Feb 2012 19:47:23 +0000Delete some comments.
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Feb 2012 19:47:23 +0000] rev 446
Delete some comments.

Thu, 16 Feb 2012 14:18:23 +0100Change name help function.
Conti Manuele <conti.ma@alice.it> [Thu, 16 Feb 2012 14:18:23 +0100] rev 445
Change name help function.

Thu, 16 Feb 2012 12:59:02 +0000Update comments on general architecture.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Feb 2012 12:59:02 +0000] rev 444
Update comments on general architecture.

Thu, 16 Feb 2012 10:27:52 +0000Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Feb 2012 10:27:52 +0000] rev 443
Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code.

Mon, 13 Feb 2012 17:04:29 +0000Code cleanup.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 17:04:29 +0000] rev 442
Code cleanup.

Mon, 13 Feb 2012 16:29:55 +0000Add printing of semantic errors when calling FB from IL.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 16:29:55 +0000] rev 441
Add printing of semantic errors when calling FB from IL.

Sun, 12 Feb 2012 20:43:49 +0100Fix typo error in some il visit in fill_candidate_datatypes_c class.
Manuele Conti <conti.ma@alice.it> [Sun, 12 Feb 2012 20:43:49 +0100] rev 440
Fix typo error in some il visit in fill_candidate_datatypes_c class.

Mon, 13 Feb 2012 13:45:57 +0000Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!)
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 13:45:57 +0000] rev 439
Add semantic verification of FB calls in IL (not yet complete - missing printing of errors!)

Fri, 10 Feb 2012 19:04:31 +0000Add support for semantic verification of function calls in IL.
Mario de Sousa <msousa@fe.up.pt> [Fri, 10 Feb 2012 19:04:31 +0000] rev 438
Add support for semantic verification of function calls in IL.

Wed, 08 Feb 2012 18:33:01 +0000Add TODO comment, and delete unused debugging code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:33:01 +0000] rev 437
Add TODO comment, and delete unused debugging code.

Wed, 08 Feb 2012 18:27:45 +0000Delete un-used code.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:27:45 +0000] rev 436
Delete un-used code.

Wed, 08 Feb 2012 18:16:13 +0000Change negation expression (neg_expression_c) to only allow signed data types.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:16:13 +0000] rev 435
Change negation expression (neg_expression_c) to only allow signed data types.

Tue, 07 Feb 2012 17:45:17 +0000Move elementary_c::to_string() to datatype_functions.cc/hh
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 17:45:17 +0000] rev 434
Move elementary_c::to_string() to datatype_functions.cc/hh

Tue, 07 Feb 2012 17:40:19 +0000Add, to types symbol table, string datatypes with limited length (my_string_type: STRING[33]) (Thanks Andreas!)
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 17:40:19 +0000] rev 433
Add, to types symbol table, string datatypes with limited length (my_string_type: STRING[33]) (Thanks Andreas!)

Tue, 07 Feb 2012 12:17:00 +0000Correctly return the initial value of a string datatype, with limited length (STRING[33] := 'hello')
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 12:17:00 +0000] rev 432
Correctly return the initial value of a string datatype, with limited length (STRING[33] := 'hello')

Tue, 07 Feb 2012 11:55:29 +0000More detailed error messages for FB invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Tue, 07 Feb 2012 11:55:29 +0000] rev 431
More detailed error messages for FB invocations in ST.

Mon, 06 Feb 2012 18:32:11 +0000More detailed error messages in function invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 18:32:11 +0000] rev 430
More detailed error messages in function invocations in ST.

Mon, 06 Feb 2012 14:21:08 +0000Fix bug in analysing real literals (thanks Andreas!)
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:21:08 +0000] rev 429
Fix bug in analysing real literals (thanks Andreas!)

Mon, 06 Feb 2012 14:15:31 +0000Remove debugging messages, and code cleanup.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:15:31 +0000] rev 428
Remove debugging messages, and code cleanup.

Mon, 06 Feb 2012 14:10:22 +0000Better error reporting in function invocations, and in invalid literal values.
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:10:22 +0000] rev 427
Better error reporting in function invocations, and in invalid literal values.

Sun, 05 Feb 2012 19:09:12 +0000Better identification of erros in function/FB invocations.
Mario de Sousa <msousa@fe.up.pt> [Sun, 05 Feb 2012 19:09:12 +0000] rev 426
Better identification of erros in function/FB invocations.

Fri, 03 Feb 2012 18:16:20 +0000Print error messages when datatype erros found in ST function/FB calls.
Mario de Sousa <msousa@fe.up.pt> [Fri, 03 Feb 2012 18:16:20 +0000] rev 425
Print error messages when datatype erros found in ST function/FB calls.

Fri, 03 Feb 2012 14:43:14 +0000Continue checking data type compatibility inside expressions used to pass paramters to invalid function/FB calls
Mario de Sousa <msousa@fe.up.pt> [Fri, 03 Feb 2012 14:43:14 +0000] rev 424
Continue checking data type compatibility inside expressions used to pass paramters to invalid function/FB calls

Fri, 03 Feb 2012 10:54:35 +0000Adding support for semantic verification of FB calls in ST.
Mario de Sousa <msousa@fe.up.pt> [Fri, 03 Feb 2012 10:54:35 +0000] rev 423
Adding support for semantic verification of FB calls in ST.

Thu, 02 Feb 2012 16:50:12 +0000Delete wrong comment.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 16:50:12 +0000] rev 422
Delete wrong comment.

Thu, 02 Feb 2012 16:20:19 +0000Add support in stage 3 for checking function invocations in ST.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 16:20:19 +0000] rev 421
Add support in stage 3 for checking function invocations in ST.

Thu, 02 Feb 2012 14:18:02 +0000Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 14:18:02 +0000] rev 420
Fix search_varfb_instance_decl to be able to find variables and FB when only given an identifier.
Fix handling of FB calls in stage3.
Start handling of function invocations in stage3.

Thu, 02 Feb 2012 10:00:53 +0000Changing code indenting.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 10:00:53 +0000] rev 419
Changing code indenting.

Wed, 01 Feb 2012 22:40:54 +0100Add fill candidate method for fb_invocation_c symbol.
Manuele Conti <conti.ma@alice.it> [Wed, 01 Feb 2012 22:40:54 +0100] rev 418
Add fill candidate method for fb_invocation_c symbol.

Wed, 01 Feb 2012 19:49:11 +0000Re-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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Feb 2012 19:49:11 +0000] rev 417
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.

Wed, 01 Feb 2012 13:01:08 +0000Merging with Laurent's repository.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Feb 2012 13:01:08 +0000] rev 416
Merging with Laurent's repository.

Tue, 27 Sep 2011 00:07:16 +0200Fix YYLTYPE declaration.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Sep 2011 00:07:16 +0200] rev 415
Fix YYLTYPE declaration.

Sun, 20 Nov 2011 19:36:48 +0000Merging with Laurent's repository.
Mario de Sousa <msousa@fe.up.pt> [Sun, 20 Nov 2011 19:36:48 +0000] rev 414
Merging with Laurent's repository.

Fri, 04 Nov 2011 19:16:29 +0000Add list of things we must check for in stage 3 (TODO list!)
Mario de Sousa <msousa@fe.up.pt> [Fri, 04 Nov 2011 19:16:29 +0000] rev 413
Add list of things we must check for in stage 3 (TODO list!)

Tue, 14 Aug 2012 19:40:01 +0200Fix bug with InOut variable of structured type
Laurent Bessard [Tue, 14 Aug 2012 19:40:01 +0200] rev 412
Fix bug with InOut variable of structured type