!! | Camfort.Helpers.Vec |
*.. | Language.Fortran.Model.Util |
..* | Language.Fortran.Model.Util |
/= | Camfort.Specification.Stencils.PartialOrd |
:~: | Camfort.Specification.Units.Environment |
:~~: | Camfort.Specification.Units.Environment |
< | Camfort.Specification.Stencils.PartialOrd |
<$$> | Language.Fortran.Model.Util |
<= | Camfort.Specification.Stencils.PartialOrd |
<> | Camfort.Analysis.Logger, Camfort.Analysis |
== | Camfort.Specification.Stencils.PartialOrd |
> | Camfort.Specification.Stencils.PartialOrd |
>= | Camfort.Specification.Stencils.PartialOrd |
A | |
1 (Data Constructor) | Camfort.Analysis.Annotations |
2 (Type/Class) | Camfort.Analysis.Annotations |
absoluteRep | Camfort.Specification.Stencils.Syntax |
adName | Camfort.Specification.Hoare.Syntax |
adTy | Camfort.Specification.Hoare.Syntax |
af | Camfort.Helpers.Syntax |
afterAligned | Camfort.Helpers.Syntax |
AlgConstr | Camfort.Specification.Units.Environment |
AlgRep | Camfort.Specification.Units.Environment |
allocCheck | Camfort.Functionality |
AllOps | Camfort.Specification.Hoare.Translate |
altf | Language.Fortran.Model.Util |
altf2 | Language.Fortran.Model.Util |
analysisLiftLogger | Camfort.Analysis |
analysisModFiles | Camfort.Analysis |
AnalysisProgram | Camfort.Input |
AnalysisReport | |
1 (Type/Class) | Camfort.Analysis |
2 (Data Constructor) | Camfort.Analysis |
AnalysisResult | Camfort.Analysis |
AnalysisRunner | Camfort.Input |
AnalysisRunnerConsumer | Camfort.Input |
AnalysisRunnerP | Camfort.Input |
AnalysisT | Camfort.Analysis |
And | Camfort.Specification.Stencils.Parser.Types |
annotateComments | Camfort.Analysis.CommentAnnotator |
AnnotatedProgramUnit | |
1 (Type/Class) | Camfort.Specification.Hoare.CheckBackend |
2 (Data Constructor) | Camfort.Specification.Hoare.CheckBackend |
annotateWithAST | Camfort.Analysis.CommentAnnotator |
Annotation | Camfort.Analysis.Annotations |
annotationBound | Camfort.Helpers.Syntax |
AnnotationError | Camfort.Specification.Hoare.CheckBackend |
AnnotationFree | |
1 (Type/Class) | Camfort.Helpers.Syntax |
2 (Data Constructor) | Camfort.Helpers.Syntax |
AnnotationType | Camfort.Functionality |
applySub | Camfort.Specification.Units.BackendTypes |
Approximation | Camfort.Specification.Stencils.Model |
approxVec | Camfort.Specification.Stencils.Model |
apuAuxDecls | Camfort.Specification.Hoare.CheckBackend |
apuPostconditions | Camfort.Specification.Hoare.CheckBackend |
apuPreconditions | Camfort.Specification.Hoare.CheckBackend |
apuPU | Camfort.Specification.Hoare.CheckBackend |
Arbitrary | Camfort.Specification.Stencils.Model |
ArbitraryInt | Language.Fortran.Model.Repr.Prim |
ArbitraryReal | Language.Fortran.Model.Repr.Prim |
ARData | Language.Fortran.Model.Repr, Language.Fortran.Model |
ARFailure | Camfort.Analysis |
ArgWithoutDecl | Camfort.Specification.Hoare.CheckBackend |
arMessages | Camfort.Analysis |
ARPrim | Language.Fortran.Model.Repr, Language.Fortran.Model |
Array | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
arrayCheck | Camfort.Functionality |
ArrData | Language.Fortran.Model.Types, Language.Fortran.Model |
arResult | Camfort.Analysis |
ArrPrim | Language.Fortran.Model.Types, Language.Fortran.Model |
ArrRepr | Language.Fortran.Model.Repr, Language.Fortran.Model |
ArrValue | Language.Fortran.Model.Types, Language.Fortran.Model |
ARSuccess | Camfort.Analysis |
AssignVarNotInScope | Camfort.Specification.Hoare.CheckBackend |
ast | Camfort.Functionality |
ASTEmbeddable | Camfort.Analysis.CommentAnnotator |
ATDefault | Camfort.Functionality |
atSpanned | Camfort.Analysis.Logger, Camfort.Analysis |
atSpannedInFile | Camfort.Analysis.Logger, Camfort.Analysis |
AuxDecl | |
1 (Type/Class) | Camfort.Specification.Hoare.Syntax |
2 (Data Constructor) | Camfort.Specification.Hoare.Syntax |
AuxVarConflict | Camfort.Specification.Hoare.CheckBackend |
BackendAnalysis | Camfort.Specification.Hoare.CheckBackend |
BackendError | Camfort.Specification.Hoare.CheckFrontend |
Backward | Camfort.Specification.Stencils.Syntax |
BasicType | Language.Fortran.Model.Singletons |
BasicTypeMax | Language.Fortran.Model.Singletons |
basicTypeMax | Language.Fortran.Model.Singletons |
BasicTypeMaxSym0 | Language.Fortran.Model.Singletons |
BasicTypeMaxSym0KindInference | Language.Fortran.Model.Singletons |
BasicTypeMaxSym1 | Language.Fortran.Model.Singletons |
BasicTypeMaxSym1KindInference | Language.Fortran.Model.Singletons |
BasicTypeMaxSym2 | Language.Fortran.Model.Singletons |
BitBool | Language.Fortran.Model.Repr.Prim |
Bool16 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
Bool32 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
Bool64 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
Bool8 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
BoolRepr | Language.Fortran.Model.Repr.Prim |
Bound | |
1 (Data Constructor) | Camfort.Specification.Stencils.Model |
2 (Type/Class) | Camfort.Specification.Stencils.Model |
BTChar | Language.Fortran.Model.Singletons |
BTCharSym0 | Language.Fortran.Model.Singletons |
BTInt | Language.Fortran.Model.Singletons |
BTIntSym0 | Language.Fortran.Model.Singletons |
BTLogical | Language.Fortran.Model.Singletons |
BTLogicalSym0 | Language.Fortran.Model.Singletons |
BTReal | Language.Fortran.Model.Singletons |
BTRealSym0 | Language.Fortran.Model.Singletons |
buildCommentText | Camfort.Analysis.Annotations |
Builder | Camfort.Analysis.Logger |
builderToStrict | Camfort.Analysis.Logger |
CallIdMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
CamfortEnv | |
1 (Type/Class) | Camfort.Functionality |
2 (Data Constructor) | Camfort.Functionality |
camfortInitialize | Camfort.Functionality |
caml | Camfort.Helpers.Syntax |
cast | Camfort.Specification.Units.Environment |
catchAnalysisT | Camfort.Analysis |
CBTBool | Language.Fortran.Model.Op.Core.Core |
CBTChar | Language.Fortran.Model.Op.Core.Core |
CBTNum | Language.Fortran.Model.Op.Core.Core |
ceExcludeFiles | Camfort.Functionality |
ceFortranVersion | Camfort.Functionality |
ceIncludeDir | Camfort.Functionality |
ceInputSources | Camfort.Functionality |
ceLogLevel | Camfort.Functionality |
Centered | Camfort.Specification.Stencils.Syntax |
ceSourceSnippets | Camfort.Functionality |
Char8 | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
CharConstr | Camfort.Specification.Units.Environment |
CharRep | Camfort.Specification.Units.Environment |
check | |
1 (Function) | Camfort.Specification.DerivedDataType |
2 (Function) | Camfort.Specification.Stencils |
3 (Function) | Camfort.Specification.Hoare |
checkAllocateStatements | Camfort.Analysis.Simple |
checkArrayUse | Camfort.Analysis.Simple |
checkDir | Camfort.Helpers |
checkFailure | Camfort.Specification.Stencils.CheckFrontend |
checkFloatingPointUse | Camfort.Analysis.Simple |
checkImplicitNone | Camfort.Analysis.Simple |
checkModuleUse | Camfort.Analysis.Simple |
checkOffsetsAgainstSpec | Camfort.Specification.Stencils.CheckBackend |
checkPU | Camfort.Specification.Hoare.CheckBackend |
CheckResult | Camfort.Specification.Stencils.CheckFrontend |
checkUnits | Camfort.Specification.Units.Analysis.Consistent |
checkWarnings | Camfort.Specification.Stencils.CheckFrontend |
chooseImplicitNames | Camfort.Specification.Units.InferenceBackend |
cleanLinks | Camfort.Specification.Units.Annotation |
coalesce | Camfort.Specification.Stencils.InferenceBackend |
coerceBy | Language.Fortran.Model.Op.Eval |
coercePrimSVal | Language.Fortran.Model.Op.Eval |
coerceSBVKinds | Language.Fortran.Model.Op.Eval |
collect | Camfort.Helpers |
colSort | Camfort.Specification.Units.Environment |
common | Camfort.Functionality |
commonElimToModules | Camfort.Transformation.CommonBlockElim |
ComparableBasicTypes | Language.Fortran.Model.Op.Core.Core |
compare | Camfort.Specification.Stencils.PartialOrd |
Compare_6989586621679388653 | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym0 | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym0KindInference | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym1 | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym1KindInference | Language.Fortran.Model.Singletons |
Compare_6989586621679388653Sym2 | Language.Fortran.Model.Singletons |
Compare_6989586621679388662 | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym0 | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym0KindInference | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym1 | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym1KindInference | Language.Fortran.Model.Singletons |
Compare_6989586621679388662Sym2 | Language.Fortran.Model.Singletons |
compile | Camfort.Specification.DerivedDataType |
compileStencils | Camfort.Specification.Stencils.Analysis |
compileUnits | Camfort.Specification.Units.Analysis |
composeSubs | Camfort.Specification.Units.BackendTypes |
ConConj | Camfort.Specification.Units.Environment |
ConEq | Camfort.Specification.Units.Environment |
ConIndex | Camfort.Specification.Units.Environment |
conParamEq | Camfort.Specification.Units.Environment |
Cons | Camfort.Helpers.Vec |
ConsistencyError | Camfort.Specification.Units.Analysis.Consistent |
ConsistencyReport | Camfort.Specification.Units.Analysis.Consistent |
ConsistencyResult | Camfort.Specification.Stencils.Consistency |
Consistent | |
1 (Data Constructor) | Camfort.Specification.Stencils.Consistency |
2 (Data Constructor) | Camfort.Specification.Units.Analysis.Consistent |
consistent | Camfort.Specification.Stencils.Consistency |
consistentIVSuse | Camfort.Specification.Stencils.Generate |
Constant | Camfort.Specification.Stencils.Generate |
Constr | Camfort.Specification.Units.Environment |
Constraint | Camfort.Specification.Units.Environment |
Constraints | Camfort.Specification.Units.Environment |
constraintsToMatrices | Camfort.Specification.Units.InferenceBackend |
constraintsToMatrix | Camfort.Specification.Units.InferenceBackend |
constraintToDim | Camfort.Specification.Units.BackendTypes |
constrFields | Camfort.Specification.Units.Environment |
constrFixity | Camfort.Specification.Units.Environment |
constrIndex | Camfort.Specification.Units.Environment |
ConstrRep | Camfort.Specification.Units.Environment |
constrRep | Camfort.Specification.Units.Environment |
constrType | Camfort.Specification.Units.Environment |
containedWithin | Camfort.Specification.Stencils.InferenceBackend |
convIxToNeighbour | Camfort.Specification.Stencils.Generate |
copyMatrix | Camfort.Specification.Units.InferenceBackendFlint |
CoreOp | |
1 (Type/Class) | Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
CoreRepr | Language.Fortran.Model.Repr, Language.Fortran.Model |
coreReprD | Language.Fortran.Model.Repr, Language.Fortran.Model |
CoreTyp | Camfort.Specification.Stencils.Model |
countVarDecls | Camfort.Functionality |
countVariableDeclarations | Camfort.Analysis.Simple |
CRArray | Language.Fortran.Model.Repr, Language.Fortran.Model |
CRData | Language.Fortran.Model.Repr, Language.Fortran.Model |
criticalVariables | |
1 (Function) | Camfort.Specification.Units.InferenceBackend |
2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
CRPrim | Language.Fortran.Model.Repr, Language.Fortran.Model |
D | Language.Fortran.Model.Types, Language.Fortran.Model |
DArray | Language.Fortran.Model.Types, Language.Fortran.Model |
dArrValue | Language.Fortran.Model.Types, Language.Fortran.Model |
Data | Camfort.Specification.Units.Environment |
dataCast1 | Camfort.Specification.Units.Environment |
dataCast2 | Camfort.Specification.Units.Environment |
DataRep | Camfort.Specification.Units.Environment |
DataType | Camfort.Specification.Units.Environment |
dataTypeConstrs | Camfort.Specification.Units.Environment |
dataTypeName | Camfort.Specification.Units.Environment |
dataTypeOf | Camfort.Specification.Units.Environment |
dataTypeRep | Camfort.Specification.Units.Environment |
dcast | Language.Fortran.Model.Types.Match |
DData | Language.Fortran.Model.Types, Language.Fortran.Model |
ddtCheck | Camfort.Functionality |
ddtCompile | Camfort.Functionality |
ddtInfer | Camfort.Functionality |
DDTParseError | Camfort.Specification.DerivedDataType.Parser |
ddtParser | Camfort.Specification.DerivedDataType.Parser |
ddtrAMap | Camfort.Specification.DerivedDataType |
ddtrBDE | Camfort.Specification.DerivedDataType |
ddtrBLE | Camfort.Specification.DerivedDataType |
ddtrCE | Camfort.Specification.DerivedDataType |
ddtrCheck | Camfort.Specification.DerivedDataType |
ddtRefactor | Camfort.Functionality |
ddtrIDE | Camfort.Specification.DerivedDataType |
ddtrSMap | Camfort.Specification.DerivedDataType |
ddtrSpecs | Camfort.Specification.DerivedDataType |
ddtrVMap | Camfort.Specification.DerivedDataType |
DDTSt | Camfort.Specification.DerivedDataType.Parser |
DDTStatement | Camfort.Specification.DerivedDataType.Parser |
ddtStLabels | Camfort.Specification.DerivedDataType.Parser |
ddtStStarred | Camfort.Specification.DerivedDataType.Parser |
ddtStTypeName | Camfort.Specification.DerivedDataType.Parser |
ddtStVarDims | Camfort.Specification.DerivedDataType.Parser |
ddtSynth | Camfort.Functionality |
dead | Camfort.Functionality |
deadCode | Camfort.Transformation.DeadCode |
Default | Camfort.Input |
defaultSemantics | Language.Fortran.Model.Translate |
defaultTranslateEnv | Language.Fortran.Model.Translate |
defaultValue | Camfort.Input |
deleteLine | Camfort.Helpers.Syntax |
deleteNode | Camfort.Analysis.Annotations |
DerivedDataTypeReport | |
1 (Type/Class) | Camfort.Specification.DerivedDataType |
2 (Data Constructor) | Camfort.Specification.DerivedDataType |
descendBiReverseM | Camfort.Helpers |
descendReverseM | Camfort.Helpers |
Describe | Camfort.Analysis.Logger, Camfort.Analysis |
describe | Camfort.Analysis.Logger, Camfort.Analysis |
describeBuilder | Camfort.Analysis.Logger, Camfort.Analysis |
describePerFileAnalysisP | Camfort.Input |
describeReport | Camfort.Analysis |
describeShow | Camfort.Analysis.Logger, Camfort.Analysis |
Dim | Camfort.Specification.Units.BackendTypes |
dimFromList | Camfort.Specification.Units.BackendTypes |
dimFromUnitInfo | Camfort.Specification.Units.BackendTypes |
dimFromUnitInfos | Camfort.Specification.Units.BackendTypes |
dimMultiply | Camfort.Specification.Units.BackendTypes |
dimParamEq | Camfort.Specification.Units.BackendTypes |
dimParamEqCon | Camfort.Specification.Units.BackendTypes |
dimRaisePow | Camfort.Specification.Units.BackendTypes |
dimSimplify | Camfort.Specification.Units.BackendTypes |
dimToConstraint | Camfort.Specification.Units.BackendTypes |
dimToUnitInfo | Camfort.Specification.Units.BackendTypes |
dimToUnitInfos | Camfort.Specification.Units.BackendTypes |
dIndex | Language.Fortran.Model.Types, Language.Fortran.Model |
Directory | Camfort.Helpers |
doRefactor | Camfort.Input |
doRefactorAndCreate | Camfort.Input |
doubleToRationalSubset | Camfort.Specification.Units.Environment |
Doxygen | Camfort.Functionality |
DPrim | Language.Fortran.Model.Types, Language.Fortran.Model |
dropLine | Camfort.Helpers.Syntax |
dumpModFileCompiledUnits | Camfort.Specification.Units.ModFile |
elem | Camfort.Specification.Stencils.PartialOrd |
elemrowadds | Camfort.Specification.Units.InferenceBackendFlint |
elemrowscale | Camfort.Specification.Units.InferenceBackendFlint |
eqArrValue | Language.Fortran.Model.Types.Match |
eqD | Language.Fortran.Model.Types.Match |
eqField | Language.Fortran.Model.Types.Match |
eqPrim | Language.Fortran.Model.Types.Match |
eqRec | Language.Fortran.Model.Types.Match |
eqSymbol | Language.Fortran.Model.Types.Match |
EqT | Camfort.Helpers.Vec |
eqT | Camfort.Specification.Units.Environment |
Equals_6989586621679388669 | Language.Fortran.Model.Singletons |
Equals_6989586621679388673 | Language.Fortran.Model.Singletons |
equivalences | Camfort.Functionality |
ErrBadLiteral | Language.Fortran.Model.Translate |
ErrInvalidKind | Language.Fortran.Model.Translate |
ErrInvalidOpApplication | Language.Fortran.Model.Translate |
ErrUnexpectedType | Language.Fortran.Model.Translate |
ErrUnsupportedItem | Language.Fortran.Model.Translate |
ErrVarNotInScope | Language.Fortran.Model.Translate |
evalCoreOp | Language.Fortran.Model.Op.Core.Eval |
EvalLog | Camfort.Specification.Stencils.Generate |
Exact | Camfort.Specification.Stencils.Model |
existingStencils | Camfort.Specification.Stencils.CheckFrontend |
ExistsEqT | |
1 (Type/Class) | Camfort.Helpers.Vec |
2 (Data Constructor) | Camfort.Helpers.Vec |
exitCodeOf | Camfort.Analysis |
ExitCodeOfReport | Camfort.Analysis |
exitCodeOfSet | Camfort.Analysis |
extractRelevantIVS | Camfort.Specification.Stencils.Generate |
extractVariable | Camfort.Helpers.Syntax |
failAnalysis | Camfort.Analysis |
failAnalysis' | Camfort.Analysis |
Field | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
Filename | Camfort.Helpers |
FileOrDir | Camfort.Helpers |
findIndex | Camfort.Helpers.Vec |
Fixity | Camfort.Specification.Units.Environment |
flattenConstraints | Camfort.Specification.Units.InferenceBackend |
flattenUnits | Camfort.Specification.Units.Environment, Camfort.Specification.Units.InferenceBackend |
flintToHMatrix | Camfort.Specification.Units.InferenceBackendFlint |
FloatConstr | Camfort.Specification.Units.Environment |
FloatRep | Camfort.Specification.Units.Environment |
FMPZMat | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_get_si | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_clear | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_entry | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_hnf | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_init | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_inv | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_mul | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_print_pretty | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_rank | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_rref | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_set | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_window_clear | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_mat_window_init | Camfort.Specification.Units.InferenceBackendFlint |
fmpz_set_si | Camfort.Specification.Units.InferenceBackendFlint |
foldUnits | Camfort.Specification.Units.Environment |
Ford | Camfort.Functionality |
formatSpec | Camfort.Specification.Stencils.Synthesis |
formatSpecNoComment | Camfort.Specification.Stencils.Synthesis |
FortranExpr | Language.Fortran.Model.Translate |
FortranSemantics | |
1 (Type/Class) | Language.Fortran.Model.Translate |
2 (Data Constructor) | Language.Fortran.Model.Translate |
FortranVar | |
1 (Type/Class) | Language.Fortran.Model.Vars |
2 (Data Constructor) | Language.Fortran.Model.Vars |
Forward | Camfort.Specification.Stencils.Syntax |
fpCheck | Camfort.Functionality |
freeDimVars | Camfort.Specification.Units.BackendTypes |
freshId | Camfort.Specification.Units.Monad |
fromBool | Camfort.Specification.Stencils.Syntax |
fromConstr | Camfort.Specification.Units.Environment |
fromConstrB | Camfort.Specification.Units.Environment |
fromConstrM | Camfort.Specification.Units.Environment |
fromExact | Camfort.Specification.Stencils.Model |
fromList | Camfort.Helpers.Vec |
fromLists | Camfort.Helpers.Vec |
fsCharacterKinds | Language.Fortran.Model.Translate |
fsDoublePrecisionKinds | Language.Fortran.Model.Translate |
fsIntegerKinds | Language.Fortran.Model.Translate |
fsLogicalKinds | Language.Fortran.Model.Translate |
fsRealKinds | Language.Fortran.Model.Translate |
funResultTy | Camfort.Specification.Units.Environment |
gcast | Camfort.Specification.Units.Environment |
gcast1 | Camfort.Specification.Units.Environment |
gcast2 | Camfort.Specification.Units.Environment |
generalizePureAnalysis | Camfort.Analysis |
genModFiles | Camfort.Analysis.ModFile |
genModFilesP | Camfort.Analysis.ModFile |
genOffsets | Camfort.Specification.Stencils.Generate |
genSpecifications | Camfort.Specification.Stencils.Generate |
genUnitAssignments | |
1 (Function) | Camfort.Specification.Units.InferenceBackend |
2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
genUnitAssignments' | Camfort.Specification.Units.InferenceBackend |
genUnitsModFile | Camfort.Specification.Units.ModFile |
getAstSpec | Camfort.Specification.Stencils.Annotation |
getBaseAnnotation | Camfort.Specification.Stencils.Annotation |
getBool16 | Language.Fortran.Model.Types, Language.Fortran.Model |
getBool32 | Language.Fortran.Model.Types, Language.Fortran.Model |
getBool64 | Language.Fortran.Model.Types, Language.Fortran.Model |
getBool8 | Language.Fortran.Model.Types, Language.Fortran.Model |
getChar8 | Language.Fortran.Model.Types, Language.Fortran.Model |
getConstraint | Camfort.Specification.Units.Annotation |
getConstraints | Camfort.Specification.Units.Monad |
getDefaultSourceFile | Camfort.Analysis.Logger |
getDir | Camfort.Helpers |
getInferred | Camfort.Specification.Units.Analysis.Infer |
getModFiles | Camfort.Analysis.ModFile |
getNameParamMap | Camfort.Specification.Units.Monad |
getParseSpec | Camfort.Specification.Stencils.Annotation |
getPrimS | Language.Fortran.Model.Types, Language.Fortran.Model |
getProgramFile | Camfort.Specification.Units.Monad |
getRegionSpec | Camfort.Specification.Stencils.Annotation |
getSourceName | Language.Fortran.Model.Vars |
getStencilBlock | Camfort.Specification.Stencils.Annotation |
getTemplateMap | Camfort.Specification.Units.Monad |
getTranslateT | Language.Fortran.Model.Translate |
getUniqueName | Language.Fortran.Model.Vars |
getUnitAliasMap | Camfort.Specification.Units.Monad |
getUnitInfo | Camfort.Specification.Units.Annotation |
getVarUnitMap | Camfort.Specification.Units.Monad |
gfoldl | Camfort.Specification.Units.Environment |
giveAstSpec | Camfort.Specification.Stencils.Annotation |
GivenVarSet | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
giveParseSpec | Camfort.Specification.Stencils.Annotation |
giveRegionSpec | Camfort.Specification.Stencils.Annotation |
gmapM | Camfort.Specification.Units.Environment |
gmapMo | Camfort.Specification.Units.Environment |
gmapMp | Camfort.Specification.Units.Environment |
gmapQ | Camfort.Specification.Units.Environment |
gmapQi | Camfort.Specification.Units.Environment |
gmapQl | Camfort.Specification.Units.Environment |
gmapQr | Camfort.Specification.Units.Environment |
gmapT | Camfort.Specification.Units.Environment |
groupKeyBy | Camfort.Specification.Stencils.Syntax |
gunfold | Camfort.Specification.Units.Environment |
HA | Camfort.Specification.Hoare.Annotation |
hasDuplicates | Camfort.Specification.Stencils.Syntax |
HasPrimReprHandlers | Language.Fortran.Model.Repr.Prim |
HighOp | Language.Fortran.Model.Op.High, Language.Fortran.Model.Op, Language.Fortran.Model |
HighRepr | Language.Fortran.Model.Repr, Language.Fortran.Model |
hnf | Camfort.Specification.Units.InferenceBackendFlint |
HoareAnalysis | Camfort.Specification.Hoare.CheckFrontend |
hoareAnn0 | Camfort.Specification.Hoare.Annotation |
HoareAnnotation | |
1 (Type/Class) | Camfort.Specification.Hoare.Annotation |
2 (Data Constructor) | Camfort.Specification.Hoare.Annotation |
HoareBackendError | Camfort.Specification.Hoare.CheckBackend |
HoareCheckResult | |
1 (Type/Class) | Camfort.Specification.Hoare.CheckBackend |
2 (Data Constructor) | Camfort.Specification.Hoare.CheckBackend |
HoareCheckResults | |
1 (Type/Class) | Camfort.Specification.Hoare |
2 (Data Constructor) | Camfort.Specification.Hoare |
HoareFrontendError | Camfort.Specification.Hoare.CheckFrontend |
HoareFrontendWarning | Camfort.Specification.Hoare.CheckFrontend |
HoareParseError | Camfort.Specification.Hoare.Parser.Types |
hoareParser | Camfort.Specification.Hoare.Parser |
hoarePrevAnnotation | Camfort.Specification.Hoare.Annotation |
hoarePUName | Camfort.Specification.Hoare.Annotation |
hoareSod | Camfort.Specification.Hoare.Annotation |
HoareSpecParser | Camfort.Specification.Hoare.Parser.Types |
HopLift | Language.Fortran.Model.Op.High, Language.Fortran.Model.Op, Language.Fortran.Model |
HRCore | Language.Fortran.Model.Repr, Language.Fortran.Model |
HRefl | Camfort.Specification.Units.Environment |
HRHigh | Language.Fortran.Model.Repr, Language.Fortran.Model |
identDim | Camfort.Specification.Units.BackendTypes |
identSub | Camfort.Specification.Units.BackendTypes |
implicitNone | Camfort.Functionality |
ImplicitNoneReport | |
1 (Type/Class) | Camfort.Analysis.Simple |
2 (Data Constructor) | Camfort.Analysis.Simple |
Inconsistent | |
1 (Data Constructor) | Camfort.Specification.Stencils.Consistency |
2 (Data Constructor) | Camfort.Specification.Units.Analysis.Consistent |
inconsistentConstraints | |
1 (Function) | Camfort.Specification.Units.InferenceBackend |
2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
Index | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
indexConstr | Camfort.Specification.Units.Environment |
indicesToRelativisedOffsets | Camfort.Specification.Stencils.Generate |
indicesToSpec | Camfort.Specification.Stencils.Generate |
infer | |
1 (Function) | Camfort.Specification.DerivedDataType |
2 (Function) | Camfort.Specification.Stencils |
inferCriticalVariables | Camfort.Specification.Units.Analysis.Criticals |
InferenceReport | |
1 (Type/Class) | Camfort.Specification.Units.Analysis.Infer |
2 (Data Constructor) | Camfort.Specification.Units.Analysis.Infer |
InferenceResult | Camfort.Specification.Units.Analysis.Infer |
inferFromIndicesWithoutLinearity | Camfort.Specification.Stencils.InferenceBackend |
inferMinimalVectorRegions | Camfort.Specification.Stencils.InferenceBackend |
Inferred | Camfort.Specification.Units.Analysis.Infer |
inferUnits | Camfort.Specification.Units.Analysis.Infer |
inferVariables | |
1 (Function) | Camfort.Specification.Units.InferenceBackend |
2 (Function) | Camfort.Specification.Units.InferenceBackendSBV |
InfInconsistent | Camfort.Specification.Units.Analysis.Infer |
Infix | Camfort.Specification.Units.Environment |
initializeModFiles | Camfort.Specification.Units.ModFile |
initInference | Camfort.Specification.Units.Analysis |
InnerHA | Camfort.Specification.Hoare.Annotation |
IntBool | Language.Fortran.Model.Repr.Prim |
IntConstr | Camfort.Specification.Units.Environment |
Interval | Camfort.Specification.Stencils.Model |
intervalsToRegions | Camfort.Specification.Stencils.DenotationalSemantics |
IntervArbitrary | Camfort.Specification.Stencils.Model |
IntervHoled | Camfort.Specification.Stencils.Model |
IntervInfinite | Camfort.Specification.Stencils.Model |
IntervInfiniteArbitrary | Camfort.Specification.Stencils.Model |
intoMetaExpr | Camfort.Specification.Hoare.Translate |
IntRep | Camfort.Specification.Units.Environment |
IntRepr | Language.Fortran.Model.Repr.Prim |
inv | Camfort.Specification.Units.InferenceBackendFlint |
InvalidPUConditions | Camfort.Specification.Hoare.CheckFrontend |
InvalidSourceName | Camfort.Specification.Hoare.CheckBackend |
invariantChecking | Camfort.Specification.Hoare.CheckFrontend |
invariantsCheck | Camfort.Functionality |
isAlgType | Camfort.Specification.Units.Environment |
isArraySubscript | Camfort.Specification.Stencils.Generate |
isComment | Camfort.Analysis.CommentAnnotator |
isDirectory | Camfort.Helpers |
isEmpty | Camfort.Specification.Stencils.Syntax |
isIdentDim | Camfort.Specification.Units.BackendTypes |
isMonomorphic | Camfort.Specification.Units.Environment |
isNewFile | Camfort.Output |
isNorepType | Camfort.Specification.Units.Environment |
IsStencil | Camfort.Specification.Stencils.Syntax |
isUnit | Camfort.Specification.Stencils.Syntax |
isUnitless | Camfort.Specification.Units.Environment |
isVariableExpr | Camfort.Specification.Stencils.Generate |
KindSelector | |
1 (Type/Class) | Language.Fortran.Model.Translate |
2 (Data Constructor) | Language.Fortran.Model.Translate |
length | Camfort.Helpers.Vec |
lengthN | Camfort.Helpers.Vec |
lexer | Camfort.Specification.Hoare.Lexer |
LexError | Camfort.Specification.Hoare.Parser.Types |
LiftD | Language.Fortran.Model.Repr, Language.Fortran.Model |
liftD | Language.Fortran.Model.Repr, Language.Fortran.Model |
liftDBool | Language.Fortran.Model.Repr, Language.Fortran.Model |
liftDInt | Language.Fortran.Model.Repr, Language.Fortran.Model |
LiftDOp | |
1 (Type/Class) | Language.Fortran.Model.Op.High, Language.Fortran.Model.Op, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Op.High, Language.Fortran.Model.Op, Language.Fortran.Model |
liftDReal | Language.Fortran.Model.Repr, Language.Fortran.Model |
liftDRepr | Language.Fortran.Model.Repr, Language.Fortran.Model |
Linear | Camfort.Specification.Stencils.Syntax |
Linearity | Camfort.Specification.Stencils.Syntax |
linesCovered | Camfort.Helpers.Syntax |
link | Camfort.Analysis.CommentAnnotator |
Linkable | Camfort.Analysis.CommentAnnotator |
linkPU | Camfort.Analysis.CommentAnnotator |
LiteralsOpt | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
LitMixed | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
LitPoly | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
LitUnitless | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
lmMsg | Camfort.Analysis.Logger |
lmOrigin | Camfort.Analysis.Logger |
loadModAndProgramFiles | Camfort.Input |
LogDebug | Camfort.Analysis.Logger, Camfort.Analysis |
logDebug | Camfort.Analysis.Logger, Camfort.Analysis |
logDebug' | Camfort.Analysis.Logger, Camfort.Analysis |
LogError | Camfort.Analysis.Logger, Camfort.Analysis |
logError | Camfort.Analysis.Logger, Camfort.Analysis |
logError' | Camfort.Analysis.Logger, Camfort.Analysis |
LoggerT | Camfort.Analysis.Logger |
loggingAnalysisError | Camfort.Analysis |
LogInfo | Camfort.Analysis.Logger, Camfort.Analysis |
logInfo | Camfort.Analysis.Logger, Camfort.Analysis |
logInfo' | Camfort.Analysis.Logger, Camfort.Analysis |
logInfoNoOrigin | Camfort.Analysis.Logger, Camfort.Analysis |
LogLevel | Camfort.Analysis.Logger, Camfort.Analysis |
LogMessage | |
1 (Type/Class) | Camfort.Analysis.Logger |
2 (Data Constructor) | Camfort.Analysis.Logger |
LogOutput | Camfort.Analysis.Logger, Camfort.Analysis |
logOutputNone | Camfort.Analysis.Logger, Camfort.Analysis |
logOutputStd | Camfort.Analysis.Logger, Camfort.Analysis |
LogWarn | Camfort.Analysis.Logger, Camfort.Analysis |
logWarn | Camfort.Analysis.Logger, Camfort.Analysis |
logWarn' | Camfort.Analysis.Logger, Camfort.Analysis |
looksLikeASpec | Camfort.Specification.Parser |
lookupUniqueName | Camfort.Analysis.ModFile |
lowerBound | Camfort.Specification.Stencils.Model |
MachineFloat | Language.Fortran.Model.Repr.Prim |
MachineInt | Language.Fortran.Model.Repr.Prim |
MakePrim | |
1 (Type/Class) | Language.Fortran.Model.Types.Match |
2 (Data Constructor) | Language.Fortran.Model.Types.Match |
makePrim | Language.Fortran.Model.Types.Match |
makeSymRepr | Language.Fortran.Model.Repr.Prim |
MalformedExpression | Camfort.Specification.Hoare.Parser.Types |
MalformedTypeSpec | Camfort.Specification.Hoare.Parser.Types |
mapAnalysisT | Camfort.Analysis |
mapLoggerT | Camfort.Analysis.Logger |
mapSome | Camfort.Helpers.TypeLevel |
MatchCompareR | |
1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
matchCompareR | Language.Fortran.Model.Op.Core.Match |
matchingWith2 | Language.Fortran.Model.Util |
matchingWithBoth | Language.Fortran.Model.Util |
MatchNumR | |
1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
matchNumR | Language.Fortran.Model.Op.Core.Match |
MatchNumType | |
1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
matchNumType | Language.Fortran.Model.Op.Core.Match |
MatchOpSpec | |
1 (Type/Class) | Language.Fortran.Model.Op.Core.Match |
2 (Data Constructor) | Language.Fortran.Model.Op.Core.Match |
matchOpSpec | Language.Fortran.Model.Op.Core.Match |
MatchPrim | |
1 (Type/Class) | Language.Fortran.Model.Types.Match |
2 (Data Constructor) | Language.Fortran.Model.Types.Match |
matchPrim | Language.Fortran.Model.Types.Match |
MatchPrimD | |
1 (Type/Class) | Language.Fortran.Model.Types.Match |
2 (Data Constructor) | Language.Fortran.Model.Types.Match |
matchPrimD | Language.Fortran.Model.Types.Match |
maxConstrIndex | Camfort.Specification.Units.Environment |
maxima | Camfort.Specification.Stencils.PartialOrd |
maximas | Camfort.Specification.Stencils.Model |
maybeSetUnitConstraintF2 | Camfort.Specification.Units.Annotation |
maybeSetUnitInfo | Camfort.Specification.Units.Annotation |
maybeSetUnitInfoF2 | Camfort.Specification.Units.Annotation |
MetaExpr | Camfort.Specification.Hoare.Translate |
MetaFormula | Camfort.Specification.Hoare.Translate |
MetaOp | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
MFCompiler | Camfort.Analysis.ModFile |
minima | Camfort.Specification.Stencils.PartialOrd |
mkCharConstr | Camfort.Specification.Units.Environment |
mkCharType | Camfort.Specification.Units.Environment |
mkConstr | Camfort.Specification.Units.Environment |
mkDataType | Camfort.Specification.Units.Environment |
mkFloatType | Camfort.Specification.Units.Environment |
mkFunTy | Camfort.Specification.Units.Environment |
mkIntegralConstr | Camfort.Specification.Units.Environment |
mkIntType | Camfort.Specification.Units.Environment |
mkNoRepType | Camfort.Specification.Units.Environment |
mkOutputText | Camfort.Output |
mkParser | Camfort.Specification.Parser |
mkRealConstr | Camfort.Specification.Units.Environment |
mkStencilAnnotation | Camfort.Specification.Stencils.Annotation |
mkUnitAnnotation | Camfort.Specification.Units.Annotation |
modifyBaseAnnotation | Camfort.Specification.Stencils.Annotation |
modifyCallIdRemap | Camfort.Specification.Units.Monad |
modifyCallIdRemapM | Camfort.Specification.Units.Monad |
modifyConstraints | Camfort.Specification.Units.Monad |
modifyGivenVarSet | Camfort.Specification.Units.Monad |
modifyNameParamMap | Camfort.Specification.Units.Monad |
modifyProgramFile | Camfort.Specification.Units.Monad |
modifyProgramFileM | Camfort.Specification.Units.Monad |
modifyTemplateMap | Camfort.Specification.Units.Monad |
modifyUnitAliasMap | Camfort.Specification.Units.Monad |
modifyVarUnitMap | Camfort.Specification.Units.Monad |
MonadAnalysis | Camfort.Analysis |
MonadEvalFortran | Language.Fortran.Model.Op.Eval, Language.Fortran.Model.Op.Core.Eval |
MonadLogger | Camfort.Analysis.Logger, Camfort.Analysis |
MopCoercePrim | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
MopWriteArr | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
MopWriteData | Language.Fortran.Model.Op.Meta, Language.Fortran.Model.Op, Language.Fortran.Model |
MsgDebug | Camfort.Analysis.Logger |
MsgError | Camfort.Analysis.Logger |
MsgInfo | Camfort.Analysis.Logger |
MsgWarn | Camfort.Analysis.Logger |
Mult | Camfort.Specification.Stencils.Model |
Multiplicity | Camfort.Specification.Stencils.Model |
NamePair | |
1 (Type/Class) | Language.Fortran.Model.Vars |
2 (Data Constructor) | Language.Fortran.Model.Vars |
NameParamKey | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
NameParamMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
Nat | Camfort.Helpers.Vec |
Natural | Camfort.Helpers.Vec |
NBTInt | Language.Fortran.Model.Op.Core.Core |
NBTReal | Language.Fortran.Model.Op.Core.Core |
Neighbour | |
1 (Type/Class) | Camfort.Specification.Stencils.Generate |
2 (Data Constructor) | Camfort.Specification.Stencils.Generate |
neighbourIndex | Camfort.Specification.Stencils.Generate |
neighbourToOffset | Camfort.Specification.Stencils.Generate |
newNode | Camfort.Analysis.Annotations |
Nil | Camfort.Helpers.Vec |
NonLinear | Camfort.Specification.Stencils.Syntax |
NonLValueAssignment | Camfort.Specification.Hoare.CheckBackend |
NonNeighbour | Camfort.Specification.Stencils.Generate |
NoRep | Camfort.Specification.Units.Environment |
normaliseDim | Camfort.Specification.Units.BackendTypes |
normHNF | Camfort.Specification.Units.InferenceBackendFlint |
normhnf | Camfort.Specification.Units.InferenceBackendFlint |
normHNF' | Camfort.Specification.Units.InferenceBackendFlint |
notElem | Camfort.Specification.Stencils.PartialOrd |
NPKParam | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
NPKVariable | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
npSource | Language.Fortran.Model.Vars |
npUnique | Language.Fortran.Model.Vars |
nub | Camfort.Specification.Stencils.PartialOrd |
number | Camfort.Analysis.Annotations |
NumericBasicType | Language.Fortran.Model.Op.Core.Core |
Offsets | |
1 (Type/Class) | Camfort.Specification.Stencils.Model |
2 (Data Constructor) | Camfort.Specification.Stencils.Model |
offsetToIx | Camfort.Specification.Stencils.Synthesis |
oFile | Camfort.Analysis.Logger |
OKDeref | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKDerefSym0 | Language.Fortran.Model.Singletons |
OKEq | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKEqSym0 | Language.Fortran.Model.Singletons |
OKLit | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKLitSym0 | Language.Fortran.Model.Singletons |
OKLogical | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKLogicalSym0 | Language.Fortran.Model.Singletons |
OKLookup | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKLookupSym0 | Language.Fortran.Model.Singletons |
OKNum | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKNumSym0 | Language.Fortran.Model.Singletons |
OKRel | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKRelSym0 | Language.Fortran.Model.Singletons |
OKWriteArr | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKWriteArrSym0 | Language.Fortran.Model.Singletons |
OKWriteData | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OKWriteDataSym0 | Language.Fortran.Model.Singletons |
on2 | Language.Fortran.Model.Util |
Once | Camfort.Specification.Stencils.Model |
onPrev | Camfort.Analysis.Annotations |
Op | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpAdd | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpAnd | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpDeref | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpDiv | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpEq | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpEquiv | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpGE | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpGT | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpKind | Language.Fortran.Model.Singletons, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpLE | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpLit | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpLookup | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpLT | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpMul | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpNE | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpNeg | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpNot | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpNotEquiv | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpOr | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpPos | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpSpec | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OpSub | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
optimise | Camfort.Specification.Stencils.Model |
Or | Camfort.Specification.Stencils.Parser.Types |
Origin | |
1 (Type/Class) | Camfort.Analysis.Logger, Camfort.Analysis |
2 (Data Constructor) | Camfort.Analysis.Logger, Camfort.Analysis |
OrphanDecls | Camfort.Specification.Hoare.CheckFrontend |
OSDeref | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSEq | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSLit | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSLogical1 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSLogical2 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSLookup | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSNum1 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
OSNum2 | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
oSpan | Camfort.Analysis.Logger |
OSRel | Language.Fortran.Model.Op.Core.Core, Language.Fortran.Model.Op.Core, Language.Fortran.Model.Op, Language.Fortran.Model |
outputFile | Camfort.Output |
OutputFiles | Camfort.Output |
outputFiles | Camfort.Output |
overField | Language.Fortran.Model.Types, Language.Fortran.Model |
overField' | Language.Fortran.Model.Types, Language.Fortran.Model |
P128 | Language.Fortran.Model.Singletons |
P128Sym0 | Language.Fortran.Model.Singletons |
P16 | Language.Fortran.Model.Singletons |
P16Sym0 | Language.Fortran.Model.Singletons |
P32 | Language.Fortran.Model.Singletons |
P32Sym0 | Language.Fortran.Model.Singletons |
P64 | Language.Fortran.Model.Singletons |
P64Sym0 | Language.Fortran.Model.Singletons |
P8 | Language.Fortran.Model.Singletons |
P8Sym0 | Language.Fortran.Model.Singletons |
PairOf | |
1 (Type/Class) | Camfort.Helpers.TypeLevel |
2 (Data Constructor) | Camfort.Helpers.TypeLevel |
ParsedOrigin | |
1 (Type/Class) | Camfort.Analysis.Logger |
2 (Data Constructor) | Camfort.Analysis.Logger |
ParseError | |
1 (Data Constructor) | Camfort.Specification.Hoare.Parser.Types |
2 (Data Constructor) | Camfort.Specification.Hoare.CheckFrontend |
parseError | Camfort.Specification.Parser |
parseExpression | Camfort.Specification.Hoare.Parser.Types |
parseOrigin | Camfort.Analysis.Logger |
parseTypeSpec | Camfort.Specification.Hoare.Parser.Types |
PartialOrd | Camfort.Specification.Stencils.PartialOrd |
PBool16 | Language.Fortran.Model.Types, Language.Fortran.Model |
PBool32 | Language.Fortran.Model.Types, Language.Fortran.Model |
PBool64 | Language.Fortran.Model.Types, Language.Fortran.Model |
PBool8 | Language.Fortran.Model.Types, Language.Fortran.Model |
PChar | Language.Fortran.Model.Types, Language.Fortran.Model |
PDouble | Language.Fortran.Model.Types, Language.Fortran.Model |
peekM | Camfort.Specification.Units.InferenceBackendFlint |
peel | Camfort.Specification.Stencils.Model |
Peelable | Camfort.Specification.Stencils.Model |
perFileRefactoring | Camfort.Input |
PFExpr | Camfort.Specification.Hoare.Syntax |
PFloat | Language.Fortran.Model.Types, Language.Fortran.Model |
PFLogical | Camfort.Specification.Hoare.Syntax |
PInt16 | Language.Fortran.Model.Types, Language.Fortran.Model |
PInt32 | Language.Fortran.Model.Types, Language.Fortran.Model |
PInt64 | Language.Fortran.Model.Types, Language.Fortran.Model |
PInt8 | Language.Fortran.Model.Types, Language.Fortran.Model |
PLAnd | Camfort.Specification.Hoare.Syntax |
PLEquiv | Camfort.Specification.Hoare.Syntax |
PLImpl | Camfort.Specification.Hoare.Syntax |
PLLit | Camfort.Specification.Hoare.Syntax |
PLNot | Camfort.Specification.Hoare.Syntax |
PLOr | Camfort.Specification.Hoare.Syntax |
pokeM | Camfort.Specification.Units.InferenceBackendFlint |
PP | Camfort.Specification.Units.Environment |
pprintConstr | Camfort.Specification.Units.Environment |
pprintSpecDecls | Camfort.Specification.Stencils.Syntax |
pprintUnitInfo | Camfort.Specification.Units.Environment |
Precision | Language.Fortran.Model.Singletons |
PrecMax | Language.Fortran.Model.Singletons |
precMax | Language.Fortran.Model.Singletons |
PrecMaxSym0 | Language.Fortran.Model.Singletons |
PrecMaxSym0KindInference | Language.Fortran.Model.Singletons |
PrecMaxSym1 | Language.Fortran.Model.Singletons |
PrecMaxSym1KindInference | Language.Fortran.Model.Singletons |
PrecMaxSym2 | Language.Fortran.Model.Singletons |
pRefactored | Camfort.Analysis.Annotations |
Prefix | Camfort.Specification.Units.Environment |
prettyTokens | Camfort.Specification.Hoare.Parser.Types |
prevAnnotation | Camfort.Specification.Units.Annotation |
prhKind | Language.Fortran.Model.Repr.Prim |
prhLiteral | Language.Fortran.Model.Repr.Prim |
prhSymbolic | Language.Fortran.Model.Repr.Prim |
Prim | Language.Fortran.Model.Types, Language.Fortran.Model |
primCeil | Language.Fortran.Model.Op.Core.Match |
PrimFormula | Camfort.Specification.Hoare.Syntax |
primLit | Language.Fortran.Model.Repr.Prim |
PrimLogic | Camfort.Specification.Hoare.Syntax |
PrimReprHandler | |
1 (Type/Class) | Language.Fortran.Model.Repr.Prim |
2 (Data Constructor) | Language.Fortran.Model.Repr.Prim |
primReprHandler | Language.Fortran.Model.Repr.Prim |
PrimReprHandlers | |
1 (Type/Class) | Language.Fortran.Model.Repr.Prim |
2 (Data Constructor) | Language.Fortran.Model.Repr.Prim |
primReprHandlers | Language.Fortran.Model.Repr.Prim |
PrimReprOption | Camfort.Specification.Hoare |
PrimReprSpec | |
1 (Type/Class) | Language.Fortran.Model.Repr.Prim |
2 (Data Constructor) | Language.Fortran.Model.Repr.Prim |
PrimS | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
primSBVKind | Language.Fortran.Model.Repr.Prim |
PrimSpec | Camfort.Specification.Hoare.Syntax |
primSymbolic | Language.Fortran.Model.Repr.Prim |
Product | Camfort.Specification.Stencils.Syntax |
ProgramFile | Camfort.Input |
PROIdealized | Camfort.Specification.Hoare |
PROPrecise | Camfort.Specification.Hoare |
prop_composition | Camfort.Specification.Units.BackendTypes |
proveEqSize | Camfort.Helpers.Vec |
provenance | Camfort.Specification.Units.InferenceBackend |
proveNonEmpty | Camfort.Helpers.Vec |
Proxy | |
1 (Data Constructor) | Camfort.Specification.Units.Environment |
2 (Type/Class) | Camfort.Specification.Units.Environment |
prsBool16Repr | Language.Fortran.Model.Repr.Prim |
prsBool32Repr | Language.Fortran.Model.Repr.Prim |
prsBool64Repr | Language.Fortran.Model.Repr.Prim |
prsBool8Repr | Language.Fortran.Model.Repr.Prim |
prsDoubleRepr | Language.Fortran.Model.Repr.Prim |
prsFloatRepr | Language.Fortran.Model.Repr.Prim |
prsIdealized | Language.Fortran.Model.Repr.Prim |
prsInt16Repr | Language.Fortran.Model.Repr.Prim |
prsInt32Repr | Language.Fortran.Model.Repr.Prim |
prsInt64Repr | Language.Fortran.Model.Repr.Prim |
prsInt8Repr | Language.Fortran.Model.Repr.Prim |
prsPrecise | Language.Fortran.Model.Repr.Prim |
prsWithArbitraryInts | Language.Fortran.Model.Repr.Prim |
prsWithArbitraryReals | Language.Fortran.Model.Repr.Prim |
puName | Camfort.Specification.Units.Analysis |
PureAnalysis | Camfort.Analysis |
puSrcName | Camfort.Specification.Units.Analysis |
putDescribeReport | Camfort.Analysis |
readConstr | Camfort.Specification.Units.Environment |
readParseSrcDir | Camfort.Analysis.ModFile, Camfort.Input |
readParseSrcDirP | Camfort.Analysis.ModFile |
readParseSrcFile | Camfort.Analysis.ModFile |
RealRepr | Language.Fortran.Model.Repr.Prim |
Record | |
1 (Type/Class) | Language.Fortran.Model.Types, Language.Fortran.Model |
2 (Data Constructor) | Language.Fortran.Model.Types, Language.Fortran.Model |
recordLogMessage | Camfort.Analysis.Logger |
refactor | Camfort.Specification.DerivedDataType |
refactored | Camfort.Analysis.Annotations |
refactorEquivalences | Camfort.Transformation.EquivalenceElim |
refactoring | Camfort.Output |
refining | Camfort.Specification.Hoare.Syntax |
Refl | Camfort.Specification.Units.Environment |
ReflEq | Camfort.Helpers.Vec |
Region | |
1 (Type/Class) | Camfort.Specification.Stencils.Syntax |
2 (Type/Class) | Camfort.Specification.Stencils.Parser.Types |
RegionConst | Camfort.Specification.Stencils.Parser.Types |
RegionDec | Camfort.Specification.Stencils.Parser.Types |
RegionDecl | Camfort.Specification.Stencils.Syntax |
RegionEnv | Camfort.Specification.Stencils.Syntax |
regionNotInScope | Camfort.Specification.Stencils.CheckBackend |
RegionProd | Camfort.Specification.Stencils.Syntax |
regionsToIntervals | Camfort.Specification.Stencils.DenotationalSemantics |
RegionSum | Camfort.Specification.Stencils.Syntax |
relativise | Camfort.Specification.Stencils.Generate |
repConstr | Camfort.Specification.Units.Environment |
replace | Camfort.Helpers.Vec |
reprint | Camfort.Reprint |
reqRegions | Camfort.Specification.Stencils.Parser.Types |
rnfTyCon | Camfort.Specification.Units.Environment |
rnfTypeRep | Camfort.Specification.Units.Environment |
rref | |
1 (Function) | Camfort.Specification.Units.InferenceBackendFlint |
2 (Function) | Camfort.Specification.Units.InferenceBackend |
runAnalysisT | Camfort.Analysis |
runCompileUnits | Camfort.Specification.Units.ModFile |
runInference | Camfort.Specification.Units.Analysis |
runLoggerT | Camfort.Analysis.Logger |
runMultiFileAnalysis | Camfort.Input |
runParser | Camfort.Specification.Parser |
runPerFileAnalysisP | Camfort.Input |
runStencilInferer | Camfort.Specification.Stencils.Generate |
runSynthesis | Camfort.Specification.Units.Synthesis |
runThen | Camfort.Input |
runTranslateT | Language.Fortran.Model.Translate |
runUnitAnalysis | Camfort.Specification.Units.Monad, Camfort.Specification.Units.Analysis |
runUnitSolver | Camfort.Specification.Units.Monad |
S | Camfort.Helpers.Vec |
SA | Camfort.Specification.Stencils.Annotation |
SBasicType | Language.Fortran.Model.Singletons |
sBasicTypeMax | Language.Fortran.Model.Singletons |
SBTChar | Language.Fortran.Model.Singletons |
SBTInt | Language.Fortran.Model.Singletons |
SBTLogical | Language.Fortran.Model.Singletons |
SBTReal | Language.Fortran.Model.Singletons |
selectKind | Language.Fortran.Model.Translate |
setConstraint | Camfort.Specification.Units.Annotation |
setDefaultSourceFile | Camfort.Analysis.Logger |
setLinearity | Camfort.Specification.Stencils.Syntax |
SetOfIntegers | Camfort.Specification.Stencils.Model |
setUnitInfo | Camfort.Specification.Units.Annotation |
shiftTerms | Camfort.Specification.Units.InferenceBackend |
Show' | Camfort.Output |
show' | Camfort.Output |
showConstr | Camfort.Specification.Units.Environment |
showsTypeRep | Camfort.Specification.Units.Environment |
simpleCompiler | Camfort.Analysis.ModFile |
simplifyUnits | Camfort.Specification.Units.Environment |
SodDecl | Camfort.Specification.Hoare.Syntax |
SodSpec | Camfort.Specification.Hoare.Syntax |
SOKDeref | Language.Fortran.Model.Singletons |
SOKEq | Language.Fortran.Model.Singletons |
SOKLit | Language.Fortran.Model.Singletons |
SOKLogical | Language.Fortran.Model.Singletons |
SOKLookup | Language.Fortran.Model.Singletons |
SOKNum | Language.Fortran.Model.Singletons |
SOKRel | Language.Fortran.Model.Singletons |
SOKWriteArr | Language.Fortran.Model.Singletons |
SOKWriteData | Language.Fortran.Model.Singletons |
Some | |
1 (Type/Class) | Camfort.Helpers.TypeLevel, Language.Fortran.Model.Translate |
2 (Data Constructor) | Camfort.Helpers.TypeLevel, Language.Fortran.Model.Translate |
SomeExpr | Language.Fortran.Model.Translate |
SomeMessage | Camfort.Analysis.Logger |
SomePair | |
1 (Type/Class) | Camfort.Helpers.TypeLevel |
2 (Data Constructor) | Camfort.Helpers.TypeLevel |
SomeType | Language.Fortran.Model.Translate |
SomeVar | Language.Fortran.Model.Translate |
SOpKind | Language.Fortran.Model.Singletons |
SortFn | Camfort.Specification.Units.Environment |
SourceName | |
1 (Type/Class) | Language.Fortran.Model.Vars |
2 (Data Constructor) | Language.Fortran.Model.Vars |
SourceText | Camfort.Helpers |
SP128 | Language.Fortran.Model.Singletons |
SP16 | Language.Fortran.Model.Singletons |
SP32 | Language.Fortran.Model.Singletons |
SP64 | Language.Fortran.Model.Singletons |
SP8 | Language.Fortran.Model.Singletons |
Span | Camfort.Specification.Stencils.InferenceBackend |
spansToApproxSpatial | Camfort.Specification.Stencils.InferenceBackend |
Spatial | |
1 (Type/Class) | Camfort.Specification.Stencils.Syntax |
2 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
SpecDec | Camfort.Specification.Stencils.Parser.Types |
SpecDecl | Camfort.Specification.Stencils.Syntax |
SpecDecls | Camfort.Specification.Stencils.Syntax |
specFormula | Camfort.Specification.Hoare.Syntax |
Specification | |
1 (Type/Class) | Camfort.Specification.Hoare.Syntax |
2 (Data Constructor) | Camfort.Specification.Hoare.Syntax |
3 (Type/Class) | Camfort.Specification.Stencils.Syntax |
4 (Data Constructor) | Camfort.Specification.Stencils.Syntax |
5 (Type/Class) | Camfort.Specification.Stencils.Parser.Types |
SpecInner | |
1 (Type/Class) | Camfort.Specification.Stencils.Parser.Types |
2 (Data Constructor) | Camfort.Specification.Stencils.Parser.Types |
SpecInvariant | Camfort.Specification.Hoare.Syntax |
SpecKind | Camfort.Specification.Hoare.Syntax |
SpecOrDecl | Camfort.Specification.Hoare.Syntax |
SpecParseError | |
1 (Type/Class) | Camfort.Specification.Parser |
2 (Type/Class) | Camfort.Specification.Stencils.Parser |
SpecParser | Camfort.Specification.Parser |
specParser | Camfort.Specification.Stencils.Parser |
SpecPost | Camfort.Specification.Hoare.Syntax |
SpecPre | Camfort.Specification.Hoare.Syntax |
SpecSeq | Camfort.Specification.Hoare.Syntax |
specType | Camfort.Specification.Hoare.Syntax |
splitNormHNF | Camfort.Specification.Units.InferenceBackend |
splitTyConApp | Camfort.Specification.Units.Environment |
SPrecision | Language.Fortran.Model.Singletons |
sPrecMax | Language.Fortran.Model.Singletons |
Standard | Camfort.Specification.Stencils.Model |
StencilAnnotation | Camfort.Specification.Stencils.Annotation |
stencilChecking | Camfort.Specification.Stencils.CheckFrontend |
stencilInference | Camfort.Specification.Stencils.InferenceFrontend |
StencilsAnalysis | Camfort.Specification.Stencils.Analysis |
stencilsCheck | Camfort.Functionality |
stencilsInfer | Camfort.Functionality |
StencilsReport | |
1 (Type/Class) | Camfort.Specification.Stencils.InferenceFrontend |
2 (Data Constructor) | Camfort.Specification.Stencils.InferenceFrontend |
stencilsSynth | Camfort.Functionality |
stencilSynthesis | Camfort.Specification.Stencils.InferenceFrontend |
Sub | Camfort.Specification.Units.BackendTypes |
subFromList | Camfort.Specification.Units.BackendTypes |
subtext | Camfort.Reprint |
subToList | Camfort.Specification.Units.BackendTypes |
Succ | Camfort.Helpers.Vec |
successful | Camfort.Specification.DerivedDataType |
Sum | Camfort.Specification.Stencils.Syntax |
synth | |
1 (Function) | Camfort.Specification.DerivedDataType |
2 (Function) | Camfort.Specification.Stencils |
synthesiseUnits | Camfort.Specification.Units |
SynToAst | Camfort.Specification.Stencils.CheckBackend |
synToAst | Camfort.Specification.Stencils.CheckBackend |
SynToAstError | Camfort.Specification.Stencils.CheckBackend |
takeBounds | Camfort.Reprint |
TAnd | Camfort.Specification.Hoare.Parser.Types |
TDColon | Camfort.Specification.Hoare.Parser.Types |
TDeclAux | Camfort.Specification.Hoare.Parser.Types |
teImplicitVars | Language.Fortran.Model.Translate |
tellDescribe | Camfort.Analysis.Logger |
TemplateMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
TEquiv | Camfort.Specification.Hoare.Parser.Types |
teSemantics | Language.Fortran.Model.Translate |
teVarsInScope | Language.Fortran.Model.Translate |
Text | Camfort.Analysis.Logger |
TFalse | Camfort.Specification.Hoare.Parser.Types |
tiAttributes | Language.Fortran.Model.Translate |
tiBaseType | Language.Fortran.Model.Translate |
tiDeclaratorLength | Language.Fortran.Model.Translate |
tiDimensionDeclarators | Language.Fortran.Model.Translate |
TImpl | Camfort.Specification.Hoare.Parser.Types |
TInvariant | Camfort.Specification.Hoare.Parser.Types |
tiSelectorKind | Language.Fortran.Model.Translate |
tiSelectorLength | Language.Fortran.Model.Translate |
tiSrcSpan | Language.Fortran.Model.Translate |
TLParen | Camfort.Specification.Hoare.Parser.Types |
TName | Camfort.Specification.Hoare.Parser.Types |
TNot | Camfort.Specification.Hoare.Parser.Types |
toCol0 | Camfort.Helpers.Syntax |
toConstr | Camfort.Specification.Units.Environment |
Token | Camfort.Specification.Hoare.Parser.Types |
toList | Camfort.Helpers.Vec |
TOr | Camfort.Specification.Hoare.Parser.Types |
toUnitInfo | Camfort.Specification.Units.Environment |
TPost | Camfort.Specification.Hoare.Parser.Types |
TPre | Camfort.Specification.Hoare.Parser.Types |
TQuoted | Camfort.Specification.Hoare.Parser.Types |
translateBoolExpression | Camfort.Specification.Hoare.Translate |
translateCoerceExpression | Language.Fortran.Model.Translate |
TranslateEnv | |
1 (Type/Class) | Language.Fortran.Model.Translate |
2 (Data Constructor) | Language.Fortran.Model.Translate |
TranslateError | Language.Fortran.Model.Translate |
TranslateErrorAnn | Camfort.Specification.Hoare.CheckBackend |
TranslateErrorSrc | Camfort.Specification.Hoare.CheckBackend |
translateExpression | Language.Fortran.Model.Translate |
translateExpression' | Language.Fortran.Model.Translate |
translateFormula | Camfort.Specification.Hoare.Translate |
TranslateT | |
1 (Type/Class) | Language.Fortran.Model.Translate |
2 (Data Constructor) | Language.Fortran.Model.Translate |
translateTypeInfo | Language.Fortran.Model.Translate |
traverseField' | Language.Fortran.Model.Types, Language.Fortran.Model |
traversePairOf | Camfort.Helpers.TypeLevel |
traverseSome | Camfort.Helpers.TypeLevel |
TRParen | Camfort.Specification.Hoare.Parser.Types |
TSeq | Camfort.Specification.Hoare.Parser.Types |
TStaticAssert | Camfort.Specification.Hoare.Parser.Types |
TTrue | Camfort.Specification.Hoare.Parser.Types |
TyCon | Camfort.Specification.Units.Environment |
tyConFingerprint | Camfort.Specification.Units.Environment |
tyConModule | Camfort.Specification.Units.Environment |
tyconModule | Camfort.Specification.Units.Environment |
tyConName | Camfort.Specification.Units.Environment |
tyConPackage | Camfort.Specification.Units.Environment |
tyconUQname | Camfort.Specification.Units.Environment |
Typeable | Camfort.Specification.Units.Environment |
TypeInfo | Language.Fortran.Model.Translate |
typeInfo | Language.Fortran.Model.Translate |
typeOf | Camfort.Specification.Units.Environment |
typeOf1 | Camfort.Specification.Units.Environment |
typeOf2 | Camfort.Specification.Units.Environment |
typeOf3 | Camfort.Specification.Units.Environment |
typeOf4 | Camfort.Specification.Units.Environment |
typeOf5 | Camfort.Specification.Units.Environment |
typeOf6 | Camfort.Specification.Units.Environment |
typeOf7 | Camfort.Specification.Units.Environment |
TypeRep | Camfort.Specification.Units.Environment |
typeRep | Camfort.Specification.Units.Environment |
typeRepArgs | Camfort.Specification.Units.Environment |
typeRepFingerprint | Camfort.Specification.Units.Environment |
typeRepTyCon | Camfort.Specification.Units.Environment |
UA | Camfort.Specification.Units.Annotation, Camfort.Specification.Units.Monad |
UnexpectedBlock | Camfort.Specification.Hoare.CheckBackend |
UnexpectedInput | Camfort.Specification.Hoare.Parser.Types |
unfCompare | Camfort.Specification.Stencils.Model |
UnionNF | Camfort.Specification.Stencils.Model |
UniqueName | |
1 (Type/Class) | Language.Fortran.Model.Vars |
2 (Data Constructor) | Language.Fortran.Model.Vars |
UnitAlias | |
1 (Data Constructor) | Camfort.Specification.Units.Parser.Types |
2 (Data Constructor) | Camfort.Specification.Units.Environment |
UnitAliasMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
UnitAnalysis | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Analysis |
unitAnnotation | Camfort.Analysis.Annotations |
UnitAssignment | Camfort.Specification.Units.Parser.Types |
UnitBasic | Camfort.Specification.Units.Parser.Types |
unitBlock | Camfort.Specification.Units.Annotation |
unitConstraint | Camfort.Specification.Units.Annotation |
UnitEnv | |
1 (Type/Class) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
2 (Data Constructor) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
UnitExponentiation | Camfort.Specification.Units.Parser.Types |
UnitInfo | Camfort.Specification.Units.Environment |
unitInfo | Camfort.Specification.Units.Annotation |
Unitless | Camfort.Specification.Units.Parser.Types |
UnitlessLit | Camfort.Specification.Units.Environment |
UnitlessVar | Camfort.Specification.Units.Environment |
UnitLiteral | Camfort.Specification.Units.Environment |
UnitMul | Camfort.Specification.Units.Environment |
UnitName | Camfort.Specification.Units.Environment |
UnitOfMeasure | Camfort.Specification.Units.Parser.Types |
UnitOpts | |
1 (Type/Class) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
2 (Data Constructor) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
unitOpts | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
unitOpts0 | Camfort.Specification.Units.Monad |
UnitParamEAPAbs | Camfort.Specification.Units.Environment |
UnitParamEAPUse | Camfort.Specification.Units.Environment |
unitParamEq | Camfort.Specification.Units.Environment |
UnitParamImpAbs | Camfort.Specification.Units.Environment |
UnitParamLitAbs | Camfort.Specification.Units.Environment |
UnitParamLitUse | Camfort.Specification.Units.Environment |
UnitParamPosAbs | Camfort.Specification.Units.Environment |
UnitParamPosUse | Camfort.Specification.Units.Environment |
UnitParamVarAbs | Camfort.Specification.Units.Environment |
UnitParamVarUse | Camfort.Specification.Units.Environment |
UnitParseError | Camfort.Specification.Units.Parser |
unitParser | Camfort.Specification.Units.Parser |
UnitPow | Camfort.Specification.Units.Environment |
UnitPower | Camfort.Specification.Units.Parser.Types |
UnitPowerInteger | Camfort.Specification.Units.Parser.Types |
UnitPowerRational | Camfort.Specification.Units.Parser.Types |
UnitProduct | Camfort.Specification.Units.Parser.Types |
unitProgramFile | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
unitPU | Camfort.Specification.Units.Annotation |
UnitQuotient | Camfort.Specification.Units.Parser.Types |
UnitRecord | |
1 (Data Constructor) | Camfort.Specification.Units.Parser.Types |
2 (Data Constructor) | Camfort.Specification.Units.Environment |
unitsCheck | Camfort.Functionality |
unitsCompile | Camfort.Functionality |
unitsCriticals | Camfort.Functionality |
unitsDump | Camfort.Functionality |
UnitSet | Camfort.Specification.Units.BackendTypes |
unitsInfer | Camfort.Functionality |
UnitSolver | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
unitSpec | Camfort.Specification.Units.Annotation |
unitsSynth | Camfort.Functionality |
UnitState | |
1 (Type/Class) | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
2 (Data Constructor) | Camfort.Specification.Units.MonadTypes |
UnitStatement | Camfort.Specification.Units.Parser.Types |
UnitVar | Camfort.Specification.Units.Environment |
unitVar | Camfort.Analysis.Annotations |
UnmatchedQuote | Camfort.Specification.Hoare.Parser.Types |
unPrimReprHandlers | Language.Fortran.Model.Repr.Prim |
unProd | Camfort.Specification.Stencils.Syntax |
unSum | Camfort.Specification.Stencils.Syntax |
UnsupportedAssignment | Camfort.Specification.Hoare.CheckBackend |
UnsupportedBlock | Camfort.Specification.Hoare.CheckBackend |
uoLiterals | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
upperBound | Camfort.Specification.Stencils.Model |
usCallIdRemap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
usConstraints | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
useCheck | Camfort.Functionality |
usGivenVarSet | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
usNameParamMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
usNextUnique | Camfort.Specification.Units.MonadTypes |
usProgramFile | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
usTemplateMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
usUnitAliasMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
usVarUnitMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
Var | Camfort.Specification.Stencils.Parser.Types |
Variable | Camfort.Specification.Stencils.Syntax |
VarUnitMap | Camfort.Specification.Units.MonadTypes, Camfort.Specification.Units.Monad |
Vec | Camfort.Helpers.Vec |
VecBox | |
1 (Type/Class) | Camfort.Helpers.Vec |
2 (Data Constructor) | Camfort.Helpers.Vec |
vecLength | Camfort.Specification.Stencils.Model |
VecList | Camfort.Helpers.Vec |
VerifierError | Camfort.Specification.Hoare.CheckBackend |
VL | Camfort.Helpers.Vec |
VV | Camfort.Specification.Units.Environment, Camfort.Specification.Units.Monad |
with | Language.Fortran.Model.Util |
withBlankMatrix | Camfort.Specification.Units.InferenceBackendFlint |
withCombinedEnvironment | Camfort.Analysis.ModFile |
withCombinedModuleMap | Camfort.Analysis.ModFile |
withMatrix | Camfort.Specification.Units.InferenceBackendFlint |
withWindow | Camfort.Specification.Units.InferenceBackendFlint |
WrongAssignmentType | Camfort.Specification.Hoare.CheckBackend |
Z | Camfort.Helpers.Vec |
Zero | Camfort.Helpers.Vec |
zip | Camfort.Helpers.Vec |
zip3FieldsWith | Language.Fortran.Model.Types, Language.Fortran.Model |
zipFieldsWith | Language.Fortran.Model.Types, Language.Fortran.Model |
zipWith | Camfort.Helpers.Vec |
_adName | Camfort.Specification.Hoare.Syntax |
_adTy | Camfort.Specification.Hoare.Syntax |
_apuAuxDecls | Camfort.Specification.Hoare.CheckBackend |
_apuPostconditions | Camfort.Specification.Hoare.CheckBackend |
_apuPreconditions | Camfort.Specification.Hoare.CheckBackend |
_apuPU | Camfort.Specification.Hoare.CheckBackend |
_ARFailure | Camfort.Analysis |
_arMessages | Camfort.Analysis |
_arResult | Camfort.Analysis |
_arSourceFile | Camfort.Analysis |
_ARSuccess | Camfort.Analysis |
_fsCharacterKinds | Language.Fortran.Model.Translate |
_fsDoublePrecisionKinds | Language.Fortran.Model.Translate |
_fsIntegerKinds | Language.Fortran.Model.Translate |
_fsLogicalKinds | Language.Fortran.Model.Translate |
_fsRealKinds | Language.Fortran.Model.Translate |
_hoarePrevAnnotation | Camfort.Specification.Hoare.Annotation |
_hoarePUName | Camfort.Specification.Hoare.Annotation |
_hoareSod | Camfort.Specification.Hoare.Annotation |
_lmMsg | Camfort.Analysis.Logger |
_lmOrigin | Camfort.Analysis.Logger |
_MsgDebug | Camfort.Analysis.Logger |
_MsgError | Camfort.Analysis.Logger |
_MsgInfo | Camfort.Analysis.Logger |
_MsgWarn | Camfort.Analysis.Logger |
_npSource | Language.Fortran.Model.Vars |
_npUnique | Language.Fortran.Model.Vars |
_oFile | Camfort.Analysis.Logger, Camfort.Analysis |
_oSpan | Camfort.Analysis.Logger, Camfort.Analysis |
_prhKind | Language.Fortran.Model.Repr.Prim |
_prhLiteral | Language.Fortran.Model.Repr.Prim |
_prhSymbolic | Language.Fortran.Model.Repr.Prim |
_prsBool16Repr | Language.Fortran.Model.Repr.Prim |
_prsBool32Repr | Language.Fortran.Model.Repr.Prim |
_prsBool64Repr | Language.Fortran.Model.Repr.Prim |
_prsBool8Repr | Language.Fortran.Model.Repr.Prim |
_prsDoubleRepr | Language.Fortran.Model.Repr.Prim |
_prsFloatRepr | Language.Fortran.Model.Repr.Prim |
_prsInt16Repr | Language.Fortran.Model.Repr.Prim |
_prsInt32Repr | Language.Fortran.Model.Repr.Prim |
_prsInt64Repr | Language.Fortran.Model.Repr.Prim |
_prsInt8Repr | Language.Fortran.Model.Repr.Prim |
_SodDecl | Camfort.Specification.Hoare.Syntax |
_SodSpec | Camfort.Specification.Hoare.Syntax |
_specFormula | Camfort.Specification.Hoare.Syntax |
_Specification | Camfort.Specification.Hoare.Syntax |
_SpecInvariant | Camfort.Specification.Hoare.Syntax |
_SpecPost | Camfort.Specification.Hoare.Syntax |
_SpecPre | Camfort.Specification.Hoare.Syntax |
_SpecSeq | Camfort.Specification.Hoare.Syntax |
_specType | Camfort.Specification.Hoare.Syntax |
_teImplicitVars | Language.Fortran.Model.Translate |
_teSemantics | Language.Fortran.Model.Translate |
_teVarsInScope | Language.Fortran.Model.Translate |