camfort: CamFort - Cambridge Fortran infrastructure

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

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

Versions 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)
Change log CHANGELOG.md
Dependencies array (>=0.4 && <0.6), base (>=4.6 && <5), binary (>=0.8.3.0 && <0.9), bytestring (==0.10.*), camfort, containers (>=0.5.0.0 && <0.6), directory (>=1.2 && <1.4), fgl (==5.6.*), filepath (==1.4.*), fortran-src (>=0.2.1.1 && <0.3), GenericPretty (>=1.2.2 && <1.3), ghc-prim (>=0.3.1.0 && <0.6), hmatrix (>=0.15 && <0.19), 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.*), partial-order (>=0.1.2.1 && <0.1.3), sbv (>=7.0 && <8), singletons (>=2.2 && <3), syb (>=0.4 && <0.8), syz (==0.2.*), template-haskell (>=2.11 && <3), text (>=0.11.2.3 && <1.3), transformers (>=0.4 && <0.6), uniplate (>=1.6.10 && <1.7), vector (>=0.1 && <0.13), verifiable-expressions (>=0.4), vinyl (>=0.6 && <1.0) [details]
License Apache-2.0
Copyright 2012-2018 University of Cambridge
Author Dominic Orchard, Matthew Danish, Mistral Contrastin, Andrew Rice, Oleg Oshmyan
Maintainer dom.orchard@gmail.com
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 madgen at Fri May 18 13:30:04 UTC 2018
Distributions NixOS:0.905
Executables camfort
Downloads 2477 total (130 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2018-05-18 [all 2 reports]
Hackage Matrix CI

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.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.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
    • Transformation
      • Camfort.Transformation.CommonBlockElim
      • Camfort.Transformation.DeadCode
      • Camfort.Transformation.EquivalenceElim
  • 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.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

Downloads

Maintainer's Corner

For package maintainers and hackage trustees