camfort: CamFort - Cambridge Fortran infrastructure
[ analysis, apache, fortran, language, library, program ]
[ Propose Tags ]
[ Report a vulnerability ]
CamFort is a tool for the analysis, transformation, verification of Fortran code.
Modules
- Camfort
- 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
- Specification
- 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.Specification.Units.Analysis
- Camfort.Specification.DerivedDataType
- Transformation
- Camfort.Transformation.CommonBlockElim
- Camfort.Transformation.DeadCode
- Camfort.Transformation.EquivalenceElim
- Camfort.Analysis
- Language
- Fortran
- 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.Op.Core
- 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
- Language.Fortran.Model.Op
- Language.Fortran.Model
- Fortran
Downloads
- camfort-0.906.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Versions [RSS] | 0.62, 0.615, 0.700, 0.800, 0.802, 0.804, 0.900, 0.901, 0.902, 0.903, 0.904, 0.905, 0.906, 1.0, 1.0.1, 1.1.0, 1.1.1, 1.1.2, 1.2.0 (info) |
---|---|
Change log | CHANGELOG.md |
Dependencies | array (>=0.4 && <0.6), base (>=4.6 && <5), binary (>=0.8.3.0 && <0.9), bytestring (>=0.10 && <0.11), camfort, containers (>=0.5.0.0 && <0.7), directory (>=1.2 && <1.4), fgl (>=5.6 && <5.8), filepath (>=1.4 && <1.5), fortran-src (>=0.3 && <0.4), GenericPretty (>=1.2.2 && <1.3), ghc-prim (>=0.3.1.0 && <0.6), hmatrix (>=0.15 && <0.20), lattices (>=1.7.1 && <1.8), lens (>=4.15.1 && <5), matrix (>=0.2.2 && <0.4), mmorph (>=1.0.9 && <2), mtl (>=2.1 && <2.3), optparse-applicative (>=0.14 && <0.15), parallel, pretty (>=1.1 && <2), sbv (>=7.0 && <8), singletons (>=2.2 && <3), strict (>=0.3.2 && <1), syb (>=0.4 && <0.8), syz (>=0.2 && <0.3), template-haskell (>=2.11 && <3), text (>=0.11.2.3 && <1.3), transformers (>=0.5.5.0 && <0.6), uniplate (>=1.6.10 && <1.7), vector (>=0.1 && <0.13), verifiable-expressions (>=0.4), vinyl (>=0.6 && <1.0), writer-cps-morph (>=0.1.0.2), writer-cps-mtl (>=0.1.1.5), writer-cps-transformers (>=0.1.1.2) [details] |
Tested with | ghc >=8.6 |
License | Apache-2.0 |
Copyright | 2012-2019 University of Cambridge |
Author | Matthew Danish, Mistral Contrastin, Andrew Rice, Dominic Orchard |
Maintainer | Matthew Danish |
Category | Language |
Home page | https://camfort.github.io |
Bug tracker | https://github.com/camfort/camfort/issues |
Source repo | head: git clone https://github.com/camfort/camfort |
Uploaded | by mdanish at 2019-06-17T22:11:52Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | camfort |
Downloads | 10369 total (24 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2019-06-17 [all 2 reports] |