Fri, 03 Feb 2012 10:54:35 +0000 Mario de Sousa Adding support for semantic verification of FB calls in ST.
Thu, 02 Feb 2012 16:50:12 +0000 Mario de Sousa Delete wrong comment.
Thu, 02 Feb 2012 16:20:19 +0000 Mario de Sousa Add support in stage 3 for checking function invocations in ST.