BackPup/Linux
1
0
Fork 0
mirror of https://github.com/torvalds/linux.git synced 2026-09-25 21:21:09 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
v6.3
Linux/tools/verification/dot2
T
History
Alessandro Carminati bfa87ac86c rv/monitors: Move monitor structure in rodata 
It makes sense to move the important monitor structure into rodata to
prevent accidental structure modification.

Link: https://lkml.kernel.org/r/[email protected]

Signed-off-by: Alessandro Carminati <[email protected]>
Acked-by: Daniel Bristot de Oliveira <[email protected]>
Signed-off-by: Steven Rostedt (Google) <[email protected]>
2022-12-20 11:46:40 -05:00
..
dot2k_templates
rv/monitor: Add __init/__exit annotations to module init/exit funcs
2022-09-26 18:10:51 -04:00
automata.py
…
dot2c
…
dot2c.py
rv/monitors: Move monitor structure in rodata
2022-12-20 11:46:40 -05:00
dot2k
Documentation/rv: Add deterministic automata monitor synthesis documentation
2022-07-30 14:01:29 -04:00
dot2k.py
Documentation/rv: Add deterministic automata monitor synthesis documentation
2022-07-30 14:01:29 -04:00
Makefile
tools/rv: Add dot2k
2022-07-30 14:01:29 -04:00