Age | Commit message (Expand) | Author |
2023-04-28 | Merge tag 'trace-tools-v6.4' of git://git.kernel.org/pub/scm/linux/kernel/git... | Linus Torvalds |
2023-04-25 | rv: Remove redundant assignment to variable retval | Colin Ian King |
2023-04-13 | rv/reactor: remove MODULE_LICENSE in non-modules | Nick Alcock |
2023-01-25 | rv: remove redundant initialization of pointer ptr | Colin Ian King |
2022-12-20 | rv/monitors: Move monitor structure in rodata | Alessandro Carminati |
2022-09-26 | rv/monitor: Add __init/__exit annotations to module init/exit funcs | Xiu Jianfeng |
2022-09-26 | rv/monitors: add 'static' qualifier for local symbols | Zeng Heng |
2022-09-06 | rv/reactor: add __init/__exit annotations to module init/exit funcs | Xiu Jianfeng |
2022-09-06 | rv/monitors: Make monitor's automata definition static | Daniel Bristot de Oliveira |
2022-08-04 | rv: Unlock on error path in rv_unregister_reactor() | Dan Carpenter |
2022-07-30 | rv/reactor: Add the panic reactor | Daniel Bristot de Oliveira |
2022-07-30 | rv/reactor: Add the printk reactor | Daniel Bristot de Oliveira |
2022-07-30 | rv/monitor: Add the wwnr monitor | Daniel Bristot de Oliveira |
2022-07-30 | rv/monitor: Add the wip monitor | Daniel Bristot de Oliveira |
2022-07-30 | rv/monitor: Add the wip monitor skeleton created by dot2k | Daniel Bristot de Oliveira |
2022-07-30 | Documentation/rv: Add a basic documentation | Daniel Bristot de Oliveira |
2022-07-30 | rv/include: Add deterministic automata monitor definition via C macros | Daniel Bristot de Oliveira |
2022-07-30 | rv: Add runtime reactors interface | Daniel Bristot de Oliveira |
2022-07-30 | rv: Add Runtime Verification (RV) interface | Daniel Bristot de Oliveira |