History

1.0.1 (2020-07-03)

• Introduce optional argument to to_dfa() method for DFA in MONA output
• Add parsing support for LTLfLast() and PLTLfStart() 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.