linux.git - Linux kernel mainline tree

	Commit message (Expand)	Author	Age	Files	Lines
*	verification/dot2k: Delete duplicate imports	Alessandro Carminati (Red Hat)	2023-10-30	1	-2/+0
*	rv: Fix addition on an uninitialized variable 'run'	Colin Ian King	2023-04-25	1	-1/+1
*	tools/rv: Remove unneeded semicolon	zhang songyi	2023-01-31	1	-1/+1
*	Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...	Linus Torvalds	2022-12-21	1	-1/+1
\|\
\| *	rv/monitors: Move monitor structure in rodata	Alessandro Carminati	2022-12-20	1	-1/+1
* \|	Documentation/rv: Add verification/rv man pages	Daniel Bristot de Oliveira	2022-12-09	1	-2/+24
* \|	tools/rv: Add in-kernel monitor interface	Daniel Bristot de Oliveira	2022-12-09	3	-0/+704
* \|	rv: Add rv tool	Daniel Bristot de Oliveira	2022-12-09	8	-0/+558
\|/
*	rv/dot2c: Make automaton definition static	Daniel Bristot de Oliveira	2022-10-20	1	-1/+1
*	rv/monitor: Add __init/__exit annotations to module init/exit funcs	Xiu Jianfeng	2022-09-26	3	-6/+6
*	rv/dot2K: add 'static' qualifier for local variable	Zeng Heng	2022-09-26	3	-6/+6
*	rv/monitor: Add the wwnr monitor	Daniel Bristot de Oliveira	2022-07-30	1	-0/+16
*	rv/monitor: Add the wip monitor	Daniel Bristot de Oliveira	2022-07-30	1	-0/+16
*	Documentation/rv: Add deterministic automata monitor synthesis documentation	Daniel Bristot de Oliveira	2022-07-30	2	-0/+6
*	tools/rv: Add dot2k	Daniel Bristot de Oliveira	2022-07-30	6	-0/+496
*	Documentation/rv: Add deterministic automaton documentation	Daniel Bristot de Oliveira	2022-07-30	3	-0/+9
*	tools/rv: Add dot2c	Daniel Bristot de Oliveira	2022-07-30	4	-0/+466