linux - linux

	Commit message (Expand)	Author	Age	Files	Lines
*	tools/verification: Use tools/build makefiles on rv	Daniel Bristot de Oliveira	2024-03-20	6	-133/+183
*	tools/rv: Fix curr_reactor uninitialized variable	Daniel Bristot de Oliveira	2024-02-12	1	-1/+1
*	tools/rv: Fix Makefile compiler options for clang	Daniel Bristot de Oliveira	2024-02-12	1	-1/+6
*	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-02-01	1	-1/+1
*	Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...	Linus Torvalds	2022-12-22	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-10	1	-2/+24
* \|	tools/rv: Add in-kernel monitor interface	Daniel Bristot de Oliveira	2022-12-10	3	-0/+704
* \|	rv: Add rv tool	Daniel Bristot de Oliveira	2022-12-10	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-27	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