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)