summaryrefslogtreecommitdiffstats
path: root/kernel/trace/rv
Commit message (Expand)AuthorAgeFilesLines
* Merge tag 'trace-tools-v6.4' of git://git.kernel.org/pub/scm/linux/kernel/git...Linus Torvalds2023-04-281-2/+0
|\
| * rv: Remove redundant assignment to variable retvalColin Ian King2023-04-251-2/+0
* | rv/reactor: remove MODULE_LICENSE in non-modulesNick Alcock2023-04-132-2/+0
|/
* rv: remove redundant initialization of pointer ptrColin Ian King2023-01-251-1/+1
* rv/monitors: Move monitor structure in rodataAlessandro Carminati2022-12-202-2/+2
* rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng2022-09-262-4/+4
* rv/monitors: add 'static' qualifier for local symbolsZeng Heng2022-09-262-4/+4
* rv/reactor: add __init/__exit annotations to module init/exit funcsXiu Jianfeng2022-09-062-4/+4
* rv/monitors: Make monitor's automata definition staticDaniel Bristot de Oliveira2022-09-062-2/+2
* rv: Unlock on error path in rv_unregister_reactor()Dan Carpenter2022-08-041-2/+4
* rv/reactor: Add the panic reactorDaniel Bristot de Oliveira2022-07-303-0/+52
* rv/reactor: Add the printk reactorDaniel Bristot de Oliveira2022-07-303-1/+52
* rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira2022-07-304-0/+146
* rv/monitor: Add the wip monitorDaniel Bristot de Oliveira2022-07-303-36/+29
* rv/monitor: Add the wip monitor skeleton created by dot2kDaniel Bristot de Oliveira2022-07-302-0/+155
* Documentation/rv: Add a basic documentationDaniel Bristot de Oliveira2022-07-302-0/+6
* rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira2022-07-302-0/+16
* rv: Add runtime reactors interfaceDaniel Bristot de Oliveira2022-07-305-0/+564
* rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira2022-07-304-0/+830