| Age | Commit message (Expand) | Author |
|---|---|---|
| 2026-06-03 | rv: Ensure synchronous cleanup for HA monitors | Gabriele Monaco |
| 2026-06-03 | rv: Add automatic cleanup handlers for per-task HA monitors | Gabriele Monaco |
| 2026-06-03 | rv: Do not rely on clean monitor when initialising HA | Gabriele Monaco |
| 2026-03-31 | rv: Add support for per-object monitors in DA/HA | Gabriele Monaco |
| 2026-03-31 | rv: Add Hybrid Automata monitor type | Gabriele Monaco |
