lydia
lydia copied to clipboard
whitemech
A tool for LDLf translation to DFA and for LDLf synthesis.
Currently, the MONA GTA library is linked to the `liblydia.a` library. Such dependency is not actually needed to compile the Lydia library, and therefore should be removed. Thanks to @Shufang-Zhu...
**Describe the bug** Using `lydia --version` does not work; it prints: ``` --logic is required Run with --help for more information. ``` **To Reproduce** Steps to reproduce the behavior: 1....
The current behaviour of `LTLfParser` is to directly translate LTLf formulae into LDLf formulae. This is not ideal in general, especially for programmatic usage. It conflates two concepts, parsing and...
Investigate whether the usage of `std::enable_shared_from_this` can help in our library. One of the pain points is that we have to forbid static allocation. However, that would let us in...
Print DFA in HOA format. Fixes #46 ## Types of changes What types of changes does your code introduce? Put an `x` in all the boxes that apply: - [X]...
**Describe the solution you'd like** Prevent adding a transition to Symbolic DFA from state 0, because it is the default sink.
**Is your feature request related to a problem? Please describe.** It is missing a proper way to represent an automaton in a specific format. HOA format seems to be a...
**Is your feature request related to a problem? Please describe.** When the DFA is built incrementally, the library should prevent any change to the state 0, that is: - cannot...