index
:
linux.git
arm64-uaccess
link_path_walk
linus
master
mmu_gather-race-fix
proc-cmdline
runtime-constants
tty-splice
word-at-a-time
x86-rep-insns
x86-uaccess-cleanup
Linux kernel mainline tree
Linus Torvalds
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
tools
/
verification
Commit message (
Expand
)
Author
Age
Files
Lines
*
rv: Fix addition on an uninitialized variable 'run'
Colin Ian King
2023-04-25
1
-1
/
+1
*
tools/rv: Remove unneeded semicolon
zhang songyi
2023-01-31
1
-1
/
+1
*
Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...
Linus Torvalds
2022-12-21
1
-1
/
+1
|
\
|
*
rv/monitors: Move monitor structure in rodata
Alessandro Carminati
2022-12-20
1
-1
/
+1
*
|
Documentation/rv: Add verification/rv man pages
Daniel Bristot de Oliveira
2022-12-09
1
-2
/
+24
*
|
tools/rv: Add in-kernel monitor interface
Daniel Bristot de Oliveira
2022-12-09
3
-0
/
+704
*
|
rv: Add rv tool
Daniel Bristot de Oliveira
2022-12-09
8
-0
/
+558
|
/
*
rv/dot2c: Make automaton definition static
Daniel Bristot de Oliveira
2022-10-20
1
-1
/
+1
*
rv/monitor: Add __init/__exit annotations to module init/exit funcs
Xiu Jianfeng
2022-09-26
3
-6
/
+6
*
rv/dot2K: add 'static' qualifier for local variable
Zeng Heng
2022-09-26
3
-6
/
+6
*
rv/monitor: Add the wwnr monitor
Daniel Bristot de Oliveira
2022-07-30
1
-0
/
+16
*
rv/monitor: Add the wip monitor
Daniel Bristot de Oliveira
2022-07-30
1
-0
/
+16
*
Documentation/rv: Add deterministic automata monitor synthesis documentation
Daniel Bristot de Oliveira
2022-07-30
2
-0
/
+6
*
tools/rv: Add dot2k
Daniel Bristot de Oliveira
2022-07-30
6
-0
/
+496
*
Documentation/rv: Add deterministic automaton documentation
Daniel Bristot de Oliveira
2022-07-30
3
-0
/
+9
*
tools/rv: Add dot2c
Daniel Bristot de Oliveira
2022-07-30
4
-0
/
+466
