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

Copilot.Compile.SBV.Driver

Description

Generates the code around the SBV functions to hold the state-updates, external variables, etc.

Documentation