All Versions
9
Latest Version
1.0
Avg Release Cycle
178 days
Latest Release
788 days ago

Changelog History

  • v1.0 Changes

    August 29, 2019
    • โšก๏ธ 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.
  • v0.906 Changes

    June 17, 2019
    • โšก๏ธ 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.
  • v0.905 Changes

    May 18, 2018
    • ๐Ÿ‘ Greatly improved units-of-measure support
    • Separate verification of modules
    • Prototype invariants checking feature
    • Implicit-none check on program units
    • ๐Ÿ‘ Fortran 95 support
  • v0.904 Changes

    July 26, 2017
    • Guards to future proof against dependencies
    • ๐Ÿ— Faster build times
    • ๐Ÿ‘ Better command line interface
    • ๐Ÿ›  Various bug fixes with stencil specifications
    • ๐Ÿ‘Œ Improved error messages
  • v0.903 Changes

    July 26, 2017

    ๐Ÿ—„ This is a deprecated version please use a newer version if available or use 0.902.

    • Z3 requirement is increase to version 4.5
  • v0.902 Changes

    May 29, 2017
    • ๐Ÿ‘Œ Improved stencil specification support;
    • ๐Ÿ‘€ Polymorphic unit signatures (see this example);
    • Much faster verification times.
  • v0.901 Changes

    September 26, 2016

    ๐Ÿš€ This release fixes a few bugs in the units and stencils specification verification tool and provides some better error messages:

    • Irreflexive stencils now checked correctly;
    • Ignore the use of modulus inside stencil code (e.g. treat a(modulus(i, n)) as a(i) in the analysis;
    • ๐Ÿ“œ Provide parse errors for malformed units, rather than silent errors;
    • ๐Ÿ‘ Allow specifications for stencils to be synthesised inside conditionals;
    • Synthesised unit specifications with exponents are now correctly formatted with rationals.

    ๐Ÿ“ฆ Hackage version: http://hackage.haskell.org/package/camfort-0.901

  • v0.900

    September 01, 2016
  • v0.900.b

    September 09, 2016