summaryrefslogtreecommitdiff
path: root/kernel/trace/rv/monitors/wip
AgeCommit message (Expand)Author
2026-01-12verification/dot2c: Remove superfluous enum assignment and add last commaGabriele Monaco
2026-01-12rv: Refactor da_monitor to minimise macrosGabriele Monaco
2025-07-28rv: Adjust monitor dependenciesGabriele Monaco
2025-07-24rv: Return init error when registering monitorsGabriele Monaco
2025-03-24rv: Add option for nested monitors and include schedGabriele Monaco
2025-03-04rv: Add license identifiers to monitor filesGabriele Monaco
2024-12-27rv: Simplify manual steps in monitor creationGabriele Monaco
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati
2022-09-26rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng
2022-09-26rv/monitors: add 'static' qualifier for local symbolsZeng Heng
2022-09-06rv/monitors: Make monitor's automata definition staticDaniel Bristot de Oliveira
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira
2022-07-30rv/monitor: Add the wip monitor skeleton created by dot2kDaniel Bristot de Oliveira