Contents
Index
copilot-sbv-0.6: A compiler for CoPilot targeting SBV.
Index
allocMetaTable
Copilot.Compile.SBV.MetaTable
Arg
Copilot.Compile.SBV.MetaTable
arrInput
Copilot.Compile.SBV.Copilot2SBV
arrType
Copilot.Compile.SBV.Copilot2SBV
BitsInst
1 (Type/Class)
Copilot.Compile.SBV.Witness
2 (Data Constructor)
Copilot.Compile.SBV.Witness
bitsInst
Copilot.Compile.SBV.Witness
BVDivisibleInst
1 (Type/Class)
Copilot.Compile.SBV.Witness
2 (Data Constructor)
Copilot.Compile.SBV.Witness
c2Args
Copilot.Compile.SBV.MetaTable
c2sExpr
Copilot.Compile.SBV.Copilot2SBV
CastInst
1 (Type/Class)
Copilot.Compile.SBV.Witness
2 (Data Constructor)
Copilot.Compile.SBV.Witness
castInst
Copilot.Compile.SBV.Witness
collectArgs
Copilot.Compile.SBV.MetaTable
compile
Copilot.Compile.SBV
compileWithSBV
Copilot.Compile.SBV
defaultParams
Copilot.Compile.SBV.Params
, Copilot.Compile.SBV
divInst
Copilot.Compile.SBV.Witness
driver
Copilot.Compile.SBV.Driver
driverName
Copilot.Compile.SBV.Driver
EqInst
1 (Type/Class)
Copilot.Compile.SBV.Witness
2 (Data Constructor)
Copilot.Compile.SBV.Witness
eqInst
Copilot.Compile.SBV.Witness
Ext
Copilot.Compile.SBV.Copilot2SBV
extArrs
Copilot.Compile.SBV.Copilot2SBV
Extern
Copilot.Compile.SBV.MetaTable
ExternArr
Copilot.Compile.SBV.MetaTable
ExternArrInfoMap
Copilot.Compile.SBV.MetaTable
externArrInfoMap
Copilot.Compile.SBV.MetaTable
ExternFun
Copilot.Compile.SBV.MetaTable
ExternFunInfoMap
Copilot.Compile.SBV.MetaTable
externFunInfoMap
Copilot.Compile.SBV.MetaTable
ExternVarInfoMap
Copilot.Compile.SBV.MetaTable
externVarInfoMap
Copilot.Compile.SBV.MetaTable
extFuns
Copilot.Compile.SBV.Copilot2SBV
ExtInput
1 (Type/Class)
Copilot.Compile.SBV.Copilot2SBV
2 (Data Constructor)
Copilot.Compile.SBV.Copilot2SBV
extInput
Copilot.Compile.SBV.Copilot2SBV
ExtQue
Copilot.Compile.SBV.Copilot2SBV
extQues
Copilot.Compile.SBV.Copilot2SBV
extType
Copilot.Compile.SBV.Copilot2SBV
extVars
Copilot.Compile.SBV.Copilot2SBV
fireTriggers
Copilot.Compile.SBV.Code
getExtArrs
Copilot.Compile.SBV.Code
getExtFuns
Copilot.Compile.SBV.Code
guardArgs
Copilot.Compile.SBV.MetaTable
HasSignAndSizeInst
1 (Type/Class)
Copilot.Compile.SBV.Witness
2 (Data Constructor)
Copilot.Compile.SBV.Witness
hasSignAndSizeInst
Copilot.Compile.SBV.Witness
Inputs
1 (Type/Class)
Copilot.Compile.SBV.Copilot2SBV
2 (Data Constructor)
Copilot.Compile.SBV.Copilot2SBV
lookahead
Copilot.Compile.SBV.Queue
makefile
Copilot.Compile.SBV.Makefile
makefileName
Copilot.Compile.SBV.Makefile
MergeableInst
1 (Type/Class)
Copilot.Compile.SBV.Witness
2 (Data Constructor)
Copilot.Compile.SBV.Witness
mergeableInst
Copilot.Compile.SBV.Witness
MetaTable
1 (Type/Class)
Copilot.Compile.SBV.MetaTable
2 (Data Constructor)
Copilot.Compile.SBV.MetaTable
mkArgIdx
Copilot.Compile.SBV.Common
mkExtArrFn
Copilot.Compile.SBV.Common
mkExtFunArgFn
Copilot.Compile.SBV.Common
mkExtTmpTag
Copilot.Compile.SBV.Common
mkExtTmpVar
Copilot.Compile.SBV.Common
mkObserverFn
Copilot.Compile.SBV.Common
mkQueuePtrVar
Copilot.Compile.SBV.Common
mkQueueVar
Copilot.Compile.SBV.Common
mkTmpStVar
Copilot.Compile.SBV.Common
mkTriggerArgFn
Copilot.Compile.SBV.Common
mkTriggerGuardFn
Copilot.Compile.SBV.Common
mkUpdateStFn
Copilot.Compile.SBV.Common
NumInst
1 (Type/Class)
Copilot.Compile.SBV.Witness
2 (Data Constructor)
Copilot.Compile.SBV.Witness
numInst
Copilot.Compile.SBV.Witness
observerArgs
Copilot.Compile.SBV.MetaTable
ObserverInfo
1 (Type/Class)
Copilot.Compile.SBV.MetaTable
2 (Data Constructor)
Copilot.Compile.SBV.MetaTable
ObserverInfoMap
Copilot.Compile.SBV.MetaTable
observerInfoMap
Copilot.Compile.SBV.MetaTable
OrdInst
1 (Type/Class)
Copilot.Compile.SBV.Witness
2 (Data Constructor)
Copilot.Compile.SBV.Witness
ordInst
Copilot.Compile.SBV.Witness
Params
1 (Type/Class)
Copilot.Compile.SBV.Params
, Copilot.Compile.SBV
2 (Data Constructor)
Copilot.Compile.SBV.Params
, Copilot.Compile.SBV
prefix
Copilot.Compile.SBV.Params
, Copilot.Compile.SBV
QueInput
1 (Type/Class)
Copilot.Compile.SBV.Copilot2SBV
2 (Data Constructor)
Copilot.Compile.SBV.Copilot2SBV
quePtr
Copilot.Compile.SBV.Copilot2SBV
Queue
1 (Type/Class)
Copilot.Compile.SBV.Queue
2 (Data Constructor)
Copilot.Compile.SBV.Queue
3 (Data Constructor)
Copilot.Compile.SBV.MetaTable
queue
1 (Function)
Copilot.Compile.SBV.Queue
2 (Function)
Copilot.Compile.SBV.Copilot2SBV
QueueIn
1 (Type/Class)
Copilot.Compile.SBV.Copilot2SBV
2 (Data Constructor)
Copilot.Compile.SBV.Copilot2SBV
QueueSize
Copilot.Compile.SBV.Queue
sbvCast
Copilot.Compile.SBV.Witness
sbvDirName
Copilot.Compile.SBV
StreamInfoMap
Copilot.Compile.SBV.MetaTable
streamInfoMap
Copilot.Compile.SBV.MetaTable
SymWordInst
1 (Type/Class)
Copilot.Compile.SBV.Witness
2 (Data Constructor)
Copilot.Compile.SBV.Witness
symWordInst
Copilot.Compile.SBV.Witness
tagExtract
Copilot.Compile.SBV.Common
triggerArgArgs
Copilot.Compile.SBV.MetaTable
TriggerInfo
1 (Type/Class)
Copilot.Compile.SBV.MetaTable
2 (Data Constructor)
Copilot.Compile.SBV.MetaTable
TriggerInfoMap
Copilot.Compile.SBV.MetaTable
triggerInfoMap
Copilot.Compile.SBV.MetaTable
updateObservers
Copilot.Compile.SBV.Code
updateStates
Copilot.Compile.SBV.Code
withPrefix
Copilot.Compile.SBV.Params
, Copilot.Compile.SBV