[stack 21/40] Verification tooling foundations - #224

[stack 21/40] Verification tooling foundations#224

sarthakagrawal927 merged 7 commits into

mainCodevetter/codevetter:mainfrom

stack/12b-tooling-core-cleanCodevetter/codevetter:stack/12b-tooling-core-cleanCopy head branch name to clipboard