summaryrefslogtreecommitdiffstats
path: root/include/rv (follow)
AgeCommit message (Expand)AuthorFilesLines
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-22rv/ltl: Do not execute the Buchi automaton twice on start conditionNam Cao1-1/+3
2025-07-09rv: Add support for LTL monitorsNam Cao1-0/+184
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 instrumentation helper functionsDaniel Bristot de Oliveira1-0/+29
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira1-0/+541
2022-07-30rv/include: Add helper functions for deterministic automataDaniel Bristot de Oliveira1-0/+75
generated by cgit v1.2.3 (git 2.39.1) at 2025-12-11 13:59:32 +0000