diff options
| author | Nam Cao <namcao@linutronix.de> | 2025-07-04 15:20:06 +0200 |
|---|---|---|
| committer | Steven Rostedt (Google) <rostedt@goodmis.org> | 2025-07-24 10:42:47 -0400 |
| commit | 97ffa4ce6ab329bf601f1362bb2e181636fcc3a0 (patch) | |
| tree | 3e8de2282f69e2238fb774813f6d73aca2db8de5 /scripts/gdb/linux/xarray.py | |
| parent | cce86e03a27fdce11684c85ee33c528124904d8d (diff) | |
verification/rvgen: Add support for linear temporal logic
Add support for generating RV monitors from linear temporal logic, similar
to the generation of deterministic automaton monitors.
Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Cc: Gabriele Monaco <gmonaco@redhat.com>
Link: https://lore.kernel.org/f3c63b363ff9c5af3302ba2b5d92a26a98700eaf.1751634289.git.namcao@linutronix.de
Signed-off-by: Nam Cao <namcao@linutronix.de>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
Diffstat (limited to 'scripts/gdb/linux/xarray.py')
0 files changed, 0 insertions, 0 deletions