Data.SBV.Tools.CodeGen

Code generation from symbolic programs

data SBVCodeGen a

Setting code-generation options

cgPerformRTCs

cgSetDriverValues

cgGenerateDriver

cgGenerateMakefile

Designating inputs

cgInput

cgInputArr

Designating outputs

cgOutput

cgOutputArr

Designating return values

cgReturn

cgReturnArr

Code generation with uninterpreted functions

cgAddPrototype

cgAddDecl

cgAddLDFlags

cgIgnoreSAssert

Code generation with SInteger and SReal types

cgIntegerSize

cgSRealType

data CgSRealType

Compilation to C

compileToC

compileToCLib