camfort: CamFort - Cambridge Fortran infrastructure

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

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

Versions [RSS] [faq] 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 (info)
Change log CHANGELOG.md
Dependencies array (>=0.4 && <0.6), base (>=4.6 && <5), binary (>=0.8.3.0 && <0.11), bytestring (>=0.10 && <0.12), camfort, containers (>=0.5.0.0 && <0.7), deepseq (==1.4.*), directory (>=1.2 && <1.4), fgl (>=5.6 && <5.8), filepath (==1.4.*), fortran-src (==0.4.*), GenericPretty (>=1.2.2 && <1.3), ghc-prim (>=0.3.1.0 && <0.7), hmatrix (==0.20.*), lattices (>=2.0.0 && <2.1), lens (>=4.15.1 && <6), matrix (>=0.2.2 && <0.4), mmorph (>=1.0.9 && <2), mtl (>=2.1 && <2.3), optparse-applicative (>=0.14 && <0.16), parallel (==3.2.*), pipes (==4.3.*), pretty (>=1.1 && <2), sbv (>=8.0 && <9), singletons (>=2.2 && <3), strict (>=0.3.2 && <1), syb (>=0.4 && <0.8), syz (==0.2.*), template-haskell (>=2.11 && <3), text (>=0.11.2.3 && <1.3), transformers (>=0.5.5.0 && <0.6), uniplate (>=1.6.10 && <1.7), vector (>=0.1 && <0.13), verifiable-expressions (>=0.6.0 && <0.8.0), vinyl (>=0.9 && <1.0) [details]
License Apache-2.0
Copyright 2012-2019 University of Cambridge
Author Matthew Danish, Mistral Contrastin, Andrew Rice, Dominic Orchard
Maintainer Matthew Danish
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 raehik at 2021-03-08T17:26:42Z
Distributions NixOS:1.1.0
Executables camfort
Downloads 8171 total (260 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]

Modules

[Index] [Quick Jump]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees

Candidates