Skip to content

Runtime verification (RV)

Maintained 249 threads 1,316 messages Latest

About Lists, Files, Maintainers
Lists
linux-trace-kernel
Files
Documentation/trace/rv/, include/linux/rv.h, include/rv/, kernel/trace/rv/, tools/testing/selftests/verification/, tools/verification/
Maintainers
Gabriele Monaco, Steven Rostedt
Show bot threadsBotsLatest activityActivityNewest threadsNewMost repliesRepliesMost participantsPeople
  1. Changes for v7.4 GIT PULL Steven Rostedt lkml kernel/trace/rv/ (6), kernel/trace/rv/monitors/wakeup/ Merged 0 replies
  2. Fixes for 7.3 GIT PULL Steven Rostedt lkml tools/verification/rvgen/rvgen/, tools/verification/rvgen/tests/golden/test_bak_kunit/ Merged 2 replies
  3. Fix for v7.0 GIT PULL Steven Rostedt lkml include/rv/da_monitor.h Merged 0 replies
  4. A couple of fixes for v6.18 GIT PULL Steven Rostedt lkml kernel/trace/rv/, kernel/trace/rv/monitors/pagefault/ 0 replies
  5. vfs 6.18 GIT PULL for v6.18 Christian Brauner linux-fsdevel lkml include/linux/ (6), fs/proc/ Merged 19 replies
  6. Fixes for v6.17 GIT PULL Steven Rostedt lkml MAINTAINERS, include/linux/, kernel/trace/rv/, kernel/trace/rv/monitors/sleep/ Merged 0 replies
  7. tracing: Fixes for v6.15 GIT PULL Steven Rostedt lkml kernel/trace/ (4), kernel/trace/rv/, tools/testing/selftests/ftrace/test.d/ftrace/ Merged 0 replies
  8. tracing: Fixes for 6.15 GIT PULL Steven Rostedt lkml kernel/trace/ (4), kernel/trace/rv/, samples/trace_events/, scripts/ Merged 0 replies
  9. latency tracing: Documentation fix for previous pull request GIT PULL v3 Steven Rostedt lkml Documentation/tools/rv/, Documentation/trace/rv/ Merged 0 replies
  10. osnoise: Fixes for 6.14 GIT PULL Steven Rostedt lkml include/rv/, kernel/trace/ Merged 0 replies
  11. tracing: Small last minute fixes GIT PULL Steven Rostedt lkml kernel/trace/ (2), kernel/trace/rv/ Merged 0 replies
  12. tracing/tooling: Fixes for v6.8-rc4 GIT PULL Steven Rostedt lkml tools/tracing/rtla/src/ (6), tools/tracing/rtla/, tools/verification/rv/, tools/verification/rv/src/ Merged 3 replies
  13. tracing/tools: Fixes for 6.8-rc4 GIT PULL Daniel Bristot de Oliveira linux-trace-kernel lkml tools/tracing/rtla/src/ (6), tools/tracing/rtla/, tools/verification/rv/, tools/verification/rv/src/ 0 replies
  14. tracing tools: Updates for v6.7 GIT PULL Steven Rostedt lkml tools/tracing/rtla/src/, tools/verification/dot2/ Merged 0 replies
  15. tracing/tools: Updates for 6.7 GIT PULL Daniel Bristot de Oliveira linux-trace-kernel lkml tools/tracing/rtla/src/, tools/verification/dot2/ 0 replies
  16. tracing: Minor fixes and clean ups for 6.6 GIT PULL Steven Rostedt lkml kernel/trace/ (4), include/rv/, include/trace/events/ Merged 0 replies
  17. tracing: Updates for 6.2 GIT PULL Steven Rostedt lkml kernel/ (9), lib/ (2), samples/ (2), MAINTAINERS, +1 2 replies
  18. tracing/rv: Move monitor structure in rodata GIT PULL Steven Rostedt lkml kernel/trace/rv/monitors/wip/, kernel/trace/rv/monitors/wwnr/, tools/verification/dot2/ Merged 0 replies
  19. rv/dot2c: Make automaton definition static GIT PULL Steven Rostedt lkml tools/verification/dot2/dot2c.py Merged 0 replies
  20. tracing: Fixes for 6.0 GIT PULL Steven Rostedt lkml kernel/ (8), MAINTAINERS, fs/ Merged 0 replies
  21. tracing: Updates for 5.20 / 6.0 GIT PULL Steven Rostedt lkml kernel/ (24), include/ (20), tools/ (14), drivers/ (13), +5 Merged 3 replies