The latest version of copilot-c99 is 4.0-0.
lib:copilot-c99
Modules
Dependencies
- base lib:base >=4.9 && <5
- copilot-core lib:copilot-core >=3.11 && <3.12
- directory lib:directory >=1.3 && <1.4
- filepath lib:filepath >=1.4 && <1.5
- language-c99 lib:language-c99 >=0.2.0 && <0.3
- language-c99-simple lib:language-c99-simple >=0.2.2 && <0.3
- mtl lib:mtl >=2.2 && <2.4
- pretty lib:pretty >=1.1 && <1.2
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- copilot exe:copilot-regression
- copilot exe:heater
- copilot lib:copilot
- copilot-cbmc lib:copilot-cbmc