aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/kernel/trace/rv/rv.c (follow)
AgeCommit message (Expand)AuthorFilesLines
2025-04-12rv: Fix out-of-bound memory access in rv_is_container_monitor()Nam Cao1-1/+6
2025-04-02rv: Fix missing unlock on double nested monitors return pathGabriele Monaco1-1/+2
2025-03-24rv: Add option for nested monitors and include schedGabriele Monaco1-23/+131
2024-12-27rv: Simplify manual steps in monitor creationGabriele Monaco1-1/+1
2024-10-04rv: Fix a typoAndrew Kreimer1-1/+1
2024-09-27[tree-wide] finally take no_llseek outAl Viro1-3/+0
2024-05-21rv: Update rv_en(dis)able_monitor doc to match kernel-docYang Li1-0/+2
2023-04-25rv: Remove redundant assignment to variable retvalColin Ian King1-2/+0
2023-01-25rv: remove redundant initialization of pointer ptrColin Ian King1-1/+1
2022-07-30Documentation/rv: Add a basic documentationDaniel Bristot de Oliveira1-0/+3
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira1-0/+5
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira1-0/+9
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira1-0/+782