copilot-sbv-2.1.2: A compiler for CoPilot targeting SBV.

Safe HaskellNone
LanguageHaskell2010

Copilot.Compile.SBV

Synopsis

Documentation

compileWithSBV :: Params -> [(String, SBVCodeGen ())] -> Spec -> IO () Source

sbvs are optional additional SBVCodeGens to generate.