linux - linux

	Commit message (Expand)	Author	Age	Files	Lines
*	rv: remove redundant initialization of pointer ptr	Colin Ian King	2023-01-25	1	-1/+1
*	rv/monitors: Move monitor structure in rodata	Alessandro Carminati	2022-12-20	2	-2/+2
*	rv/monitor: Add __init/__exit annotations to module init/exit funcs	Xiu Jianfeng	2022-09-27	2	-4/+4
*	rv/monitors: add 'static' qualifier for local symbols	Zeng Heng	2022-09-26	2	-4/+4
*	rv/reactor: add __init/__exit annotations to module init/exit funcs	Xiu Jianfeng	2022-09-07	2	-4/+4
*	rv/monitors: Make monitor's automata definition static	Daniel Bristot de Oliveira	2022-09-07	2	-2/+2
*	rv: Unlock on error path in rv_unregister_reactor()	Dan Carpenter	2022-08-05	1	-2/+4
*	rv/reactor: Add the panic reactor	Daniel Bristot de Oliveira	2022-07-30	3	-0/+52
*	rv/reactor: Add the printk reactor	Daniel Bristot de Oliveira	2022-07-30	3	-1/+52
*	rv/monitor: Add the wwnr monitor	Daniel Bristot de Oliveira	2022-07-30	4	-0/+146
*	rv/monitor: Add the wip monitor	Daniel Bristot de Oliveira	2022-07-30	3	-36/+29
*	rv/monitor: Add the wip monitor skeleton created by dot2k	Daniel Bristot de Oliveira	2022-07-30	2	-0/+155
*	Documentation/rv: Add a basic documentation	Daniel Bristot de Oliveira	2022-07-30	2	-0/+6
*	rv/include: Add deterministic automata monitor definition via C macros	Daniel Bristot de Oliveira	2022-07-30	2	-0/+16
*	rv: Add runtime reactors interface	Daniel Bristot de Oliveira	2022-07-30	5	-0/+564
*	rv: Add Runtime Verification (RV) interface	Daniel Bristot de Oliveira	2022-07-30	4	-0/+830