Final version built with GHC 9.6.3

• Stopped folding constants that contain NaN #670

Final version built with GHC 9.4.7

v0.9.4.7

Add CHANGES.md and README.md to extra-doc-files

Final version built with GHC 9.2.5

v9.2.5

Bump version to 0.9.2.5

Final version built with GHC 9.0.2

v9.0.2

update version for release

Final version built with GHC 8.10.2

Merge pull request #501 from facundominguez/fd/ghc-8.10.7

Update stack snapshot to build with ghc-8.10.7

Coercions

Add support for coercions to support GADTs.

liquid-fixpoint-0.7.0.1

Many changes and new features, including:

1. New eliminate based solver (see ICFP 2017 paper for algorithm)
2. Proof by Logical Evaluation see tests/proof
3. SMTLIB2 ADTs to make data constructors injective
4. Uniformly support polymorphic functions via elaborate