The camfort package

[Tags:apache, library, program, test]

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

Properties

Versions 0.62, 0.615, 0.700, 0.800, 0.802, 0.804, 0.900, 0.901, 0.902
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 repository head: git clone https://github.com/camfort/camfort
Uploaded Mon May 29 15:26:42 UTC 2017 by madgen
Distributions LTSHaskell:0.901, NixOS:0.902, Stackage:0.902, Tumbleweed:0.901
Downloads 528 total (41 in the last 30 days)
Votes
0 []
Status Docs available [build log]
Last success reported on 2017-05-29 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees