summaryrefslogtreecommitdiff
path: root/include/linux/rv.h
AgeCommit message (Expand)Author
2025-09-15include/linux/rv.h: remove redundant include fileAkhilesh Patil
2025-07-28rv: Retry when da monitor detects race conditionsGabriele Monaco
2025-07-25rv: Remove struct rv_monitor::reactingNam Cao
2025-07-25rv: Remove rv_reactor's reference counterNam Cao
2025-07-25rv: Merge struct rv_reactor_def into struct rv_reactorNam Cao
2025-07-25rv: Merge struct rv_monitor_def into struct rv_monitorNam Cao
2025-07-09rv: Allow to configure the number of per-task monitorNam Cao
2025-07-09rv: Add support for LTL monitorsNam Cao
2025-07-09rv: Let the reactors take care of buffersNam Cao
2025-03-24rv: Add option for nested monitors and include schedGabriele Monaco
2025-03-24sched: Add sched tracepoints for RV task modelGabriele Monaco
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira