linux-arm.git - Russell King's ARM Linux kernel tree

Age	Commit message (Expand)	Author
2024-12-27	verification/dot2k: Implement event type detection	Gabriele Monaco
2024-12-27	verification/dot2k: Auto patch current kernel source	Gabriele Monaco
2024-12-27	verification/dot2k: Simplify manual steps in monitor creation	Gabriele Monaco
2024-12-27	verification/dot2k: Add support for name and description options	Gabriele Monaco
2024-12-27	verification/dot2k: More robust template variables	Gabriele Monaco
2024-12-27	verification/dot2k: Unify main.c templates	Gabriele Monaco
2024-12-27	verification/dot2k: Fix template directory detection	Gabriele Monaco
2024-11-19	verification/dot2: Improve dot parser robustness	Gabriele Monaco
2023-10-30	verification/dot2k: Delete duplicate imports	Alessandro Carminati (Red Hat)
2022-12-20	rv/monitors: Move monitor structure in rodata	Alessandro Carminati
2022-10-20	rv/dot2c: Make automaton definition static	Daniel Bristot de Oliveira
2022-09-26	rv/monitor: Add __init/__exit annotations to module init/exit funcs	Xiu Jianfeng
2022-09-26	rv/dot2K: add 'static' qualifier for local variable	Zeng Heng
2022-07-30	Documentation/rv: Add deterministic automata monitor synthesis documentation	Daniel Bristot de Oliveira
2022-07-30	tools/rv: Add dot2k	Daniel Bristot de Oliveira
2022-07-30	Documentation/rv: Add deterministic automaton documentation	Daniel Bristot de Oliveira
2022-07-30	tools/rv: Add dot2c	Daniel Bristot de Oliveira