copilot-core 4.5

11 Reverse deps Accepted versions
copilot >=4.5 && <4.6
copilot-bluespec >=4.5 && <4.6
copilot-c99 >=4.5 && <4.6
copilot-cbmc >=2.2.1
copilot-interpreter >=4.5 && <4.6
copilot-language >=4.5 && <4.6
copilot-prettyprinter >=4.5 && <4.6
copilot-sbv ==2.2.1
copilot-theorem >=4.5 && <4.6
copilot-verifier >=4.5 && <4.6
copilot-visualizer >=4.5 && <4.6