HISTORY.md

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)

• Reverting some changes made on release 0.2.2.
• Updated live version: http://flloat.herokuapp.com/

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.