index
:
linux/linux-stable.git
linux-2.6.11.y
linux-2.6.12.y
linux-2.6.13.y
linux-2.6.14.y
linux-2.6.15.y
linux-2.6.16.y
linux-2.6.17.y
linux-2.6.18.y
linux-2.6.19.y
linux-2.6.20.y
linux-2.6.21.y
linux-2.6.22.y
linux-2.6.23.y
linux-2.6.24.y
linux-2.6.25.y
linux-2.6.26.y
linux-2.6.27.y
linux-2.6.28.y
linux-2.6.29.y
linux-2.6.30.y
linux-2.6.31.y
linux-2.6.32.y
linux-2.6.33.y
linux-2.6.34.y
linux-2.6.35.y
linux-2.6.36.y
linux-2.6.37.y
linux-2.6.38.y
linux-2.6.39.y
linux-3.0.y
linux-3.1.y
linux-3.10.y
linux-3.11.y
linux-3.12.y
linux-3.13.y
linux-3.14.y
linux-3.15.y
linux-3.16.y
linux-3.17.y
linux-3.18.y
linux-3.19.y
linux-3.2.y
linux-3.3.y
linux-3.4.y
linux-3.5.y
linux-3.6.y
linux-3.7.y
linux-3.8.y
linux-3.9.y
linux-4.0.y
linux-4.1.y
linux-4.10.y
linux-4.11.y
linux-4.12.y
linux-4.13.y
linux-4.14.y
linux-4.15.y
linux-4.16.y
linux-4.17.y
linux-4.18.y
linux-4.19.y
linux-4.2.y
linux-4.20.y
linux-4.3.y
linux-4.4.y
linux-4.5.y
linux-4.6.y
linux-4.7.y
linux-4.8.y
linux-4.9.y
linux-5.0.y
linux-5.1.y
linux-5.10.y
linux-5.11.y
linux-5.12.y
linux-5.13.y
linux-5.14.y
linux-5.15.y
linux-5.16.y
linux-5.17.y
linux-5.18.y
linux-5.19.y
linux-5.2.y
linux-5.3.y
linux-5.4.y
linux-5.5.y
linux-5.6.y
linux-5.7.y
linux-5.8.y
linux-5.9.y
linux-6.0.y
linux-6.1.y
linux-6.10.y
linux-6.11.y
linux-6.12.y
linux-6.13.y
linux-6.14.y
linux-6.15.y
linux-6.16.y
linux-6.2.y
linux-6.3.y
linux-6.4.y
linux-6.5.y
linux-6.6.y
linux-6.7.y
linux-6.8.y
linux-6.9.y
linux-rolling-lts
linux-rolling-stable
master
Linux kernel stable tree
kernel.org maintainers
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
verification
Age
Commit message (
Expand
)
Author
2025-03-27
Merge tag 'trace-tools-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/gi...
Linus Torvalds
2025-03-27
Merge tag 'trace-latency-v6.15' of git://git.kernel.org/pub/scm/linux/kernel/...
Linus Torvalds
2025-03-24
tools/rv: Allow rv list to filter for container
Gabriele Monaco
2025-03-24
verification/dot2k: Add support for nested monitors
Gabriele Monaco
2025-03-24
tools/rv: Add support for nested monitors
Gabriele Monaco
2025-03-24
rv: Add scpd, snep and sncid per-cpu monitors
Gabriele Monaco
2025-03-24
rv: Add snroc per-task monitor
Gabriele Monaco
2025-03-24
rv: Add sco and tss per-cpu monitors
Gabriele Monaco
2025-03-24
sched: Add sched tracepoints for RV task model
Gabriele Monaco
2025-03-04
tools/rv: Keep user LDFLAGS in build
Tomas Glozar
2025-03-04
rv: Add license identifiers to monitor files
Gabriele Monaco
2025-02-25
Merge tag 'perf-tools-fixes-for-v6.14-2-2025-02-25' of git://git.kernel.org/p...
Linus Torvalds
2025-02-18
tools: Remove redundant quiet setup
Charlie Jenkins
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
2024-10-04
tools/rv: Correct the grammatical errors in the comments
Ba Jing
2024-10-04
tools/rv: Correct the grammatical errors in the comments
Ba Jing
2024-07-17
tools/verification: Use pkg-config in lib_setup of Makefile.config
Guilherme Amadio
2024-03-20
tools/verification: Use tools/build makefiles on rv
Daniel Bristot de Oliveira
2024-02-12
tools/rv: Fix curr_reactor uninitialized variable
Daniel Bristot de Oliveira
2024-02-12
tools/rv: Fix Makefile compiler options for clang
Daniel Bristot de Oliveira
2023-10-30
verification/dot2k: Delete duplicate imports
Alessandro Carminati (Red Hat)
2023-04-25
rv: Fix addition on an uninitialized variable 'run'
Colin Ian King
2023-01-31
tools/rv: Remove unneeded semicolon
zhang songyi
2022-12-21
Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...
Linus Torvalds
2022-12-20
rv/monitors: Move monitor structure in rodata
Alessandro Carminati
2022-12-09
Documentation/rv: Add verification/rv man pages
Daniel Bristot de Oliveira
2022-12-09
tools/rv: Add in-kernel monitor interface
Daniel Bristot de Oliveira
2022-12-09
rv: Add rv tool
Daniel Bristot de Oliveira
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
rv/monitor: Add the wwnr monitor
Daniel Bristot de Oliveira
2022-07-30
rv/monitor: Add the wip monitor
Daniel Bristot de Oliveira
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