| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2026-01-12 | verification/dot2c: Remove superfluous enum assignment and add last comma | 1 | -6/+6 | |
| 2026-01-12 | rv: Refactor da_monitor to minimise macros | 2 | -15/+15 | |
| 2025-07-24 | rv: Return init error when registering monitors | 1 | -2/+1 | |
| 2025-03-24 | rv: Add option for nested monitors and include sched | 1 | -1/+1 | |
| 2025-03-04 | rv: Add license identifiers to monitor files | 2 | -0/+3 | |
| 2024-12-27 | rv: Simplify manual steps in monitor creation | 3 | -1/+28 | |
| 2022-12-20 | rv/monitors: Move monitor structure in rodata | 1 | -1/+1 | |
| 2022-09-26 | rv/monitor: Add __init/__exit annotations to module init/exit funcs | 1 | -2/+2 | |
| 2022-09-26 | rv/monitors: add 'static' qualifier for local symbols | 1 | -2/+2 | |
| 2022-09-06 | rv/monitors: Make monitor's automata definition static | 1 | -1/+1 | |
| 2022-07-30 | rv/monitor: Add the wwnr monitor | 2 | -0/+133 |
