| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2026-07-31 | rv: Add KUnit tests for some DA/HA monitors | 3 | -0/+68 | |
| 2026-06-03 | rv: Use 0 to check preemption enabled in opid | 1 | -7/+1 | |
| 2026-06-03 | rv: Add automatic cleanup handlers for per-task HA monitors | 1 | -2/+2 | |
| 2026-03-31 | rv: Convert the opid monitor to a hybrid automaton | 4 | -151/+59 | |
| 2026-01-12 | verification/dot2c: Remove superfluous enum assignment and add last comma | 1 | -11/+11 | |
| 2026-01-12 | rv: Refactor da_monitor to minimise macros | 2 | -21/+21 | |
| 2025-07-28 | rv: Add opid per-cpu monitor | 4 | -0/+306 |
