Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2025-03-25 | rv: Add option for nested monitors and include sched | Gabriele Monaco | 1 | -1/+1 |
2025-03-04 | rv: Add license identifiers to monitor files | Gabriele Monaco | 2 | -0/+3 |
2024-12-27 | rv: Simplify manual steps in monitor creation | Gabriele Monaco | 3 | -1/+28 |
2022-12-20 | rv/monitors: Move monitor structure in rodata | Alessandro Carminati | 1 | -1/+1 |
2022-09-27 | rv/monitor: Add __init/__exit annotations to module init/exit funcs | Xiu Jianfeng | 1 | -2/+2 |
2022-09-26 | rv/monitors: add 'static' qualifier for local symbols | Zeng Heng | 1 | -2/+2 |
2022-09-07 | rv/monitors: Make monitor's automata definition static | Daniel Bristot de Oliveira | 1 | -1/+1 |
2022-07-30 | rv/monitor: Add the wwnr monitor | Daniel Bristot de Oliveira | 2 | -0/+133 |