Changelog

1.0 → 2.0.0.0

Breaking changes

• CLI rewritten: The caell executable now uses optparse-applicative instead of cmdargs. Command-line flags have changed:
  • Use --cegartix / --lax-cegartix for output format selection
  • Use --extension, --correspondence, --x-semantics to select output

Improvements

• Upgraded to cabal-version: 3.0 format
• Relaxed dependency bounds to build on GHC 9.4+
• Updated to CarneadesDSL 2.0 and Dung 2.0
• Added test suite (tasty + HUnit)
• Added GitHub Actions CI for GHC 9.4, 9.6, 9.8, 9.10
• Fixed all -Wall warnings
• Removed dependency on unmaintained cmdargs library
• Converted documentation to Markdown

0.9 → 1.0

This package version is updated with a command line utility.

• Make use of the CarneadesDSL Input and Dung Output modules to provide a command line interface reading a Carneades Argument Evaluation Structure and possible give the evaluation result or output in CEGARTIX format.