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 |