- Handle JMP to labels preceding the JMP instruction itself. 2012-03-03, by Mario de Sousa
- Correctly handle JMP and RET IL operators in flow control analysis. 2012-03-03, by Mario de Sousa
- Fix filling candidate datatypes of JMP operations 2012-03-03, by Mario de Sousa
- Remove spurious printf()s, used during debugging session. 2012-03-03, by Mario de Sousa
- Add missing files. 2012-03-02, by Mario de Sousa
- Continue adding support for semantic verification of JMP and RET. 2012-03-02, by Mario de Sousa
- iAdd warning for deprecated operations. 2012-03-01, by Conti Manuele
- Change prev_il_instruction to a vector<> 2012-02-27, by Mario de Sousa
- Some small cleanups. 2012-02-27, by Mario de Sousa
- Add support for semantic verification of CALC, CALCN, etc.. 2012-02-25, by Mario de Sousa
- Finish support for semantic verification of IL paranthesised expressions. 2012-02-23, by Mario de Sousa
- More changes for support of semantic verification of il_expressions 2012-02-21, by Mario de Sousa
- Start of support for IL expressions (parenthesis). 2012-02-20, by Mario de Sousa
- Cleaning up the code. 2012-02-20, by Mario de Sousa
- Fix a few more bugs related to FB/function calls in IL. 2012-02-20, by Mario de Sousa