Flloat

Latest version: v0.3.0

Safety actively analyzes 613460 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 1 of 2

0.3.0

* 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

* Reverting some changes made on release `0.2.2`.
* Updated live version: [http://flloat.herokuapp.com/](http://flloat.herokuapp.com/)

0.2.2

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

0.2.1

* Replace parsing library PLY with [Lark](https://github.com/lark-parser/lark).

0.2.0

* Main refactoring of the package. No new features.

0.1.3

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

Page 1 of 2

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.