All Versions
19
Latest Version
Avg Release Cycle
32 days
Latest Release
-
Changelog History
Page 1
Changelog History
Page 1
-
v1.6.0 Changes
- ๐ The Unicode symbols for logical connectives are now accepted by the parser and command-line program: ยฌ, โง, โจ, โ and โ.
- ๐ฅ Breaking API change: the
assignments
function now takes a list of expressions rather than a single expression. - ๐ New parser which handles operator precedence and associativity. This change entails a dependency bump: Parsec 3 is now required.
- ๐ Fixed a bug in the
toNNF
function: doubly-negated expressions are now converted into normal form rather than just having the double negation removed. - โ Added an
equivalents
function checking whether a list of propositions are all mutually equivalent. - โ Added an
implies
function checking whether a set of expressions semantically entail some expression. - โ Added a
simplify
function to theNormalForms
module, which simplifies expressions by removing stronger disjuncts and weaker conjuncts, as well as some other simplifications. - The
toCNF
andtoDNF
functions now further simplify their output using thesimplify
function. - โ Limit number of expressions tested by QuickCheck to ensure the test suite runs quickly and doesn't eat the test machine.
-
v1.5.0 Changes
- ๐ฅ Breaking API change: variables are now represented by a newtype wrapper
Var
aroundChar
s, rather than just aString
. This made it easier to write a good QuickCheck instance for this type. - โ Added QuickCheck instances for the
Expr
andVar
datatypes. - โ Added a module to perform conversions of expressions to various normal forms,
including negation normal form, conjunctive normal form and disjunctive normal
form. Its use is supported in interactive mode by prefixing an expression with
"nnf", "cnf" or "dnf". Tests for the module are included and can be run with
cabal test
. The module is exported asData.Logic.Propositional.NormalForms
and must be imported separately. - The
Data.Logic.Propositional.Tables
module is now exported by the library. ItstruthTable
andtruthTableP
functions are still exported by the mainData.Logic.Propositional
module (as well as by the newly exposed module) for backwards compatibility. - The
values
function is now exported.
- ๐ฅ Breaking API change: variables are now represented by a newtype wrapper
-
v1.5.0.3
November 24, 2012 -
v1.5.0.2
November 13, 2012 -
v1.5.0.1
November 13, 2012 -
v1.5.0.0
November 11, 2012 -
v1.4.0 Changes
October 25, 2011- ๐ Make the parser slightly more liberal: unparenthesised expressions with a binary connective as their primary connective such as "a | b" are now parsed correctly, as are expressions with superfluous spaces such as " ( c -> ~ d )".
-
v1.4.0.2
January 04, 2012 -
v1.4.0.1
October 31, 2011 -
v1.3.1 Changes
October 17, 2011- โ Added command history and better text input handling with Haskeline.