lib:copilot-sbv

Modules

• Copilot.Compile.SBV
• Copilot.Compile.SBV.ACSLexpr
• Copilot.Compile.SBV.ACSLproof
• 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.Transform
• Copilot.Compile.SBV.Witness

Dependencies

• base lib:base >=4.0 && <5
• containers lib:containers >=0.4
• copilot-core lib:copilot-core ==2.2.1
• directory lib:directory >=1.2.1
• filepath lib:filepath >=1.1
• pretty lib:pretty >=1
• sbv lib:sbv >=5.0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• copilot exe:copilot-regression
• copilot lib:copilot
• copilot-cbmc lib:copilot-cbmc