summaryrefslogtreecommitdiff
path: root/include/rv/da_monitor.h
AgeCommit message (Expand)Author
13 daysrv: Prevent task migration while handling per-CPU eventsGabriele Monaco
13 daysrv: Ensure synchronous cleanup for HA monitorsGabriele Monaco
13 daysrv: Do not rely on clean monitor when initialising HAGabriele Monaco
13 daysrv: Fix monitor start ordering and memory ordering for monitoring flagWen Yang
13 daysrv: Ensure all pending probes terminate on per-obj monitor destroyGabriele Monaco
13 daysrv: Prevent in-flight per-task handlers from using invalid slotsGabriele Monaco
13 daysrv: Reset per-task DA monitors before releasing the slotGabriele Monaco
2026-03-31rv: Add support for per-object monitors in DA/HAGabriele Monaco
2026-03-31rv: Add Hybrid Automata monitor typeGabriele Monaco
2026-03-31rv: Unify DA event handling functions across monitor typesGabriele Monaco
2026-02-20rv: Fix multiple definition of __pcpu_unique_da_mon_thisMikhail Gavrilov
2026-01-12rv: Fix documentation reference in da_monitor.hShubham Sharma
2026-01-12rv: Cleanup da_monitor after refactorGabriele Monaco
2026-01-12rv: Refactor da_monitor to minimise macrosGabriele Monaco
2025-11-11rv: Pass va_list to reactorsThomas Weißschuh
2025-07-28rv: Retry when da monitor detects race conditionsGabriele Monaco
2025-07-28rv: Add da_handle_start_run_event_ to per-task monitorsGabriele Monaco
2025-07-09rv: Let the reactors take care of buffersNam Cao
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