copilot-c99-0.2.4: A compiler for Copilot targeting C99.

Index

allocMetaTableCopilot.Compile.C99.MetaTable
AssignInst 
1 (Type/Class)Copilot.Compile.C99.Witness
2 (Data Constructor)Copilot.Compile.C99.Witness
assignInstCopilot.Compile.C99.Witness
BitsEInst 
1 (Type/Class)Copilot.Compile.C99.Witness
2 (Data Constructor)Copilot.Compile.C99.Witness
bitsEInstCopilot.Compile.C99.Witness
c2aExprCopilot.Compile.C99.C2A
c2aTypeCopilot.Compile.C99.C2A
c99DirNameCopilot.Compile.C99
c99FileRootCopilot.Compile.C99
checkSpecCopilot.Compile.C99.Test.CheckSpec
compileCopilot.Compile.C99
defaultParamsCopilot.Compile.C99.Params, Copilot.Compile.C99
driverCopilot.Compile.C99.Test.Driver
dropFirstElemAndSnocCopilot.Compile.C99.Queue
EqEInst 
1 (Type/Class)Copilot.Compile.C99.Witness
2 (Data Constructor)Copilot.Compile.C99.Witness
eqEInstCopilot.Compile.C99.Witness
execTraceToIterationsCopilot.Compile.C99.Test.Iteration
ExprInst 
1 (Type/Class)Copilot.Compile.C99.Witness
2 (Data Constructor)Copilot.Compile.C99.Witness
exprInstCopilot.Compile.C99.Witness
ExternArrayInfo 
1 (Type/Class)Copilot.Compile.C99.MetaTable
2 (Data Constructor)Copilot.Compile.C99.MetaTable
externArrayInfoElemTypeCopilot.Compile.C99.MetaTable
externArrayInfoIdxExprCopilot.Compile.C99.MetaTable
externArrayInfoIdxTypeCopilot.Compile.C99.MetaTable
externArrayInfoMapCopilot.Compile.C99.MetaTable
externArrayInfoVarCopilot.Compile.C99.MetaTable
ExternFunInfo 
1 (Type/Class)Copilot.Compile.C99.MetaTable
2 (Data Constructor)Copilot.Compile.C99.MetaTable
externFunInfoArgsCopilot.Compile.C99.MetaTable
ExternFunInfoMapCopilot.Compile.C99.MetaTable
externFunInfoMapCopilot.Compile.C99.MetaTable
externFunInfoTypeCopilot.Compile.C99.MetaTable
externFunInfoVarCopilot.Compile.C99.MetaTable
ExternInfo 
1 (Type/Class)Copilot.Compile.C99.MetaTable
2 (Data Constructor)Copilot.Compile.C99.MetaTable
ExternInfoMapCopilot.Compile.C99.MetaTable
externInfoMapCopilot.Compile.C99.MetaTable
externInfoTypeCopilot.Compile.C99.MetaTable
externInfoVarCopilot.Compile.C99.MetaTable
FloatingEInst 
1 (Type/Class)Copilot.Compile.C99.Witness
2 (Data Constructor)Copilot.Compile.C99.Witness
floatingEInstCopilot.Compile.C99.Witness
IntegralEInst 
1 (Type/Class)Copilot.Compile.C99.Witness
2 (Data Constructor)Copilot.Compile.C99.Witness
integralEInstCopilot.Compile.C99.Witness
Iteration 
1 (Type/Class)Copilot.Compile.C99.Test.Iteration
2 (Data Constructor)Copilot.Compile.C99.Test.Iteration
iterationOutputsCopilot.Compile.C99.Test.Iteration
iterationsFromCSVCopilot.Compile.C99.Test.ReadCSV
lookaheadCopilot.Compile.C99.Queue
MetaTable 
1 (Type/Class)Copilot.Compile.C99.MetaTable
2 (Data Constructor)Copilot.Compile.C99.MetaTable
mkTmpExtFunVarNameCopilot.Compile.C99.Common
numberOfPhasesCopilot.Compile.C99.Phases
NumEInst 
1 (Type/Class)Copilot.Compile.C99.Witness
2 (Data Constructor)Copilot.Compile.C99.Witness
numEInstCopilot.Compile.C99.Witness
OrdEInst 
1 (Type/Class)Copilot.Compile.C99.Witness
2 (Data Constructor)Copilot.Compile.C99.Witness
ordEInstCopilot.Compile.C99.Witness
Params 
1 (Type/Class)Copilot.Compile.C99.Params, Copilot.Compile.C99
2 (Data Constructor)Copilot.Compile.C99.Params, Copilot.Compile.C99
postCodeCopilot.Compile.C99.PrePostCode
preCodeCopilot.Compile.C99.PrePostCode
prefixCopilot.Compile.C99.Params, Copilot.Compile.C99
QueueCopilot.Compile.C99.Queue
queueCopilot.Compile.C99.Queue
schedulePhasesCopilot.Compile.C99.Phases
sizeCopilot.Compile.C99.Queue
StreamInfo 
1 (Type/Class)Copilot.Compile.C99.MetaTable
2 (Data Constructor)Copilot.Compile.C99.MetaTable
StreamInfoMapCopilot.Compile.C99.MetaTable
streamInfoMapCopilot.Compile.C99.MetaTable
streamInfoQueueCopilot.Compile.C99.MetaTable
streamInfoTempVarCopilot.Compile.C99.MetaTable
streamInfoTypeCopilot.Compile.C99.MetaTable
typeSpecCopilot.Compile.C99.Common
verboseCopilot.Compile.C99.Params, Copilot.Compile.C99
withPrefixCopilot.Compile.C99.Params, Copilot.Compile.C99