The latest version of copilot-sbv is 2.2.1-0.
lib:copilot-sbv
Modules
- Copilot.Compile.SBV
- Copilot.Compile.SBV.Code
- Copilot.Compile.SBV.Common
- Copilot.Compile.SBV.Copilot2SBV
- Copilot.Compile.SBV.Driver
- Copilot.Compile.SBV.Makefile
- Copilot.Compile.SBV.MetaTable
- Copilot.Compile.SBV.Params
- Copilot.Compile.SBV.Queue
- Copilot.Compile.SBV.Witness
Dependencies
- base lib:base >=4.3 && <5
- containers lib:containers >=0.4
- copilot-core lib:copilot-core >=0
- filepath lib:filepath >=1.1
- pretty lib:pretty >=1
- sbv lib:sbv >=0.9.21
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- copilot exe:copilot-regression
- copilot-cbmc lib:copilot-cbmc