matiec: File revisions

Mercurial Mercurial > matiec / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

stage3/flow_control_analysis.cc

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
Mon, 27 Feb 2012 11:44:03 +0000	Mario de Sousa	Change prev_il_instruction to a vector<>	file \| diff \| annotate
Thu, 23 Feb 2012 13:25:49 +0000	Mario de Sousa	Finish support for semantic verification of IL paranthesised expressions.	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
Sat, 18 Feb 2012 21:03:01 +0000	Mario de Sousa	Add support for semantic verification for implict FB calls in IL (e.g. PV ton_var)	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

matiec