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] [Quick Jump]

Downloads

camfort-1.2.0.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)
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 && <1.5), directory (>=1.2 && <2), fgl (>=5.6 && <5.9), filepath (>=1.4 && <1.5), fortran-src (>=0.11.0 && <0.12), GenericPretty (>=1.2.2 && <1.3), ghc-prim (>=0.3.1.0 && <0.10), hmatrix (>=0.20 && <0.21), 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.18), parallel (>=3.2 && <3.3), pipes (>=4.3 && <4.4), pretty (>=1.1 && <2), sbv (>=8.0 && <10), singletons (>=3.0 && <3.2), singletons-base (>=3.0 && <3.2), singletons-th (>=3.0 && <3.2), strict (>=0.3.2 && <1), syb (>=0.4 && <0.8), syz (>=0.2 && <0.3), template-haskell (>=2.11 && <3), text (>=0.11.2.3 && <2.1), transformers (>=0.5.5.0 && <0.6), uniplate (>=1.6.10 && <1.7), vector (>=0.1 && <0.13), verifiable-expressions (>=0.6.2 && <0.8.0), vinyl (>=0.9 && <1.0) [details]
Tested with	ghc ==9.0, ghc ==9.2, ghc ==9.4
License	Apache-2.0
Copyright	2012-2019 University of Cambridge
Author	Matthew Danish, Mistral Contrastin, Andrew Rice, Dominic Orchard
Maintainer	Matthew Danish, Ben Orchard
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 2022-10-12T17:18:31Z
Distributions
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	camfort
Downloads	10392 total (24 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs uploaded by user Build status unknown [no reports yet]