camfort: CamFort - Cambridge Fortran infrastructure

[ apache, language, library, program ] [ Propose Tags ]

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

Versions [faq] 0.62, 0.615, 0.700, 0.800, 0.802, 0.804, 0.900, 0.901, 0.902, 0.903, 0.904, 0.905 (info)
Dependencies array (>=0.5.1), base (<5), bytestring (>=0.10), comonad (>=3), containers (>=0.5.0.0), directory (>=1.2), fclabels (>=2), fgl (>=5.5), filepath, fortran-src (>=0.1), generic-deriving (>=1.5.5), GenericPretty (>=1.2), ghc-prim (==0.4.0.0), haskell-src (>=1.0.1), hmatrix (>=0.17.0.1), language-fortran (>=0.5.1), matrix (>=0.2.2), mtl (>=2.1), QuickCheck (>=2.8), regex-base (>=0.93.2), regex-pcre (>=0.94.4), syb (>=0.4), syz (>=0.2), template-haskell (>=2.4), text (>=0.11.2.3), transformers (>=0.4), uniplate (>=1.6.10), vector (>=0.1) [details]
License Apache-2.0
Copyright 2012-2016 University of Cambridge
Author Dominic Orchard, Matthew Danish, Mistral Contrastin, Andrew Rice, Oleg Oshmyan
Maintainer dom.orchard@gmail.com
Category Language, tools
Source repo head: git clone https://github.com/dorchard/camfort
Uploaded by DominicOrchard at Thu Jul 14 11:31:02 UTC 2016
Distributions NixOS:0.905
Executables analyse, camfort
Downloads 3472 total (128 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-11-22 [all 1 reports]

Modules

  • Camfort
    • Analysis
      • Camfort.Analysis.Annotations
      • Camfort.Analysis.CallGraph
      • Camfort.Analysis.CommentAnnotator
      • Camfort.Analysis.IntermediateReps
      • Camfort.Analysis.LVA
      • Camfort.Analysis.Loops
      • Camfort.Analysis.Syntax
      • Camfort.Analysis.Types
    • Camfort.Functionality
    • Camfort.Helpers
      • Camfort.Helpers.Vec
    • Camfort.Input
    • Camfort.Output
    • Camfort.PrettyPrint
    • Camfort.Reprint
    • 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.Debug
        • Camfort.Specification.Units.Environment
        • Camfort.Specification.Units.InferenceBackend
        • Camfort.Specification.Units.InferenceFrontend
        • Camfort.Specification.Units.Parser
        • Camfort.Specification.Units.Solve
        • Camfort.Specification.Units.SolveHMatrix
        • Camfort.Specification.Units.Strip
        • Camfort.Specification.Units.Synthesis
    • Transformation
      • Camfort.Transformation.CommonBlockElim
      • Camfort.Transformation.CommonBlockElimToCalls
      • Camfort.Transformation.DeadCode
      • Camfort.Transformation.DerivedTypeIntro
      • Camfort.Transformation.EquivalenceElim
      • Camfort.Transformation.Syntax
    • Camfort.Traverse

Downloads

Maintainer's Corner

For package maintainers and hackage trustees