aboutsummaryrefslogtreecommitdiffstats
path: root/include/trace/events/rv.h (follow)
AgeCommit message (Expand)AuthorFilesLines
2024-12-27rv: Simplify manual steps in monitor creationGabriele Monaco1-142/+0
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira1-0/+12
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira1-0/+10
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira1-0/+120