CamFort

@camfort_tool

CamFort is a tool developed at the University of Cambridge and University of Kent for the specification, verification, and evolution of Fortran code.

England, United Kingdom

CamFort
@camfort_tool
Jul 18, 2022
fortran-src-extras now includes a JSON serialiser so that fortran-src can be plugged into other analysis tools more easily
hackage.haskell.org
fortran-src-extras
Common functions and utils for fortran-src.
1
CamFort
@camfort_tool
Jul 18, 2022
fortran-src (our Fortran frontend and static analysis infrastructure) v0.10.0 has been released: hackage.haskell.org/package/fortra… Improved ergonomics and various fixes.
CamFort
@camfort_tool
Oct 4, 2021
CamFort v1.1.1 released, now with better Windows support and various bug fixes: github.com/camfort/camfor… Want to try adding units-of-measure typing to your code whilst maintaining 100% compatibility with your existing toolchain? See the tutorial here: github.com/camfort/camfor…
Release Version 1.1.1 · camfort/camfort
From github.com
1
CamFort
@camfort_tool
Mar 9, 2021
We have a new release of our core static analysis library for Fortran code, fortran-src v0.4.2 github.com/camfort/fortra… This is the start of various new things on the horizon (watch this space!)
Release Version 0.4.2 · camfort/fortran-src
From github.com
1
CamFort
@camfort_tool
Mar 9, 2021
We have a new version of CamFort v1.0.1 to work with latest dependencies. camfort.github.io/news.html