All Versions
15
Latest Version
Avg Release Cycle
135 days
Latest Release
-
Changelog History
Page 1
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
- ๐ Support for HORN-NNF format clauses, see
-
v0.7.0.7 Changes
February 15, 2018โ Add support for coercions to support GADTs.
-
v0.7.0.1 Changes
August 24, 2017Many changes and new features, including:
๐ 1. New
eliminate
based solver (see ICFP 2017 paper for algorithm) ๐ 2. Proof by Logical Evaluation seetests/proof
- SMTLIB2 ADTs to make data constructors injective
๐ 4. Uniformly support polymorphic functions via
elaborate
- SMTLIB2 ADTs to make data constructors injective
๐ 4. Uniformly support polymorphic functions via
-
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
- ๐ New
-
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
- 0๏ธโฃ Make interpreted mul and div the default, when
-
v0.2.3.2
March 27, 2015