summaryrefslogtreecommitdiff
path: root/include/rv/da_monitor.h
AgeCommit message (Expand)Author
2025-01-23rv: Reset per-task monitors also for idle tasksGabriele Monaco
2023-09-01rv: Set variable 'da_mon_##name' to staticYu Liao
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira