summaryrefslogtreecommitdiffstats
path: root/kernel/trace/rv/monitors/opid
AgeCommit message (Expand)AuthorLines
2026-03-31rv: Convert the opid monitor to a hybrid automatonGabriele Monaco-152/+60
2026-01-12verification/dot2c: Remove superfluous enum assignment and add last commaGabriele Monaco-11/+11
2026-01-12rv: Refactor da_monitor to minimise macrosGabriele Monaco-21/+21
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco-0/+306