aboutsummaryrefslogtreecommitdiff
path: root/include/rv/da_monitor.h
AgeCommit message (Expand)AuthorFilesLines
14 daysrv: Prevent task migration while handling per-CPU eventsGabriele Monaco1-0/+11
14 daysrv: Ensure synchronous cleanup for HA monitorsGabriele Monaco1-3/+16
14 daysrv: Do not rely on clean monitor when initialising HAGabriele Monaco1-16/+75
14 daysrv: Fix monitor start ordering and memory ordering for monitoring flagWen Yang1-3/+5
14 daysrv: Ensure all pending probes terminate on per-obj monitor destroyGabriele Monaco1-2/+3
14 daysrv: Prevent in-flight per-task handlers from using invalid slotsGabriele Monaco1-0/+4
14 daysrv: Reset per-task DA monitors before releasing the slotGabriele Monaco1-2/+3
2026-03-31rv: Add support for per-object monitors in DA/HAGabriele Monaco1-5/+295
2026-03-31rv: Add Hybrid Automata monitor typeGabriele Monaco1-4/+69
2026-03-31rv: Unify DA event handling functions across monitor typesGabriele Monaco1-171/+132
2026-02-20rv: Fix multiple definition of __pcpu_unique_da_mon_thisMikhail Gavrilov1-5/+11
2026-01-12rv: Fix documentation reference in da_monitor.hShubham Sharma1-1/+1
2026-01-12rv: Cleanup da_monitor after refactorGabriele Monaco1-65/+42
2026-01-12rv: Refactor da_monitor to minimise macrosGabriele Monaco1-455/+443
2025-11-11rv: Pass va_list to reactorsThomas Weißschuh1-25/+10
2025-07-28rv: Retry when da monitor detects race conditionsGabriele Monaco1-53/+54
2025-07-28rv: Add da_handle_start_run_event_ to per-task monitorsGabriele Monaco1-0/+24
2025-07-09rv: Let the reactors take care of buffersNam Cao1-35/+10
2025-01-23rv: Reset per-task monitors also for idle tasksGabriele Monaco1-0/+4
2023-09-01rv: Set variable 'da_mon_##name' to staticYu Liao1-1/+1
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira1-0/+3
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira1-0/+541
generated by cgit