index
:
ulfh/linux-pm.git
cpuidle_psci_to_driver+genpd_onoff_notify
cpuidle_psci_v1
cpuidle_psci_v1_debug
cpuidle_psci_v2
cpuidle_psci_v2_debug
cpuidle_psci_v3
cpuidle_psci_v3_debug
cpuidle_psci_v4
cpuidle_psci_v4_debug
cpuidle_psci_v5
cpuidle_psci_v5_debug
multi_pm_domain_helper_wip
next
next_legacy
next_v10
next_v11
next_v12
next_v13
next_v6
next_v7
next_v8
psci_clusteridle_v1
scmi_perf
scmi_perf_v3_wip
scmi_perf_v3_wip+v1_opp
scmi_perf_v4_opp
Ulf PMWG integ
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
verification
Age
Commit message (
Expand
)
Author
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