index
:
starfive-tech/linux.git
JH7100_VisionFive_OH_dev
JH7110_VisionFive2_510_devel
JH7110_VisionFive2_6.1.y_devel
JH7110_VisionFive2_6.6.y_devel
JH7110_VisionFive2_devel
JH7110_VisionFive2_upstream
beaglev-5.13.y
beaglev_fedora_devel
buildroot-upstream
esmil_starlight
fedora-vic-7100_5.10.6
master
openwrt-6.1.y
rt-ethercat-release
rt-linux-6.6.y-release
rt-linux-release
rtthread_AMP
starfive-5.13
starfive-5.15-dubhe
starfive-6.1-dubhe
starfive-6.1.65-dubhe
starfive-6.6.10-dubhe
starfive-6.6.31-dubhe
starfive-6.6.48-dubhe
starlight-5.14.y
visionfive
visionfive-5.13.y-devel
visionfive-5.15.y
visionfive-5.15.y-devel
visionfive-5.15.y_fedora_devel
visionfive-5.16.y
visionfive-5.17.y
visionfive-5.18.y
visionfive-5.19.y
visionfive-6.4.y
visionfive_fedora_devel
StarFive Tech Linux Kernel for VisionFive (JH7110) boards (mirror)
Andrey V.Kosteltsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
verification
Age
Commit message (
Expand
)
Author
Files
Lines
2023-04-26
rv: Fix addition on an uninitialized variable 'run'
Colin Ian King
1
-1
/
+1
2023-02-01
tools/rv: Remove unneeded semicolon
zhang songyi
1
-1
/
+1
2022-12-22
Merge tag 'trace-v6.2-1' of git://git.kernel.org/pub/scm/linux/kernel/git/tra...
Linus Torvalds
1
-1
/
+1
2022-12-20
rv/monitors: Move monitor structure in rodata
Alessandro Carminati
1
-1
/
+1
2022-12-10
Documentation/rv: Add verification/rv man pages
Daniel Bristot de Oliveira
1
-2
/
+24
2022-12-10
tools/rv: Add in-kernel monitor interface
Daniel Bristot de Oliveira
3
-0
/
+704
2022-12-10
rv: Add rv tool
Daniel Bristot de Oliveira
8
-0
/
+558
2022-10-20
rv/dot2c: Make automaton definition static
Daniel Bristot de Oliveira
1
-1
/
+1
2022-09-27
rv/monitor: Add __init/__exit annotations to module init/exit funcs
Xiu Jianfeng
3
-6
/
+6
2022-09-26
rv/dot2K: add 'static' qualifier for local variable
Zeng Heng
3
-6
/
+6
2022-07-30
rv/monitor: Add the wwnr monitor
Daniel Bristot de Oliveira
1
-0
/
+16
2022-07-30
rv/monitor: Add the wip monitor
Daniel Bristot de Oliveira
1
-0
/
+16
2022-07-30
Documentation/rv: Add deterministic automata monitor synthesis documentation
Daniel Bristot de Oliveira
2
-0
/
+6
2022-07-30
tools/rv: Add dot2k
Daniel Bristot de Oliveira
6
-0
/
+496
2022-07-30
Documentation/rv: Add deterministic automaton documentation
Daniel Bristot de Oliveira
3
-0
/
+9
2022-07-30
tools/rv: Add dot2c
Daniel Bristot de Oliveira
4
-0
/
+466