copilot-core 3.13

8 Reverse deps Accepted versions
copilot ==3.13.*
copilot-c99 >=3.13 && <3.14
copilot-cbmc >=2.2.1
copilot-interpreter ==3.13.*
copilot-language ==3.13.*
copilot-prettyprinter >=3.13 && <3.14
copilot-sbv ==2.2.1
copilot-theorem >=3.13 && <3.14