The latest version of copilot-c99 is 4.0-0.
lib:copilot-c99
Modules
- Copilot.Compile.C99
- Copilot.Compile.C99.C2A
- Copilot.Compile.C99.Common
- Copilot.Compile.C99.MetaTable
- Copilot.Compile.C99.Params
- Copilot.Compile.C99.Phases
- Copilot.Compile.C99.PrePostCode
- Copilot.Compile.C99.Queue
- Copilot.Compile.C99.Test.CheckSpec
- Copilot.Compile.C99.Test.Driver
- Copilot.Compile.C99.Test.Iteration
- Copilot.Compile.C99.Test.ReadCSV
- Copilot.Compile.C99.Witness
Dependencies
- QuickCheck lib:QuickCheck >=2.4
- atom lib:atom >=1.0.9
- base lib:base >=4.3 && <5
- bytestring lib:bytestring >=0
- bytestring-csv lib:bytestring-csv >=0
- containers lib:containers >=0.4
- copilot-core lib:copilot-core >=0
- directory lib:directory >=1.1
- pretty lib:pretty >=1.0
- process lib:process >=1.0
- random lib:random >=1.0
- text lib:text >=0.6
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- copilot exe:copilot-regression
- copilot exe:heater
- copilot-cbmc lib:copilot-cbmc