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
[Index]
- Camfort
- Analysis
- Camfort.Functionality
- Camfort.Helpers
- Camfort.Input
- Camfort.Output
- 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.Stencils
- Transformation
Downloads
- camfort-0.901.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) |
---|---|
Dependencies | array (>=0.4), base (>=4.6 && <5), bytestring (>=0.10), containers (>=0.5.0.0), directory (>=1.2), fgl (>=5.5), filepath, fortran-src (>=0.1.0.4), GenericPretty (>=1.2), ghc-prim (>=0.3.1.0), hmatrix (>=0.17.0.1), matrix (>=0.2.2), mtl (>=2.1), QuickCheck (>=2.8), syb (>=0.4), syz (>=0.2), text (>=0.11.2.3), transformers (>=0.4), uniplate (>=1.6.10), vector (>=0.1) [details] |
Tested with | ghc >=7.8 |
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 |
Source repo | head: git clone https://github.com/camfort/camfort |
Uploaded | by DominicOrchard at 2016-09-26T13:19:00Z |
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 available [build log] Last success reported on 2016-09-26 [all 1 reports] |