Changelog for 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.