linux.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author	Files	Lines
2025-03-24	verification/dot2k: Add support for nested monitors	Gabriele Monaco	6	-27/+125
2025-03-04	rv: Add license identifiers to monitor files	Gabriele Monaco	2	-0/+3
2024-12-27	verification/dot2k: Implement event type detection	Gabriele Monaco	2	-2/+41
2024-12-27	verification/dot2k: Auto patch current kernel source	Gabriele Monaco	2	-15/+82
2024-12-27	verification/dot2k: Simplify manual steps in monitor creation	Gabriele Monaco	5	-5/+110
2024-12-27	verification/dot2k: Add support for name and description options	Gabriele Monaco	5	-14/+12
2024-12-27	verification/dot2k: More robust template variables	Gabriele Monaco	2	-32/+32
2024-12-27	verification/dot2k: Unify main.c templates	Gabriele Monaco	4	-184/+7
2024-12-27	verification/dot2k: Fix template directory detection	Gabriele Monaco	1	-8/+8
2024-11-19	verification/dot2: Improve dot parser robustness	Gabriele Monaco	1	-9/+9
2023-10-30	verification/dot2k: Delete duplicate imports	Alessandro Carminati (Red Hat)	1	-2/+0
2022-12-20	rv/monitors: Move monitor structure in rodata	Alessandro Carminati	1	-1/+1
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	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