summaryrefslogtreecommitdiff
path: root/tools/verification
AgeCommit message (Expand)AuthorFilesLines
2024-02-12tools/rv: Fix curr_reactor uninitialized variableDaniel Bristot de Oliveira1-1/+1
2024-02-12tools/rv: Fix Makefile compiler options for clangDaniel Bristot de Oliveira1-1/+6
2023-10-30verification/dot2k: Delete duplicate importsAlessandro Carminati (Red Hat)1-2/+0
2023-04-25rv: Fix addition on an uninitialized variable 'run'Colin Ian King1-1/+1
2023-01-31tools/rv: Remove unneeded semicolonzhang songyi1-1/+1
2022-12-21Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...Linus Torvalds1-1/+1
2022-12-20rv/monitors: Move monitor structure in rodataAlessandro Carminati1-1/+1
2022-12-09Documentation/rv: Add verification/rv man pagesDaniel Bristot de Oliveira1-2/+24
2022-12-09tools/rv: Add in-kernel monitor interfaceDaniel Bristot de Oliveira3-0/+704
2022-12-09rv: Add rv toolDaniel Bristot de Oliveira8-0/+558
2022-10-20rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira1-1/+1
2022-09-26rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng3-6/+6
2022-09-26rv/dot2K: add 'static' qualifier for local variableZeng Heng3-6/+6
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira1-0/+16
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira1-0/+16
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira2-0/+6
2022-07-30tools/rv: Add dot2kDaniel Bristot de Oliveira6-0/+496
2022-07-30Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira3-0/+9
2022-07-30tools/rv: Add dot2cDaniel Bristot de Oliveira4-0/+466
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-18 07:41:11 +0000