Changelog of @hackage/tip-lib 0.2.2

tip-lib 0.2.2 (released 2015-12-15):

  • New passes: --bool-op-lift, --uniq-locals
  • New output mode: Waldmeister
  • Type skolemise conjectures more economoically
  • Allow induction in presence of nested quantifiers
  • Small bug fixes

tip-lib 0.2.1 (released 2015-11-16):

  • Make haddock documentation build

tip-lib 0.2 (released 2015-10-28):

  • New output modes:
    • Haskell with support for Feat, QuickCheck, LazySmallCheck, and smten.
    • TFF
    • SMTLIB with axiomatised function definitions
  • New passes to manipulate assertions, apply structural induction, monomorphise, transform booleans and integers, axiomatize function declarations.
  • Parser changes:
    • Support declare-const, define-fun, define-fun-rec.
    • Correctly handle let-expressions
  • Pretty print chained let expressions in groups
  • New helper exports in Tip.Core and Tip.Utils

tip-lib 0.1.2 (released 2015-06-11):

  • Make haddock documentation build (reported by Peter Simons.)

tip-lib 0.1.1 (released 2015-06-11):

  • List alex and happy as build-tools (thanks to Peter Simons.)
  • Add errors.h as extra source file.

tip-lib 0.1 (released 2015-06-11):

  • Initial release.