camfort v1.0 Release Notes

Release Date: 2019-08-29 // over 4 years ago
    • ⚡️ Update to new fortran-src version 0.4.0.
    • 🆕 New command: basic-checks, which runs a series of other checks in Simple.hs.
    • ➕ Add max-lines threshold for snippets output, currently 5.
    • 📇 Rename units-compile to units-summarise/summarize.
    • Bring over same command-line flexibility to units-compile as 'fortran-src -c', can specify multiple files-or-directories.
    • 🏗 Use ModGraph functionality to allow units-summarise to build dependency graphs and summarise in build-order.
    • Search includedir recursively for mod-files, like fortran-src.
    • Numerous changes to increase strictness and reduce memory usage: use Pipes, avoid constructing needlessly large graphs.

Previous changes from v0.906

    • ⚡️ Update to new fortran-src version 0.3.0.
    • ➕ Add array-check, alloc-check, use-check, fp-check and implicit-none features.
      • A collection of sanity checks on Fortran code looking for common issues, possible problems or potential inefficiencies.
    • Introduce a divide-and-conquer methodology for solving units-inference problems, reducing the size of the matrices and taking advantage of SMP where available.
    • Treat constant-expressions and parameter variables as literals, for units-inference purposes, making it easier to retrofit units annotations onto existing programs.
    • ➕ Add 'units-infer --show-ast' feature, which decorates the displayed AST (internal data structure) with units information on each expression.
    • Made assorted efficiency improvements to the units solver and other features, especially for large projects with many files.
    • ➕ Add 'units-check --dump-mod-file' feature that lets you view an 'fsmod' file's contents with regard to units info.
    • 👍 Allow override of Fortran version used by parser using -F option.