summaryrefslogtreecommitdiff
path: root/kernel/trace/rv
AgeCommit message (Expand)AuthorFilesLines
2022-09-26rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng2-4/+4
2022-09-26rv/monitors: add 'static' qualifier for local symbolsZeng Heng2-4/+4
2022-09-06rv/reactor: add __init/__exit annotations to module init/exit funcsXiu Jianfeng2-4/+4
2022-09-06rv/monitors: Make monitor's automata definition staticDaniel Bristot de Oliveira2-2/+2
2022-08-04rv: Unlock on error path in rv_unregister_reactor()Dan Carpenter1-2/+4
2022-07-30rv/reactor: Add the panic reactorDaniel Bristot de Oliveira3-0/+52
2022-07-30rv/reactor: Add the printk reactorDaniel Bristot de Oliveira3-1/+52
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira4-0/+146
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira3-36/+29
2022-07-30rv/monitor: Add the wip monitor skeleton created by dot2kDaniel Bristot de Oliveira2-0/+155
2022-07-30Documentation/rv: Add a basic documentationDaniel Bristot de Oliveira2-0/+6
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira2-0/+16
2022-07-30rv: Add runtime reactors interfaceDaniel Bristot de Oliveira5-0/+564
2022-07-30rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira4-0/+830