Loop abstraction [depends-on: #2707]#2871

Closed

zhixing-xu wants to merge 2 commits intodiffblue:developfrom

zhixing-xu:loop_abstract

Commits on Feb 25, 2019

Refine data dependency across function calls

zhixing-xu
authored and
tautschnig
committed
Loop shrinking

zhixing-xu
authored and
tautschnig
committed