verification/rvgen: Switch LTL parser to Lark

Browse source

The LTL parser is built using Ply. However, Ply is no longer
maintained [1].

Switch to use Lark instead. In addition to being actively maintained, Lark
also offers additional features (namely, automatically creating the
abstract syntax tree) which make the parser simpler.

Link: 9d7c40099e [1]
Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/73d149221d96090342c7de408d032573de9cb6c4.1781847583.git.namcao@linutronix.de
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>

...

This commit is contained in:

Nam Cao 2026-06-19 07:52:04 +02:00 • committed by Gabriele Monaco

parent 1590cf0329

commit ae2e47b177

2 changed files with 82 additions and 125 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

5

tools/verification/rvgen/__main__.py

View file

184

tools/verification/rvgen/rvgen/ltl2ba.py

View file