copilot-verifier: Include in mainline copilot repo. Refs #622. - #628

copilot-verifier: Include in mainline copilot repo. Refs #622.#628

ivanperez-keera merged 4 commits into

Copilot-Language:masterCopilot-Language/copilot:masterfrom

GaloisInc:develop-copilot-verifier-upstreamGaloisInc/copilot-1:develop-copilot-verifier-upstreamCopy head branch name to clipboard