History

0.3.0 (2020-03-24)

  • Refinement of all the grammars. Extensive improvement of the parsing.
  • Integration with Pythomata >=0.3.0
  • Simplified interfaces and refactoring of the class hierarchy for the logic modules.
  • Introduced FiniteTraceWrapper. It allows evaluating any propositional over a finite trace.
  • Several bug fixes and improved testing.
  • Improvement of docs and metadata consistency.

0.2.3 (2019-10-10)

0.2.2 (2019-10-09)

  • Fix several issues in the computation of the delta function for LDLf.

0.2.1 (2019-10-09)

  • Replace parsing library PLY with Lark.

0.2.0 (2019-10-06)

  • Main refactoring of the package. No new features.

0.1.3 (2018-04-20)

  • Support for LTLf formulas and conversion into NFA, DFA and DFA on-the-fly

0.1.1 (2018-04-15)

  • Syntax, semantics and parsing support for the following formal languages:
    • Propositional Logic;
    • Linear Dynamic Logic on Finite Traces;
  • Conversion from LDLf formula to NFA, DFA and DFA on-the-fly

0.1.0 (2018-04-11)

  • First release on PyPI.