camfort

CamFort - Cambridge Fortran infrastructure

Version on this page:	0.901
LTS Haskell 8.24:	0.901
Stackage Nightly 2017-07-20:	0.902
Latest on Hackage:	1.2.0

See all snapshots camfort appears in

Apache-2.0 licensed by Dominic Orchard, Matthew Danish, Mistral Contrastin, Andrew Rice, Oleg Oshmyan

Maintained by [email protected]

This version can be pinned in stack with:camfort-0.901@sha256:d64994a3283a6a2f550269f38ff036e2ce673c8566e32d97dbc381525170b676,7504

Module documentation for 0.901

Camfort
- Camfort.Analysis
  - Camfort.Analysis.Annotations
  - Camfort.Analysis.CommentAnnotator
  - Camfort.Analysis.Simple
- Camfort.Functionality
- Camfort.Helpers
  - Camfort.Helpers.Syntax
  - Camfort.Helpers.Vec
- Camfort.Input
- Camfort.Output
- Camfort.Reprint
- Camfort.Specification
  - Camfort.Specification.Stencils
    - Camfort.Specification.Stencils.Annotation
    - Camfort.Specification.Stencils.CheckBackend
    - Camfort.Specification.Stencils.CheckFrontend
    - Camfort.Specification.Stencils.Grammar
    - Camfort.Specification.Stencils.InferenceBackend
    - Camfort.Specification.Stencils.InferenceFrontend
    - Camfort.Specification.Stencils.Model
    - Camfort.Specification.Stencils.Syntax
    - Camfort.Specification.Stencils.Synthesis
  - Camfort.Specification.Units
    - Camfort.Specification.Units.Environment
    - Camfort.Specification.Units.InferenceBackend
    - Camfort.Specification.Units.InferenceFrontend
    - Camfort.Specification.Units.Monad
    - Camfort.Specification.Units.Parser
    - Camfort.Specification.Units.Synthesis
- Camfort.Transformation
  - Camfort.Transformation.CommonBlockElim
  - Camfort.Transformation.DeadCode
  - Camfort.Transformation.EquivalenceElim

Depends on 20 packages(full list with versions):

array, base, bytestring, containers, directory, fgl, filepath, fortran-src, GenericPretty, ghc-prim, hmatrix, matrix, mtl, QuickCheck, syb, syz, text, transformers, uniplate, vector

CamFort is a tool for the analysis, transformation, verification of Fortran code.