The latest version of copilot-c99 is 4.0-0.
lib:copilot-c99
Modules
- Copilot.Compile.C99
- Copilot.Compile.C99.CodeGen
- Copilot.Compile.C99.Compile
- Copilot.Compile.C99.External
- Copilot.Compile.C99.Translate
- Copilot.Compile.C99.Util
Dependencies
- base lib:base >=4.9 && <5
- containers lib:containers >=0.4 && <0.7
- copilot-core lib:copilot-core >=3.4 && <3.5
- directory lib:directory >=1.3 && <1.4
- filepath lib:filepath >=1.4 && <1.5
- language-c99 lib:language-c99 >=0.1.1 && <0.2
- language-c99-simple lib:language-c99-simple >=0.1.1 && <0.2
- language-c99-util lib:language-c99-util >=0.1.1 && <0.2
- mtl lib:mtl >=2.2 && <2.3
- 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