summaryrefslogtreecommitdiff
path: root/kernel/trace/rv
AgeCommit message (Expand)Author
2023-01-25rv: remove redundant initialization of pointer ptrColin Ian King
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati
2022-09-26rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng
2022-09-26rv/monitors: add 'static' qualifier for local symbolsZeng Heng
2022-09-06rv/reactor: add __init/__exit annotations to module init/exit funcsXiu Jianfeng
2022-09-06rv/monitors: Make monitor's automata definition staticDaniel Bristot de Oliveira
2022-08-04rv: Unlock on error path in rv_unregister_reactor()Dan Carpenter
2022-07-30rv/reactor: Add the panic reactorDaniel Bristot de Oliveira
2022-07-30rv/reactor: Add the printk reactorDaniel Bristot de Oliveira
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira
2022-07-30rv/monitor: Add the wip monitor skeleton created by dot2kDaniel Bristot de Oliveira
2022-07-30Documentation/rv: Add a basic documentationDaniel Bristot de Oliveira
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