camfort

CamFort - Cambridge Fortran infrastructure https://camfort.github.io

Version on this page:0.804
LTS Haskell 8.24:0.901
Stackage Nightly 2017-07-20:0.902
Latest on Hackage:0.905

See all snapshots camfort appears in

Apache-2.0 licensed by Dominic Orchard, Matthew Danish, Mistral Contrastin, Andrew Rice, Oleg Oshmyan

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

Changes

0.905 (18 May, 2018)

  • Greatly improved units-of-measure support
  • Separate verification of modules
  • Prototype invariants checking feature
  • Implicit-none check on program units
  • Fortran 95 support
comments powered byDisqus