Construct KCFGs for Foundry proof obligations - #1372

Construct KCFGs for Foundry proof obligations#1372

rv-jenkins merged 16 commits into

masterruntimeverification/evm-semantics:masterfrom

foundry-cfgsruntimeverification/evm-semantics:foundry-cfgsCopy head branch name to clipboard