« Changelog History


camfort v0.901 Release Notes

Release Date: 2016-09-26 // over 7 years ago

  • 🚀 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