| Sat, 06 Oct 2012 22:29:04 +0100 | Mario de Sousa | Use doubly linked connections for flow control graph (will be used later). | file | diff | annotate |
| Sat, 03 Mar 2012 20:27:20 +0000 | Mario de Sousa | Correctly handle JMP and RET IL operators in flow control analysis. | file | diff | annotate |
| Fri, 02 Mar 2012 12:53:41 +0000 | Mario de Sousa | Continue adding support for semantic verification of JMP and RET. | file | diff | annotate |
| Tue, 21 Feb 2012 17:39:57 +0000 | Mario de Sousa | More changes for support of semantic verification of il_expressions | file | diff | annotate |
| Mon, 20 Feb 2012 19:44:40 +0000 | Mario de Sousa | Start of support for IL expressions (parenthesis). | file | diff | annotate |
| Thu, 16 Feb 2012 10:27:52 +0000 | Mario de Sousa | Narrow IL code backwords, so as to correctly handle invocations to overloaded functions from IL code. | file | diff | annotate |