kernel/linux
0
Fork 0
mirror of https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/ synced 2026-10-24 19:10:26 +00:00
Code Issues Releases Packages Activity
linux/Documentation/trace/rv
History
Gopi Krishna Menon 70d476b63a Documentation/rv: Fix minor typo in monitor_synthesis page 
Specifically, fix spelling of "practice"

Signed-off-by: Gopi Krishna Menon <krishnagopi487@gmail.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Link: https://lore.kernel.org/r/20250810111249.93181-1-krishnagopi487@gmail.com
History 2025-08-12 12:41:20 -06:00
..
da_monitor_instrumentation.rst Documentation/rv: Add deterministic automata instrumentation documentation 2022-07-30 14:01:29 -04:00
deterministic_automata.rst Documentation/rv: Add deterministic automaton documentation 2022-07-30 14:01:29 -04:00
index.rst Documentation/rv: Add documentation for linear temporal logic monitors 2025-07-24 10:42:47 -04:00
linear_temporal_logic.rst verification/rvgen: Support the 'next' operator 2025-07-24 10:43:23 -04:00
monitor_rtapp.rst rv: Add documentation for rtapp monitor 2025-07-09 15:27:02 -04:00
monitor_sched.rst rv: Add opid per-cpu monitor 2025-07-28 16:47:35 -04:00
monitor_synthesis.rst Documentation/rv: Fix minor typo in monitor_synthesis page 2025-08-12 12:41:20 -06:00
monitor_wip.rst rv/monitor: Add the wip monitor 2022-07-30 14:01:30 -04:00
monitor_wwnr.rst Documentation: Fix typos 2023-08-18 11:29:03 -06:00
runtime-verification.rst Documentation/rv: Fix typos 2024-12-13 08:42:23 -07:00