Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 18:24:39 +0000] rev 475
Fix remaining 'widen' tables.
Mario de Sousa <msousa@fe.up.pt> [Sun, 11 Mar 2012 16:38:05 +0000] rev 474
Fix some 'widen' table entries.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:27:49 +0000] rev 473
Add a TODO comment.
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.
Mario de Sousa <msousa@fe.up.pt> [Sat, 10 Mar 2012 11:21:04 +0000] rev 471
Bringing comment up to date.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 17:58:19 +0000] rev 470
Semantic verification of NOT operator.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:52:23 +0000] rev 469
Fix bug in building structured variables.
Mario de Sousa <msousa@fe.up.pt> [Fri, 09 Mar 2012 10:51:56 +0000] rev 468
Delete unecessary 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.
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.
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.
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Sat, 03 Mar 2012 13:07:00 +0000] rev 462
Fix filling candidate datatypes of JMP operations
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.
Mario de Sousa <msousa@fe.up.pt> [Fri, 02 Mar 2012 17:59:20 +0000] rev 460
Add missing files.
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.
Conti Manuele <conti.ma@alice.it> [Thu, 01 Mar 2012 10:28:27 +0000] rev 458
iAdd warning for deprecated operations.
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:44:03 +0000] rev 457
Change prev_il_instruction to a vector<>
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:28:51 +0000] rev 456
Some small cleanups.
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..
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.
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
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 19:44:40 +0000] rev 452
Start of support for IL expressions (parenthesis).
Mario de Sousa <msousa@fe.up.pt> [Mon, 20 Feb 2012 17:52:01 +0000] rev 451
Cleaning up the code.
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.
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.
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)
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.
Mario de Sousa <msousa@fe.up.pt> [Fri, 17 Feb 2012 19:47:23 +0000] rev 446
Delete some comments.
Conti Manuele <conti.ma@alice.it> [Thu, 16 Feb 2012 14:18:23 +0100] rev 445
Change name help function.
Mario de Sousa <msousa@fe.up.pt> [Thu, 16 Feb 2012 12:59:02 +0000] rev 444
Update comments on general architecture.
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.
Mario de Sousa <msousa@fe.up.pt> [Mon, 13 Feb 2012 17:04:29 +0000] rev 442
Code cleanup.
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.
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.
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!)
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 08 Feb 2012 18:27:45 +0000] rev 436
Delete un-used code.
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.
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
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!)
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')
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.
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.
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!)
Mario de Sousa <msousa@fe.up.pt> [Mon, 06 Feb 2012 14:15:31 +0000] rev 428
Remove debugging messages, and code cleanup.
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.
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.
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.
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
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.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 16:50:12 +0000] rev 422
Delete wrong comment.
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Thu, 02 Feb 2012 10:00:53 +0000] rev 419
Changing code indenting.
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.
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.
Mario de Sousa <msousa@fe.up.pt> [Wed, 01 Feb 2012 13:01:08 +0000] rev 416
Merging with Laurent's repository.
Manuele Conti <conti.ma@alice.it> [Tue, 27 Sep 2011 00:07:16 +0200] rev 415
Fix YYLTYPE declaration.
Mario de Sousa <msousa@fe.up.pt> [Sun, 20 Nov 2011 19:36:48 +0000] rev 414
Merging with Laurent's repository.
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!)
Laurent Bessard [Tue, 14 Aug 2012 19:40:01 +0200] rev 412
Fix bug with InOut variable of structured type