Fri, 29 Jul 2011 16:05:03 +0100Support for semantic verification of calls to standard function calls.
Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:05:03 +0100] rev 351
Support for semantic verification of calls to standard function calls.
Adding missing files in previous commit.

Fri, 29 Jul 2011 16:03:28 +0100Support for semantic verification of calls to standard functions.
Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:03:28 +0100] rev 350
Support for semantic verification of calls to standard functions.
This commit makes a fundamental change in the way standard functions are handled by the compiler.