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

Copilot.Compile.SBV.Copilot2SBV

Documentation

data Inputs Source

Constructors

Inputs 

Fields

extVars :: [Ext]
 
extArrs :: [Ext]
 
extFuns :: [Ext]
 
extQues :: [ExtQue]
 

data ExtInput Source

Constructors

forall a . ExtInput 

Fields

extInput :: SBV a
 
extType :: Type a
 

data QueInput Source

Constructors

forall a . QueInput 

Fields

arrInput :: QueueIn a
 

data QueueIn a Source

Constructors

QueueIn 

Fields

queue :: [SBV a]
 
quePtr :: SBV QueueSize
 
arrType :: Type a