Gabriele Monaco <[email protected]> writes: > Just know that this parser is already quite fragile and we are planning a > major > refactor using ply with a well-defined grammar and tokenizer, like how the LTL > parser is implemented.
I will get to it after your hybrid automaton stuff is merged, I don't want to deal with conflict. Nam
