History

1.0.2 (2022-02-25)

Introduce PPLTLWeakBefore and PPLTLPastRelease support
Hotfix problem on translation of the Once operator
Increase code coverage

1.0.1 (2020-07-03)

Introduce optional argument to to_dfa() method for DFA in MONA output
Add parsing support for LTLfLast() and PPLTLStart() keywords
Some fixes
Increase code coverage

1.0.0.post0 (2020-06-05)

Include *.lark files in the package build
New online version: http://ltlf2dfa.diag.uniroma1.it/.

1.0.0 (2020-05-20)

Refinement of all the grammars. Extensive improvement of the parsing.
Introduce interfaces and class hierarchy for the logic modules.
Several bug fixes and introduce testing.
Introduce of docs.
Introduce Continuous Integration.
Refactor translation feature.
Replace parsing library PLY with Lark.

0.2.2 (2019-09-25)

Online version: http://ltlf2dfa.diag.uniroma1.it/.

0.2.0 (2019-09-03)

0.1.3 (2018-07-22)

0.1.0 (2018-07-18)

First release on PyPI.