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.