summaryrefslogtreecommitdiff
path: root/include/rv
AgeCommit message (Expand)Author
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-12-02rv: Fix compilation if !CONFIG_RV_REACTORSGabriele Monaco
2025-11-11rv: Pass va_list to reactorsThomas Weißschuh
2025-09-29Merge tag 'kernel-6.18-rc1.clone3' of git://git.kernel.org/pub/scm/linux/kern...Linus Torvalds
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-22rv/ltl: Do not execute the Buchi automaton twice on start conditionNam Cao
2025-07-09rv: Add support for LTL monitorsNam Cao
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 instrumentation helper functionsDaniel Bristot de Oliveira
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira
2022-07-30rv/include: Add helper functions for deterministic automataDaniel Bristot de Oliveira
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-02 18:40:27 +0000