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