aboutsummaryrefslogtreecommitdiffstats
path: root/include/rv/ha_monitor.h
AgeCommit message (Expand)AuthorFilesLines
2026-07-31rv: Add KUnit tests for some DA/HA monitorsGabriele Monaco1-0/+21
2026-07-20rv: Simplify hybrid automata monitors's clock variablesNam Cao1-48/+16
2026-06-03rv: Ensure synchronous cleanup for HA monitorsGabriele Monaco1-2/+25
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