index
:
user/sven/linux.git
ipvs/backlog-conns
ipvs/checkpatch-cleanup
ipvs/cleanups
ipvs/droutbytes
ipvs/experimental
ipvs/locking
master
mvsas-fixes
nl80211-ssid-association
tmp/ipvs/track-backlog-connections
tmp/leds/core
tmp/leds/register-multiple-devices
tmp/md/sparse-cleanup
tmp/misc/sparse-fixes
x86_32-entry-fixes
davem/net-next/HEAD
davem/net-next/main
davem/net/HEAD
davem/net/main
ipvs-next/HEAD
ipvs-next/main
ipvs/HEAD
ipvs/main
leds/HEAD
leds/master
netfilter-next/HEAD
netfilter-next/main
netfilter/HEAD
netfilter/main
next/HEAD
next/master
stable/2.6.11.y
stable/2.6.12.y
stable/2.6.13.y
stable/2.6.14.y
stable/2.6.15.y
stable/2.6.16.y
stable/2.6.17.y
stable/2.6.18.y
stable/2.6.19.y
stable/2.6.20.y
stable/2.6.21.y
stable/2.6.22.y
stable/2.6.23.y
stable/2.6.24.y
stable/2.6.25.y
stable/2.6.26.y
stable/2.6.27.y
stable/2.6.28.y
stable/2.6.29.y
stable/2.6.30.y
stable/2.6.31.y
stable/2.6.32.y
stable/2.6.33.y
stable/2.6.34.y
stable/2.6.35.y
stable/2.6.36.y
stable/2.6.37.y
stable/2.6.38.y
stable/2.6.39.y
stable/3.0.y
stable/3.1.y
stable/3.10.y
stable/3.11.y
stable/3.12.y
stable/3.13.y
stable/3.14.y
stable/3.15.y
stable/3.16.y
stable/3.17.y
stable/3.18.y
stable/3.19.y
stable/3.2.y
stable/3.3.y
stable/3.4.y
stable/3.5.y
stable/3.6.y
stable/3.7.y
stable/3.8.y
stable/3.9.y
stable/4.0.y
stable/4.1.y
stable/4.10.y
stable/4.11.y
stable/4.12.y
stable/4.13.y
stable/4.14.y
stable/4.15.y
stable/4.16.y
stable/4.17.y
stable/4.18.y
stable/4.19.y
stable/4.2.y
stable/4.20.y
stable/4.3.y
stable/4.4.y
stable/4.5.y
stable/4.6.y
stable/4.7.y
stable/4.8.y
stable/4.9.y
stable/5.0.y
stable/5.1.y
stable/5.10.y
stable/5.11.y
stable/5.12.y
stable/5.13.y
stable/5.14.y
stable/5.15.y
stable/5.16.y
stable/5.17.y
stable/5.18.y
stable/5.19.y
stable/5.2.y
stable/5.3.y
stable/5.4.y
stable/5.5.y
stable/5.6.y
stable/5.7.y
stable/5.8.y
stable/5.9.y
stable/6.0.y
stable/6.1.y
stable/6.10.y
stable/6.11.y
stable/6.12.y
stable/6.13.y
stable/6.14.y
stable/6.15.y
stable/6.16.y
stable/6.17.y
stable/6.18.y
stable/6.2.y
stable/6.3.y
stable/6.4.y
stable/6.5.y
stable/6.6.y
stable/6.7.y
stable/6.8.y
stable/6.9.y
torvalds/HEAD
torvalds/master
Linux Kernel
Sven Wegener
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kernel
/
trace
/
rv
/
Kconfig
Age
Commit message (
Expand
)
Author
2025-07-28
rv: Add opid per-cpu monitor
Gabriele Monaco
2025-07-28
rv: Add nrp and sssw per-task monitors
Gabriele Monaco
2025-07-28
rv: Replace tss and sncid monitors with more complete sts
Gabriele Monaco
2025-07-28
rv: Retry when da monitor detects race conditions
Gabriele Monaco
2025-07-24
verification/rvgen: Organise Kconfig entries for nested monitors
Gabriele Monaco
2025-07-09
rv: Allow to configure the number of per-task monitor
Nam Cao
2025-07-09
rv: Add rtapp_sleep monitor
Nam Cao
2025-07-09
rv: Add rtapp_pagefault monitor
Nam Cao
2025-07-09
rv: Add rtapp container monitor
Nam Cao
2025-07-09
rv: Add support for LTL monitors
Nam Cao
2025-07-09
rv: rename CONFIG_DA_MON_EVENTS to CONFIG_RV_MON_EVENTS
Nam Cao
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
rv: Add option for nested monitors and include sched
Gabriele Monaco
2024-12-27
verification/dot2k: Auto patch current kernel source
Gabriele Monaco
2024-12-27
rv: Simplify manual steps in monitor creation
Gabriele Monaco
2022-07-30
rv/reactor: Add the panic reactor
Daniel Bristot de Oliveira
2022-07-30
rv/reactor: Add the printk reactor
Daniel Bristot de Oliveira
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 a basic documentation
Daniel Bristot de Oliveira
2022-07-30
rv/include: Add deterministic automata monitor definition via C macros
Daniel Bristot de Oliveira
2022-07-30
rv: Add runtime reactors interface
Daniel Bristot de Oliveira
2022-07-30
rv: Add Runtime Verification (RV) interface
Daniel Bristot de Oliveira
