summaryrefslogtreecommitdiffstats
path: root/tools/verification
Commit message (Expand)AuthorAgeFilesLines
* tools/rv: Fix curr_reactor uninitialized variableDaniel Bristot de Oliveira2024-02-121-1/+1
* tools/rv: Fix Makefile compiler options for clangDaniel Bristot de Oliveira2024-02-121-1/+6
* verification/dot2k: Delete duplicate importsAlessandro Carminati (Red Hat)2023-10-301-2/+0
* rv: Fix addition on an uninitialized variable 'run'Colin Ian King2023-04-251-1/+1
* tools/rv: Remove unneeded semicolonzhang songyi2023-01-311-1/+1
* Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...Linus Torvalds2022-12-211-1/+1
|\
| * rv/monitors: Move monitor structure in rodataAlessandro Carminati2022-12-201-1/+1
* | Documentation/rv: Add verification/rv man pagesDaniel Bristot de Oliveira2022-12-091-2/+24
* | tools/rv: Add in-kernel monitor interfaceDaniel Bristot de Oliveira2022-12-093-0/+704
* | rv: Add rv toolDaniel Bristot de Oliveira2022-12-098-0/+558
|/
* rv/dot2c: Make automaton definition staticDaniel Bristot de Oliveira2022-10-201-1/+1
* rv/monitor: Add __init/__exit annotations to module init/exit funcsXiu Jianfeng2022-09-263-6/+6
* rv/dot2K: add 'static' qualifier for local variableZeng Heng2022-09-263-6/+6
* rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira2022-07-301-0/+16
* rv/monitor: Add the wip monitorDaniel Bristot de Oliveira2022-07-301-0/+16
* Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira2022-07-302-0/+6
* tools/rv: Add dot2kDaniel Bristot de Oliveira2022-07-306-0/+496
* Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira2022-07-303-0/+9
* tools/rv: Add dot2cDaniel Bristot de Oliveira2022-07-304-0/+466