The camfort package

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

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, 0.903, 0.904 (info)
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.5.*), filepath (==1.4.*), fortran-src (>=0.2.0.0 && <0.3), GenericPretty (==1.2.*), ghc-prim (>=0.3.1.0 && <0.6), hmatrix (>=0.15 && <0.19), lattices (==1.5.*), matrix (>=0.2.2 && <0.4), mtl (>=2.1 && <2.3), optparse-applicative (>=0.13.2.0 && <0.14), partial-order (>=0.1.2.1 && <0.1.3), sbv (>=7.0 && <8), syb (>=0.4 && <0.7), syz (==0.2.*), text (>=0.11.2.3 && <1.3), transformers (>=0.4 && <0.6), uniplate (>=1.6.10 && <1.7), vector (>=0.1 && <0.12) [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
Home page https://camfort.github.io
Bug tracker https://github.com/camfort/camfort/issues
Source repository head: git clone https://github.com/camfort/camfort
Uploaded Wed Jul 26 15:09:38 UTC 2017 by madgen
Distributions NixOS:0.904, Tumbleweed:0.901
Executables camfort
Downloads 831 total (61 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-07-26 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees