Add loopinv tool that supports C to imp conversion for LFP-based loop invariant computation#1

flyingapricot wants to merge 1 commit into

hipsleek:masterhipsleek/fixcalc:masterfrom

flyingapricot:feature/loopinvflyingapricot/fixcalc:feature/loopinvCopy head branch name to clipboard