0.1.0
First stable (minor) release with the following main features:
- Added support for Propositional Logic parsing, syntax representation and parsing.
- Added support for Linear Temporal Logic parsing and syntax representation.
- Added support for Past Linear Temporal Logic parsing and syntax representation.
- Added support for Linear Dynamic Logic parsing and syntax representation.
Moreover, included the following improvements from v0.1.0-alpha
:
- Improved to the behaviour of
Not
:- Make
Not
to simplify when the argument is a boolean formula. IfNot
is applied toTrueFormula
, then the output isFalseFormula
; likewise, if it is applied toFalseFormula
, the output isTrueFormula
. - Fix: replace
__neg__
with__invert__
- Make
- Improved simplification of monotone operators: check also the presence of
phi OP ~phi
and reduce according to the binary operator involved. - Added tests to check consistency between code and documentation.
- Updated grammars so as to be compliant with version
0.2.0
of this standard.