summaryrefslogtreecommitdiff
path: root/include/rv/ha_monitor.h
AgeCommit message (Expand)AuthorFilesLines
2026-06-03rv: Ensure synchronous cleanup for HA monitorsGabriele Monaco1-3/+26
2026-06-03rv: Add automatic cleanup handlers for per-task HA monitorsGabriele Monaco1-0/+60
2026-06-03rv: Do not rely on clean monitor when initialising HAGabriele Monaco1-1/+1
2026-03-31rv: Add support for per-object monitors in DA/HAGabriele Monaco1-1/+4
2026-03-31rv: Add Hybrid Automata monitor typeGabriele Monaco1-0/+475