All Versions
15
Latest Version
Avg Release Cycle
135 days
Latest Release
-

Changelog History
Page 1

  • v0.8.0.1 Changes

    • ๐Ÿ‘Œ 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
  • v0.7.0.7 Changes

    February 15, 2018

    โž• Add support for coercions to support GADTs.

  • v0.7.0.1 Changes

    August 24, 2017

    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
  • v0.7.0.0 Changes

    • ๐Ÿ†• New eliminate based solver (see ICFP 2017 paper for algorithm)
    • ๐Ÿ‘€ Proof by Logical Evaluation see tests/proof
    • SMTLIB2 ADTs to make data constructors injective
    • ๐Ÿ‘ Uniformly support polymorphic functions via apply and elaborate
  • v0.5.0.1

    April 05, 2016
  • v0.5.0.0

    April 01, 2016
  • v0.4.0.0

    August 12, 2015
  • v0.3.0.1

    May 22, 2015
  • v0.3.0.0 Changes

    • 0๏ธโƒฃ Make interpreted mul and div the default, when solver = z3
    • ๐Ÿ‘‰ Use higherorder flag to allow higher order binders into the environment
  • v0.2.3.2

    March 27, 2015