Fri, 02 Mar 2012 12:53:41 +0000 Mario de Sousa Continue adding support for semantic verification of JMP and RET.
Thu, 01 Mar 2012 10:28:27 +0000 Conti Manuele iAdd warning for deprecated operations.