summaryrefslogtreecommitdiffstats
path: root/Documentation/trace/rv
AgeCommit message (Expand)AuthorLines
2026-02-12Merge tag 'trace-rv-v7.0' of git://git.kernel.org/pub/scm/linux/kernel/git/tr...Linus Torvalds-23/+21
2026-01-12Documentation/rv: Adapt documentation after da_monitor refactoringGabriele Monaco-23/+21
2025-12-22Documentation/rv: Fix dead link to monitor_synthesis.rstSoham Metha-3/+3
2025-08-12Documentation/rv: Fix minor typo in monitor_synthesis pageGopi Krishna Menon-1/+1
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco-0/+55
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco-0/+167
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco-39/+48
2025-07-24verification/rvgen: Support the 'next' operatorNam Cao-0/+1
2025-07-24Documentation/rv: Add documentation for linear temporal logic monitorsNam Cao-16/+274
2025-07-24Documentation/rv: Prepare monitor synthesis document for LTL inclusionNam Cao-11/+11
2025-07-09rv: Add documentation for rtapp monitorNam Cao-0/+134
2025-03-27Documentation/rv: Add sched pages to the indicesGabriele Monaco-0/+1
2025-03-24Documentation/rv: Add docs for the sched monitorsGabriele Monaco-0/+171
2024-12-13Documentation/rv: Fix typosAndrew Kreimer-2/+2
2023-08-18Documentation: Fix typosBjorn Helgaas-3/+3
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira-0/+46
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira-0/+56
2022-07-30Documentation/rv: Add deterministic automata instrumentation documentationDaniel Bristot de Oliveira-0/+172
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira-0/+148
2022-07-30Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira-0/+185
2022-07-30Documentation/rv: Add a basic documentationDaniel Bristot de Oliveira-0/+240
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-01 14:32:51 +0000