copilot-1.0: A stream DSL for writing embedded C monitors.

Index

&&Language.Copilot.Language, Language.Copilot
*Language.Copilot.Language, Language.Copilot
+Language.Copilot.Language, Language.Copilot
++Language.Copilot.Language, Language.Copilot
-Language.Copilot.Language, Language.Copilot
.=Language.Copilot.Language, Language.Copilot
/Language.Copilot.Language, Language.Copilot
/=Language.Copilot.Language, Language.Copilot
<Language.Copilot.Language, Language.Copilot
<=Language.Copilot.Language, Language.Copilot
<>Language.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot
==Language.Copilot.Language, Language.Copilot
==>Language.Copilot.Language, Language.Copilot
>Language.Copilot.Language, Language.Copilot
>=Language.Copilot.Language, Language.Copilot
absLanguage.Copilot.Language, Language.Copilot
AllSpecSetLanguage.Copilot.Analyser, Language.Copilot
alwaysLanguage.Copilot.Libs.LTL
alwaysBeenLanguage.Copilot.Libs.PTLTL
AppendLanguage.Copilot.Core
ArgConstVarLanguage.Copilot.Core
ArgsLanguage.Copilot.Core
arrayInitLanguage.Copilot.AdHocC
arrDeclLanguage.Copilot.AdHocC
arrDecsLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
atomConstructorLanguage.Copilot.Core
AtomToC 
1 (Type/Class)Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
2 (Data Constructor)Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
atomTypeLanguage.Copilot.Core
BackEndLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
BadDropLanguage.Copilot.Analyser, Language.Copilot
BadPArrSpecLanguage.Copilot.Analyser, Language.Copilot
BadSyntaxLanguage.Copilot.Analyser, Language.Copilot
BadTypeLanguage.Copilot.Analyser, Language.Copilot
BadTypeExtLanguage.Copilot.Analyser, Language.Copilot
baseOptsLanguage.Copilot.Interface, Language.Copilot
bMapLanguage.Copilot.Core, Language.Copilot
BoolLanguage.Copilot.Language, Language.Copilot
CLanguage.Copilot.Core
cLanguage.Copilot.Examples.LTLExamples
castLanguage.Copilot.Language.Casting, Language.Copilot.Language, Language.Copilot
checkLanguage.Copilot.Analyser, Language.Copilot
clockLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
cNameLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
compileLanguage.Copilot.Interface, Language.Copilot
compilerLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
ConstLanguage.Copilot.Core
constLanguage.Copilot.Language, Language.Copilot
constDLanguage.Copilot.Language, Language.Copilot
constFLanguage.Copilot.Language, Language.Copilot
constI16Language.Copilot.Language, Language.Copilot
constI32Language.Copilot.Language, Language.Copilot
constI64Language.Copilot.Language, Language.Copilot
constI8Language.Copilot.Language, Language.Copilot
constW16Language.Copilot.Language, Language.Copilot
constW32Language.Copilot.Language, Language.Copilot
constW64Language.Copilot.Language, Language.Copilot
constW8Language.Copilot.Language, Language.Copilot
copilotToAtomLanguage.Copilot.Compiler, Language.Copilot
DefaultVerboseLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
DependsOnClosePastLanguage.Copilot.Analyser, Language.Copilot
DependsOnFutureLanguage.Copilot.Analyser, Language.Copilot
dispatchLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
distribLanguage.Copilot.Examples.Examples
divLanguage.Copilot.Language, Language.Copilot
div0Language.Copilot.Language, Language.Copilot
dMapLanguage.Copilot.Core, Language.Copilot
DropLanguage.Copilot.Core
dropLanguage.Copilot.Language, Language.Copilot
DropSpecSetLanguage.Copilot.Analyser, Language.Copilot
emptySMLanguage.Copilot.Core, Language.Copilot
engine 
1 (Function)Language.Copilot.Examples.Examples
2 (Function)Language.Copilot.Examples.PTLTLExamples
engineRunLanguage.Copilot.Examples.PTLTLExamples
ErrorLanguage.Copilot.Analyser, Language.Copilot
eventuallyLanguage.Copilot.Libs.LTL
eventuallyPrevLanguage.Copilot.Libs.PTLTL
ExsLanguage.Copilot.Core
ExtLanguage.Copilot.Core
extArrBLanguage.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrDLanguage.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrFLanguage.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrI16Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrI32Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrI64Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrI8Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrW16Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrW32Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrW64Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extArrW8Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extBLanguage.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extDLanguage.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
externalAtomConstructorLanguage.Copilot.Core
extFLanguage.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extI16Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extI32Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extI64Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extI8Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
ExtRetLanguage.Copilot.Core
ExtRetALanguage.Copilot.Core
ExtRetVLanguage.Copilot.Core
ExtVLanguage.Copilot.Core
extW16Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extW32Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extW64Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
extW8Language.Copilot.Language.Sampling, Language.Copilot.Language, Language.Copilot
FLanguage.Copilot.Core
F2Language.Copilot.Core
F3Language.Copilot.Core
FalseLanguage.Copilot.Language, Language.Copilot
falseLanguage.Copilot.Language, Language.Copilot
fibLanguage.Copilot.Examples.Examples
filterStreamableMapsLanguage.Copilot.Core
fMapLanguage.Copilot.Core, Language.Copilot
foldStreamableMapsLanguage.Copilot.Core
FractionalLanguage.Copilot.Language, Language.Copilot
fromIntegerLanguage.Copilot.Language, Language.Copilot
fromOpLanguage.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot
FunLanguage.Copilot.Core
funLanguage.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot
funcDeclLanguage.Copilot.AdHocC
funcShowLanguage.Copilot.Core
FunSpecSetLanguage.Copilot.Analyser, Language.Copilot
gccOptsLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
gcdLanguage.Copilot.Examples.Examples
gcd'Language.Copilot.Examples.Examples
getAtomTypeLanguage.Copilot.Core
getElemLanguage.Copilot.Core
getExternalVarsLanguage.Copilot.Analyser, Language.Copilot
getMaybeElemLanguage.Copilot.Core
getMaybeVarLanguage.Copilot.Core
getPeriodLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
getPrePostCodeLanguage.Copilot.AtomToC, Language.Copilot
getSendsLanguage.Copilot.Core
getSpecsLanguage.Copilot.Core
getSubMapLanguage.Copilot.Core
getTriggersLanguage.Copilot.Core
getVarsLanguage.Copilot.Core
helpLanguage.Copilot.Interface, Language.Copilot
helpStrLanguage.Copilot.Help, Language.Copilot
i16MapLanguage.Copilot.Core, Language.Copilot
i32MapLanguage.Copilot.Core, Language.Copilot
i64MapLanguage.Copilot.Core, Language.Copilot
i8Language.Copilot.Examples.Examples
i8MapLanguage.Copilot.Core, Language.Copilot
includeBracketLanguage.Copilot.AdHocC
includeQuoteLanguage.Copilot.AdHocC
int16ChkLanguage.Copilot.Libs.ErrorChks
interfaceLanguage.Copilot.Interface, Language.Copilot
interpretLanguage.Copilot.Interface, Language.Copilot
Interpreted 
1 (Type/Class)Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
2 (Data Constructor)Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
interpretedLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
InterpreterLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
interpretStreamsLanguage.Copilot.Interpreter, Language.Copilot
isEmptySMLanguage.Copilot.Core
IterationsLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
LangElems 
1 (Type/Class)Language.Copilot.Core
2 (Data Constructor)Language.Copilot.Core
latestLanguage.Copilot.Libs.Indexes
latestFailLanguage.Copilot.Libs.Indexes
ltlLanguage.Copilot.Libs.LTL
mapStreamableMapsLanguage.Copilot.Core
mapStreamableMapsMLanguage.Copilot.Core
maxLanguage.Copilot.Libs.Statistics
meanLanguage.Copilot.Libs.Statistics
minLanguage.Copilot.Libs.Statistics
modLanguage.Copilot.Language, Language.Copilot
mod0Language.Copilot.Language, Language.Copilot
muxLanguage.Copilot.Language, Language.Copilot
NameLanguage.Copilot.Core
negateLanguage.Copilot.Language, Language.Copilot
nextLanguage.Copilot.Libs.LTL
nOneChkLanguage.Copilot.Libs.ErrorChks
NonNegativeWeightedClosedPathLanguage.Copilot.Analyser, Language.Copilot
noOptsLanguage.Copilot.Interface, Language.Copilot
normalizeVarLanguage.Copilot.Core
notLanguage.Copilot.Language, Language.Copilot
notConstVarErrLanguage.Copilot.Core, Language.Copilot.Language, Language.Copilot
NotInterpretedLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
nPosChkLanguage.Copilot.Libs.ErrorChks
NumLanguage.Copilot.Language, Language.Copilot
OnlyErrorsLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
Operator 
1 (Type/Class)Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot
2 (Data Constructor)Language.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot
OperatorsLanguage.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot
opsFLanguage.Copilot.Language.RandomOps
opsF2Language.Copilot.Language.RandomOps
opsF3Language.Copilot.Language.RandomOps
OptionsLanguage.Copilot.Interface, Language.Copilot
OptsLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
outputLanguage.Copilot.Examples.LTLExamples
outputDirLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
PArrLanguage.Copilot.Core
PArrSetLanguage.Copilot.Analyser, Language.Copilot
PeriodLanguage.Copilot.Core
Port 
1 (Type/Class)Language.Copilot.Core
2 (Data Constructor)Language.Copilot.Core
portLanguage.Copilot.Language, Language.Copilot
prePostCodeLanguage.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
previousLanguage.Copilot.Libs.PTLTL
printfLanguage.Copilot.AdHocC
printfNewlineLanguage.Copilot.AdHocC
ptltlLanguage.Copilot.Libs.PTLTL
PVarLanguage.Copilot.Core
q1Language.Copilot.Examples.PTLTLExamples
q2Language.Copilot.Examples.PTLTLExamples
randomStreamsLanguage.Copilot.Tests.Random, Language.Copilot.Language.RandomOps, Language.Copilot
releaseLanguage.Copilot.Libs.LTL
Send 
1 (Type/Class)Language.Copilot.Core
2 (Data Constructor)Language.Copilot.Core
sendLanguage.Copilot.Language, Language.Copilot
sendNameLanguage.Copilot.Core
sendPortLanguage.Copilot.Core
sendVarLanguage.Copilot.Core
setArrsLanguage.Copilot.Interface, Language.Copilot
setCLanguage.Copilot.Interface, Language.Copilot
setClockLanguage.Copilot.Interface, Language.Copilot
setDirLanguage.Copilot.Interface, Language.Copilot
setELanguage.Copilot.Interface, Language.Copilot
setGCCLanguage.Copilot.Interface, Language.Copilot
setILanguage.Copilot.Interface, Language.Copilot
setNLanguage.Copilot.Interface, Language.Copilot
setOLanguage.Copilot.Interface, Language.Copilot
setPLanguage.Copilot.Interface, Language.Copilot
setPPLanguage.Copilot.Interface, Language.Copilot
setRLanguage.Copilot.Interface, Language.Copilot
setVLanguage.Copilot.Interface, Language.Copilot
showAsCLanguage.Copilot.Core
signumLanguage.Copilot.Language, Language.Copilot
sinceLanguage.Copilot.Libs.PTLTL
SMLanguage.Copilot.Core, Language.Copilot
sndsLanguage.Copilot.Core
soonestLanguage.Copilot.Libs.Indexes
soonestFailLanguage.Copilot.Libs.Indexes
SpecLanguage.Copilot.Core, Language.Copilot
SpecSetLanguage.Copilot.Analyser, Language.Copilot
StreamLanguage.Copilot.Core
StreamableLanguage.Copilot.Core
StreamableMapsLanguage.Copilot.Core, Language.Copilot
StreamsLanguage.Copilot.Core, Language.Copilot
strmsLanguage.Copilot.Core
sumLanguage.Copilot.Libs.Statistics
t0 
1 (Function)Language.Copilot.Examples.StatExamples
2 (Function)Language.Copilot.Examples.LTLExamples
t1 
1 (Function)Language.Copilot.Examples.Examples
2 (Function)Language.Copilot.Examples.LTLExamples
t11Language.Copilot.Examples.Examples
t3Language.Copilot.Examples.Examples
t4Language.Copilot.Examples.Examples
t5Language.Copilot.Examples.Examples
t99Language.Copilot.Examples.Examples
tABLanguage.Copilot.Examples.PTLTLExamples
tAlwaysLanguage.Copilot.Examples.LTLExamples
tEPLanguage.Copilot.Examples.PTLTLExamples
testLanguage.Copilot.Interface, Language.Copilot
testArrLanguage.Copilot.Examples.Examples
testCoercionsLanguage.Copilot.Examples.Examples
testCoercions2Language.Copilot.Examples.Examples
testCoercions3Language.Copilot.Examples.Examples
testingLanguage.Copilot.Examples.LTLExamples
testRulesLanguage.Copilot.Examples.LTLExamples
tFutureLanguage.Copilot.Examples.LTLExamples
tLatestLanguage.Copilot.Examples.LTLExamples
tMeanLanguage.Copilot.Examples.StatExamples
tmpArrNameLanguage.Copilot.Compiler, Language.Copilot
tmpSampleStrLanguage.Copilot.Compiler, Language.Copilot
tmpVarNameLanguage.Copilot.Compiler, Language.Copilot
tNextLanguage.Copilot.Examples.LTLExamples
tprvLanguage.Copilot.Examples.PTLTLExamples
trapLanguage.Copilot.Examples.Examples
tRelease0Language.Copilot.Examples.LTLExamples
tRelease1Language.Copilot.Examples.LTLExamples
trigArgsLanguage.Copilot.Core
Trigger 
1 (Type/Class)Language.Copilot.Core
2 (Data Constructor)Language.Copilot.Core
triggerLanguage.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot
TriggersLanguage.Copilot.Core
trigNameLanguage.Copilot.Core
trigsLanguage.Copilot.Core
trigVarLanguage.Copilot.Core
TrueLanguage.Copilot.Language, Language.Copilot
trueLanguage.Copilot.Language, Language.Copilot
tSinceLanguage.Copilot.Examples.PTLTLExamples
tSinExtLanguage.Copilot.Examples.PTLTLExamples
tSinExt2Language.Copilot.Examples.PTLTLExamples
tSoonestLanguage.Copilot.Examples.LTLExamples
tstdat1SinLanguage.Copilot.Examples.PTLTLExamples
tstdat2SinLanguage.Copilot.Examples.PTLTLExamples
tstdatABLanguage.Copilot.Examples.PTLTLExamples
tstdatEPLanguage.Copilot.Examples.PTLTLExamples
tstdatprvLanguage.Copilot.Examples.PTLTLExamples
tUntilLanguage.Copilot.Examples.LTLExamples
typeIdLanguage.Copilot.Core
typeIdPrecLanguage.Copilot.Core
unitLanguage.Copilot.Core
untilLanguage.Copilot.Libs.LTL
updateSubMapLanguage.Copilot.Core
VLanguage.Copilot.Core
Var 
1 (Data Constructor)Language.Copilot.Core
2 (Type/Class)Language.Copilot.Core
varLanguage.Copilot.Language, Language.Copilot
varBLanguage.Copilot.Language, Language.Copilot
varDLanguage.Copilot.Language, Language.Copilot
varDeclLanguage.Copilot.AdHocC
varFLanguage.Copilot.Language, Language.Copilot
varI16Language.Copilot.Language, Language.Copilot
varI32Language.Copilot.Language, Language.Copilot
varI64Language.Copilot.Language, Language.Copilot
varI8Language.Copilot.Language, Language.Copilot
varInitLanguage.Copilot.AdHocC
VarsLanguage.Copilot.Core
varW16Language.Copilot.Language, Language.Copilot
varW32Language.Copilot.Language, Language.Copilot
varW64Language.Copilot.Language, Language.Copilot
varW8Language.Copilot.Language, Language.Copilot
Verbose 
1 (Type/Class)Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
2 (Data Constructor)Language.Copilot.Dispatch, Language.Copilot.Interface, Language.Copilot
verifyLanguage.Copilot.Interface, Language.Copilot
voidLanguage.Copilot.Language.FunctionCalls, Language.Copilot.Language, Language.Copilot
vPreLanguage.Copilot.Core
w16MapLanguage.Copilot.Core, Language.Copilot
w32MapLanguage.Copilot.Core, Language.Copilot
w64MapLanguage.Copilot.Core, Language.Copilot
w8MapLanguage.Copilot.Core, Language.Copilot
xxLanguage.Copilot.Examples.Examples
yyLanguage.Copilot.Examples.Examples
zLanguage.Copilot.Examples.PTLTLExamples
zzLanguage.Copilot.Examples.Examples
^Language.Copilot.Language, Language.Copilot
||Language.Copilot.Language, Language.Copilot