« Changelog History


liquid-fixpoint v0.7.0.1 Release Notes

Release Date: 2017-08-24 // over 6 years ago

  • 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

    1. SMTLIB2 ADTs to make data constructors injective 👍 4. Uniformly support polymorphic functions via elaborate