On Thu, 2026-01-22 at 16:35 +0100, Nam Cao wrote: > 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
Definitely, that isn't a priority. By the way, I just noticed the ply repo got archived on Github [1], I wonder this endeavour is wise, although ply seems quite ubiquitous so someone may step up and fork the project. [1] - https://github.com/dabeaz/ply#important-notice---december-21-2025
