aboutsummaryrefslogtreecommitdiff
path: root/kernel/trace/rv
AgeCommit message (Expand)AuthorFilesLines
2023-04-28Merge tag 'trace-tools-v6.4' of git://git.kernel.org/pub/scm/linux/kernel/git...Gravatar Linus Torvalds 1-2/+0
2023-04-25rv: Remove redundant assignment to variable retvalGravatar Colin Ian King 1-2/+0
2023-04-13rv/reactor: remove MODULE_LICENSE in non-modulesGravatar Nick Alcock 2-2/+0
2023-01-25rv: remove redundant initialization of pointer ptrGravatar Colin Ian King 1-1/+1
2022-12-20rv/monitors: Move monitor structure in rodataGravatar Alessandro Carminati 2-2/+2
2022-09-26rv/monitor: Add __init/__exit annotations to module init/exit funcsGravatar Xiu Jianfeng 2-4/+4
2022-09-26rv/monitors: add 'static' qualifier for local symbolsGravatar Zeng Heng 2-4/+4
2022-09-06rv/reactor: add __init/__exit annotations to module init/exit funcsGravatar Xiu Jianfeng 2-4/+4
2022-09-06rv/monitors: Make monitor's automata definition staticGravatar Daniel Bristot de Oliveira 2-2/+2
2022-08-04rv: Unlock on error path in rv_unregister_reactor()Gravatar Dan Carpenter 1-2/+4
2022-07-30rv/reactor: Add the panic reactorGravatar Daniel Bristot de Oliveira 3-0/+52
2022-07-30rv/reactor: Add the printk reactorGravatar Daniel Bristot de Oliveira 3-1/+52
2022-07-30rv/monitor: Add the wwnr monitorGravatar Daniel Bristot de Oliveira 4-0/+146
2022-07-30rv/monitor: Add the wip monitorGravatar Daniel Bristot de Oliveira 3-36/+29
2022-07-30rv/monitor: Add the wip monitor skeleton created by dot2kGravatar Daniel Bristot de Oliveira 2-0/+155
2022-07-30Documentation/rv: Add a basic documentationGravatar Daniel Bristot de Oliveira 2-0/+6
2022-07-30rv/include: Add deterministic automata monitor definition via C macrosGravatar Daniel Bristot de Oliveira 2-0/+16
2022-07-30rv: Add runtime reactors interfaceGravatar Daniel Bristot de Oliveira 5-0/+564
2022-07-30rv: Add Runtime Verification (RV) interfaceGravatar Daniel Bristot de Oliveira 4-0/+830