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.