lib:camfort
Modules
- Camfort.Analysis
- Camfort.Analysis.Annotations
- Camfort.Analysis.CommentAnnotator
- Camfort.Analysis.Logger
- Camfort.Analysis.ModFile
- Camfort.Analysis.Simple
- Camfort.Functionality
- Camfort.Helpers
- Camfort.Helpers.Syntax
- Camfort.Helpers.TypeLevel
- Camfort.Helpers.Vec
- Camfort.Input
- Camfort.Output
- Camfort.Reprint
- Camfort.Specification.DerivedDataType
- Camfort.Specification.DerivedDataType.Parser
- Camfort.Specification.Hoare
- Camfort.Specification.Hoare.Annotation
- Camfort.Specification.Hoare.CheckBackend
- Camfort.Specification.Hoare.CheckFrontend
- Camfort.Specification.Hoare.Lexer
- Camfort.Specification.Hoare.Parser
- Camfort.Specification.Hoare.Parser.Types
- Camfort.Specification.Hoare.Syntax
- Camfort.Specification.Hoare.Translate
- Camfort.Specification.Parser
- Camfort.Specification.Stencils
- Camfort.Specification.Stencils.Analysis
- Camfort.Specification.Stencils.Annotation
- Camfort.Specification.Stencils.CheckBackend
- Camfort.Specification.Stencils.CheckFrontend
- Camfort.Specification.Stencils.Consistency
- Camfort.Specification.Stencils.DenotationalSemantics
- Camfort.Specification.Stencils.Generate
- Camfort.Specification.Stencils.InferenceBackend
- Camfort.Specification.Stencils.InferenceFrontend
- Camfort.Specification.Stencils.Model
- Camfort.Specification.Stencils.Parser
- Camfort.Specification.Stencils.Parser.Types
- Camfort.Specification.Stencils.PartialOrd
- Camfort.Specification.Stencils.Syntax
- Camfort.Specification.Stencils.Synthesis
- Camfort.Specification.Units
- Camfort.Specification.Units.Analysis
- Camfort.Specification.Units.Analysis.Consistent
- Camfort.Specification.Units.Analysis.Criticals
- Camfort.Specification.Units.Analysis.Infer
- Camfort.Specification.Units.Annotation
- Camfort.Specification.Units.BackendTypes
- Camfort.Specification.Units.Environment
- Camfort.Specification.Units.InferenceBackend
- Camfort.Specification.Units.InferenceBackendFlint
- Camfort.Specification.Units.InferenceBackendSBV
- Camfort.Specification.Units.ModFile
- Camfort.Specification.Units.Monad
- Camfort.Specification.Units.MonadTypes
- Camfort.Specification.Units.Parser
- Camfort.Specification.Units.Parser.Types
- Camfort.Specification.Units.Synthesis
- Camfort.Transformation.CommonBlockElim
- Camfort.Transformation.DeadCode
- Camfort.Transformation.EquivalenceElim
- Language.Fortran.Model
- Language.Fortran.Model.Op
- Language.Fortran.Model.Op.Core
- Language.Fortran.Model.Op.Core.Core
- Language.Fortran.Model.Op.Core.Eval
- Language.Fortran.Model.Op.Core.Match
- Language.Fortran.Model.Op.Eval
- Language.Fortran.Model.Op.High
- Language.Fortran.Model.Op.Meta
- Language.Fortran.Model.Repr
- Language.Fortran.Model.Repr.Prim
- Language.Fortran.Model.Singletons
- Language.Fortran.Model.Translate
- Language.Fortran.Model.Types
- Language.Fortran.Model.Types.Match
- Language.Fortran.Model.Util
- Language.Fortran.Model.Vars
Dependencies
- GenericPretty lib:GenericPretty >=1.2.2 && <1.3
- array lib:array >=0.4 && <0.6
- base lib:base >=4.6 && <5
- binary lib:binary >=0.8.3.0 && <0.11
- bytestring lib:bytestring >=0.10 && <0.12
- containers lib:containers >=0.5.0.0 && <0.7
- deepseq lib:deepseq >=1.4 && <1.5
- directory lib:directory >=1.2 && <2
- fgl lib:fgl >=5.6 && <5.9
- filepath lib:filepath >=1.4 && <1.5
- fortran-src lib:fortran-src >=0.11.0 && <0.12
- ghc-prim lib:ghc-prim >=0.3.1.0 && <0.10
- hmatrix lib:hmatrix >=0.20 && <0.21
- lattices lib:lattices >=2.0.0 && <2.1
- lens lib:lens >=4.15.1 && <6
- matrix lib:matrix >=0.2.2 && <0.4
- mmorph lib:mmorph >=1.0.9 && <2
- mtl lib:mtl >=2.1 && <2.3
- parallel lib:parallel >=3.2 && <3.3
- pipes lib:pipes >=4.3 && <4.4
- pretty lib:pretty >=1.1 && <2
- sbv lib:sbv >=8.0 && <10
- singletons lib:singletons >=3.0 && <3.2
- singletons-base lib:singletons-base >=3.0 && <3.2
- singletons-th lib:singletons-th >=3.0 && <3.2
- strict lib:strict >=0.3.2 && <1
- syb lib:syb >=0.4 && <0.8
- syz lib:syz >=0.2 && <0.3
- template-haskell lib:template-haskell >=2.11 && <3
- text lib:text >=0.11.2.3 && <2.1
- transformers lib:transformers >=0.5.5.0 && <0.6
- uniplate lib:uniplate >=1.6.10 && <1.7
- vector lib:vector >=0.1 && <0.13
- verifiable-expressions lib:verifiable-expressions >=0.6.2 && <0.8.0
- vinyl lib:vinyl >=0.9 && <1.0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- camfort exe:camfort
- camfort test:spec