linux.git - Linux kernel source tree

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