log

age author description
Fri, 27 Feb 2015 17:11:47 +0100 Thomas Wuerthinger Fix EdgesTest after recent changes to the Edges class.
Fri, 27 Feb 2015 16:36:38 +0100 Thomas Wuerthinger Merge.
Fri, 27 Feb 2015 16:35:54 +0100 Thomas Wuerthinger Ignore simpleLoopTest for now.
Fri, 27 Feb 2015 16:26:54 +0100 Thomas Wuerthinger Add bytecode interpreter partial evaluation test with loop.
Fri, 27 Feb 2015 16:01:12 +0100 Thomas Wuerthinger Support for creating merges during partial evaluation of bytecode interpreters.
Fri, 27 Feb 2015 14:06:36 +0100 Thomas Wuerthinger Add merge boolean property to ExplodeLoop annotation to indicate that backward branches should be merged if possible.
Fri, 27 Feb 2015 14:02:15 +0100 Thomas Wuerthinger Add test timeout for long if cascade test.