camfort: CamFort - Cambridge Fortran infrastructure

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

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

Modules

Camfort

Downloads

camfort-0.902.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

DominicOrchard, mdanish, madgen, raehik

For package maintainers and hackage trustees

edit package information

Candidates

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

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), binary (>=0.8.3.0), bytestring (>=0.10), containers (>=0.5.0.0), directory (>=1.2), fgl (>=5.5), filepath, fortran-src (==0.1.0.6), GenericPretty (>=1.2), ghc-prim (>=0.3.1.0), hmatrix (>=0.17.0.1), lattices (>=1.5), matrix (>=0.2.2), mtl (>=2.1), partial-order (>=0.1.2), QuickCheck (>=2.8), sbv (>=5.14), syb (>=0.4), syz (>=0.2), 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
Source repo	head: git clone https://github.com/camfort/camfort
Uploaded	by madgen at 2017-05-29T15:26:42Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	camfort
Downloads	10075 total (46 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs available [build log] Last success reported on 2017-05-29 [all 1 reports]