[circt-bmc] Add verif.contract support#9800

robert-at-pretension-io wants to merge 1 commit intollvm:mainllvm/circt:mainfrom

robert-at-pretension-io:circt-bmc-contract-supportrobert-at-pretension-io/circt:circt-bmc-contract-supportCopy head branch name to clipboard