v0.2.1

What's Changed

The main change of this release is to relax the supported grammar, in particular regarding the symbols definition.

• Wip/grammar by @francescofuggitti in #81
  • Earlier, symbols could not contain uppercase letters. Now, symbols cannot start with uppercase letters.
  • Now, hyphens can only occur in the middle characters of a word, i.e. neither at the start nor at the end of the symbol (unless quoted).
  • Double quoted words can contain all printable characters (except the double quote ".

New Contributors

• @francescofuggitti made their first contribution in #81
• @cipollone made their first contribution in cb303b0

Full Changelog: v0.1.1...v0.2.0

0.1.1

• Fixed bug in LDLf parsing; the regular expression of type "test"
  was not parsed correctly (#76).
• Other minor bug fixings

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. If Not is applied to TrueFormula, then the output is FalseFormula; likewise, if it is applied to FalseFormula, the output is TrueFormula.
  • Fix: replace __neg__ with __invert__
• 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.