index
:
kernel/linux.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.17.y
linux-6.18.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-rockchip-6.1.y
linux-rockchip-6.5.y
linux-rolling-lts
linux-rolling-stable
master
Linux kernel stable tree (mirror)
Andrey V.Kosteltsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
/
linux
/
rv.h
Age
Commit message (
Expand
)
Author
Files
Lines
2025-11-11
rv: Make rv_reacting_on() static
Thomas Weißschuh
1
-6
/
+0
2025-11-11
rv: Pass va_list to reactors
Thomas Weißschuh
1
-2
/
+9
2025-09-15
include/linux/rv.h: remove redundant include file
Akhilesh Patil
1
-4
/
+2
2025-07-28
rv: Retry when da monitor detects race conditions
Gabriele Monaco
1
-1
/
+2
2025-07-25
rv: Remove struct rv_monitor::reacting
Nam Cao
1
-1
/
+0
2025-07-25
rv: Remove rv_reactor's reference counter
Nam Cao
1
-2
/
+0
2025-07-25
rv: Merge struct rv_reactor_def into struct rv_reactor
Nam Cao
1
-1
/
+4
2025-07-25
rv: Merge struct rv_monitor_def into struct rv_monitor
Nam Cao
1
-0
/
+8
2025-07-09
rv: Allow to configure the number of per-task monitor
Nam Cao
1
-8
/
+1
2025-07-09
rv: Add support for LTL monitors
Nam Cao
1
-4
/
+59
2025-07-09
rv: Let the reactors take care of buffers
Nam Cao
1
-2
/
+7
2025-03-25
rv: Add option for nested monitors and include sched
Gabriele Monaco
1
-1
/
+1
2025-03-25
sched: Add sched tracepoints for RV task model
Gabriele Monaco
1
-1
/
+1
2022-07-30
rv/include: Add deterministic automata monitor definition via C macros
Daniel Bristot de Oliveira
1
-0
/
+10
2022-07-30
rv: Add runtime reactors interface
Daniel Bristot de Oliveira
1
-0
/
+17
2022-07-30
rv: Add Runtime Verification (RV) interface
Daniel Bristot de Oliveira
1
-0
/
+43
