aboutsummaryrefslogtreecommitdiffstats
path: root/include/linux/rv.h (follow)
AgeCommit message (Expand)AuthorFilesLines
2025-09-15include/linux/rv.h: remove redundant include fileAkhilesh Patil1-4/+2
2025-07-28rv: Retry when da monitor detects race conditionsGabriele Monaco1-1/+2
2025-07-25rv: Remove struct rv_monitor::reactingNam Cao1-1/+0
2025-07-25rv: Remove rv_reactor's reference counterNam Cao1-2/+0
2025-07-25rv: Merge struct rv_reactor_def into struct rv_reactorNam Cao1-1/+4
2025-07-25rv: Merge struct rv_monitor_def into struct rv_monitorNam Cao1-0/+8
2025-07-09rv: Allow to configure the number of per-task monitorNam Cao1-8/+1
2025-07-09rv: Add support for LTL monitorsNam Cao1-4/+59
2025-07-09rv: Let the reactors take care of buffersNam Cao1-2/+7
2025-03-24rv: Add option for nested monitors and include schedGabriele Monaco1-1/+1
2025-03-24sched: Add sched tracepoints for RV task modelGabriele Monaco1-1/+1
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira1-0/+10
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira1-0/+17
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira1-0/+43
Copyright © 1996 – 2023 Jason A. Donenfeld. All Rights Reverse Engineered.