« Changelog History


liquid-fixpoint v0.8.0.1 Release Notes

    • 👌 Support for HORN-NNF format clauses, see tests/horn/{pos,neg}/*.smt2
    • 👌 Support for "existential binders", see tests/pos/ebind-*.fq for example. This only works with --eliminate.
    • 🚚 Move to GHC 8.4.3