diff options
| author | Nam Cao <namcao@linutronix.de> | 2026-06-19 07:52:04 +0200 |
|---|---|---|
| committer | Gabriele Monaco <gmonaco@redhat.com> | 2026-07-20 13:54:25 +0200 |
| commit | ae2e47b177478b794e29db389fce262cbf3ab9c6 (patch) | |
| tree | 479b5a5be84fa98035a3bfb7b9d88eb8d3b55ba9 /tools/perf/scripts | |
| parent | 1590cf0329716306e948a8fc29f1d3ee87d3989f (diff) | |
verification/rvgen: Switch LTL parser to Lark
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: https://github.com/dabeaz/ply/commit/9d7c40099e23ff78f9d86ef69a26c1e8a83e706a [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>
Diffstat (limited to 'tools/perf/scripts')
0 files changed, 0 insertions, 0 deletions