name: camfort version: 0.802 synopsis: CamFort - Cambridge Fortran infrastructure description: CamFort is a tool for the analysis, transformation, verification of Fortran code. copyright: 2012-2016 University of Cambridge author: Dominic Orchard, Matthew Danish, Mistral Contrastin, Andrew Rice, Oleg Oshmyan maintainer: dom.orchard@gmail.com license: Apache-2.0 license-file: LICENSE stability: experimental build-type: Simple category: Language, tools cabal-version: >= 1.8 tested-with: GHC >= 7.10.1 test-suite spec type: exitcode-stdio-1.0 main-is: Spec.hs hs-source-dirs: tests build-depends: base < 5, containers >= 0.5, filepath >= 1.4, directory >= 1.2, hspec >= 2.2, QuickCheck >= 2.8, fortran-src >= 0.1, uniplate >= 1.6.10, mtl >= 2.1, bytestring >= 0.10, camfort source-repository head type: git location: https://github.com/dorchard/camfort executable camfort main-is: Main.hs hs-source-dirs: src other-modules: Camfort.Analysis.Annotations Camfort.Analysis.CallGraph Camfort.Analysis.CommentAnnotator Camfort.Analysis.IntermediateReps Camfort.Analysis.Loops Camfort.Analysis.LVA Camfort.Analysis.Syntax Camfort.Analysis.Types Camfort.Specification.Stencils.Annotation Camfort.Specification.Stencils.CheckBackend Camfort.Specification.Stencils.CheckFrontend Camfort.Specification.Stencils.InferenceBackend Camfort.Specification.Stencils.InferenceFrontend Camfort.Specification.Stencils.Model Camfort.Specification.Stencils.Syntax Camfort.Specification.Stencils.Grammar Camfort.Specification.Stencils.Synthesis Camfort.Specification.Stencils Camfort.Specification.Units Camfort.Specification.Units.Debug Camfort.Specification.Units.InferenceFrontend Camfort.Specification.Units.InferenceBackend Camfort.Specification.Units.Environment Camfort.Specification.Units.Parser Camfort.Specification.Units.Solve Camfort.Specification.Units.SolveHMatrix Camfort.Specification.Units.Strip Camfort.Specification.Units.Synthesis Camfort.Transformation.CommonBlockElim Camfort.Transformation.CommonBlockElimToCalls Camfort.Transformation.DeadCode Camfort.Transformation.DerivedTypeIntro Camfort.Transformation.EquivalenceElim Camfort.Transformation.Syntax Camfort.Helpers Camfort.Helpers.Vec Camfort.Functionality Camfort.Input Camfort.Output Camfort.Reprint Camfort.PrettyPrint Camfort.Traverse Main build-depends: base < 5, ghc-prim >= 0.4.0.0, containers >= 0.5.0.0, template-haskell >=2.4, generic-deriving >=1.5.5, uniplate >= 1.6.10, comonad >= 3, fclabels >= 2, haskell-src >= 1.0.1, syz >= 0.2, syb >= 0.4, matrix >=0.2.2, vector >= 0.1, hmatrix >= 0.15, mtl >= 2.1, text >= 0.11.2.3, array >= 0.4, directory >= 1.2, language-fortran >= 0.5.1, transformers >= 0.4, GenericPretty >= 1.2, QuickCheck >= 2.8, fortran-src >= 0.1, filepath, fgl >= 5.5, bytestring >= 0.10 library hs-source-dirs: src -- ghc-options: -package mtl-2.1.3.1 build-tools: alex, happy exposed-modules: Camfort.Analysis.Annotations Camfort.Analysis.CallGraph Camfort.Analysis.CommentAnnotator Camfort.Analysis.IntermediateReps Camfort.Analysis.Loops Camfort.Analysis.LVA Camfort.Analysis.Syntax Camfort.Analysis.Types Camfort.Specification.Stencils.Annotation Camfort.Specification.Stencils.CheckBackend Camfort.Specification.Stencils.CheckFrontend Camfort.Specification.Stencils.InferenceBackend Camfort.Specification.Stencils.InferenceFrontend Camfort.Specification.Stencils.Model Camfort.Specification.Stencils.Syntax Camfort.Specification.Stencils.Grammar Camfort.Specification.Stencils.Synthesis Camfort.Specification.Stencils Camfort.Specification.Units Camfort.Specification.Units.Debug Camfort.Specification.Units.InferenceFrontend Camfort.Specification.Units.InferenceBackend Camfort.Specification.Units.Environment Camfort.Specification.Units.Parser Camfort.Specification.Units.Solve Camfort.Specification.Units.SolveHMatrix Camfort.Specification.Units.Strip Camfort.Specification.Units.Synthesis Camfort.Transformation.CommonBlockElim Camfort.Transformation.CommonBlockElimToCalls Camfort.Transformation.DeadCode Camfort.Transformation.DerivedTypeIntro Camfort.Transformation.EquivalenceElim Camfort.Transformation.Syntax Camfort.Helpers Camfort.Helpers.Vec Camfort.Functionality Camfort.Input Camfort.Output Camfort.Reprint Camfort.PrettyPrint Camfort.Traverse other-modules: build-depends: base < 5, ghc-prim >= 0.4.0.0, containers >= 0.5.0.0, template-haskell >=2.4, generic-deriving >=1.5.5, uniplate >= 1.6.10, comonad >= 3, fclabels >= 2, haskell-src >= 1.0.1, syz >= 0.2, syb >= 0.4, matrix >=0.2.2, hmatrix >= 0.17.0.1, mtl >= 2.1, text >= 0.11.2.3, array >= 0.4, directory >= 1.2, language-fortran >= 0.5.1, transformers >= 0.4, vector >= 0.1, GenericPretty >= 1.2, fortran-src >= 0.1, filepath, bytestring >= 0.10, fgl >= 5.5 executable analyse main-is: Analyse.hs hs-source-dirs: eval build-depends: base < 5, array >= 0.5.1, bytestring >= 0.10, containers >= 0.5.0.0, regex-base >= 0.93.2, regex-pcre >= 0.94.4