https://github.com/camfort/camfort - Version 1.2.0

• Improve CLI help behaviour
• Update to fortran-src 0.11.0
• Support GHC 9.0, 9.2, 9.4
• Dropped support for GHC 8.10 and older

- Haskell
Published by raehik over 3 years ago

https://github.com/camfort/camfort - Version 1.1.2

Meta update to provide a release to tie new platform builds to.

• Update internal version string (had been left at 1.0)

- Haskell
Published by raehik over 4 years ago

https://github.com/camfort/camfort - Version 1.1.1

• Fix Flint interface for Windows
• Update to fortran-src 0.6.0
• Improve COMMON block elimination (array type support)

Binaries are taken from a CI run from subsequent commit that updated just CI and metadata. There's also a Windows distribution built manually that includes runtime dependencies.

- Haskell
Published by raehik over 4 years ago

https://github.com/camfort/camfort - Version 1.1.0

Released July 06 2021.

• Update fortran-src

- Haskell
Published by raehik over 4 years ago

https://github.com/camfort/camfort - Version 1.0.1

• Update fortran-src, verifiable-expressions versions
• Require minimum Vinyl 0.9 (RMap etc. type classes)
• Support at least GHC 8.6, 8.8, 8.10 (on Linux)
• Fix an issue caused by SBV version update

- Haskell
Published by raehik almost 5 years ago

https://github.com/camfort/camfort - Version 1.0

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

- Haskell
Published by mrd over 6 years ago

https://github.com/camfort/camfort - Version 0.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.

- Haskell
Published by mrd over 6 years ago

https://github.com/camfort/camfort -

• Adds Hoare Logic style spec prototype
• Extends Fortran 95 & legacy extension support
• Improves units-of-measure capability and performance

- Haskell
Published by madgen almost 8 years ago

https://github.com/camfort/camfort - v0.904

• Guards to future proof against dependencies
• Faster build times
• Better command line interface
• Various bug fixes with stencil specifications
• Improved error messages

- Haskell
Published by madgen over 8 years ago

https://github.com/camfort/camfort - v0.903

This is a deprecated version please use a newer version if available or use 0.902.

• Z3 requirement is increase to version 4.5

- Haskell
Published by madgen over 8 years ago

https://github.com/camfort/camfort - v0.902

• Improved stencil specification support;
• Polymorphic unit signatures (see this example);
• Much faster verification times.

- Haskell
Published by madgen over 8 years ago

https://github.com/camfort/camfort -

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

- Haskell
Published by dorchard over 9 years ago

https://github.com/camfort/camfort -

- Haskell
Published by madgen over 9 years ago

https://github.com/camfort/camfort -

- Haskell
Published by madgen over 9 years ago

https://github.com/camfort/camfort -

- Haskell
Published by madgen over 9 years ago