LTLf2DFA
LTLf2DFA copied to clipboard
whitemech
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
Bumps [black](https://github.com/psf/black) from 23.3.0 to 24.3.0. Release notes Sourced from black's releases. 24.3.0 Highlights This release is a milestone: it fixes Black's first CVE security vulnerability. If you run Black...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [cryptography](https://github.com/pyca/cryptography) from 41.0.6 to 42.0.4. Changelog Sourced from cryptography's changelog. 42.0.4 - 2024-02-20 * Fixed a null-pointer-dereference and segfault that could occur when creating a PKCS#12 bundle. Credit to...
Hi many thanks for the tool. I am trying to convert the formula (WX(a) b) for which the automaton is this:  Shouldn't the string "~b", i.e. not b be...
## Proposed changes Describe the big picture of your changes here to communicate to the maintainers why we should accept this pull request. ## Fixes If it fixes a bug...
another bug !(G((!(request) | F(state_0))))
Bumps [jinja2](https://github.com/pallets/jinja) from 3.1.2 to 3.1.3. Release notes Sourced from jinja2's releases. 3.1.3 This is a fix release for the 3.1.x feature branch. Fix for GHSA-h5c8-rqwp-cp95. You are affected if...
Bumps [gitpython](https://github.com/gitpython-developers/GitPython) from 3.1.37 to 3.1.41. Release notes Sourced from gitpython's releases. 3.1.41 - fix Windows security issue The details about the Windows security issue can be found in this...
There are several things to improve the current parsing: - update the current parsing implementation using pylogics - pay attention to the symbol naming convention - the `to_mona` would just...
Currently, the output is a DOT graph. It would be nice to give the possibility of returning the DFA also with the following outputs: - HOA - return the DFA...