Verifier cross-module honesty: right registry, right source, right binder, loud generics (#1220, #1225, #1226, #1236) - #1239

Verifier cross-module honesty: right registry, right source, right binder, loud generics (#1220, #1225, #1226, #1236)#1239

aallan merged 10 commits into

release/v0.1.10aallan/vera:release/v0.1.10from

fix/1220-1225-1226-verifier-xmodaallan/vera:fix/1220-1225-1226-verifier-xmodCopy head branch name to clipboard