aboutsummaryrefslogtreecommitdiff
path: root/Documentation/trace/rv
AgeCommit message (Expand)AuthorFilesLines
2026-03-31rv: Add nomiss deadline monitorGabriele Monaco2-0/+85
2026-03-31rv: Convert the opid monitor to a hybrid automatonGabriele Monaco1-48/+14
2026-03-31rv: Add sample hybrid monitor stallGabriele Monaco2-0/+44
2026-03-31Documentation/rv: Add documentation about hybrid automataGabriele Monaco4-3/+458
2026-02-12Merge tag 'trace-rv-v7.0' of git://git.kernel.org/pub/scm/linux/kernel/git/tr...Linus Torvalds1-23/+21
2026-01-12Documentation/rv: Adapt documentation after da_monitor refactoringGabriele Monaco1-23/+21
2025-12-22Documentation/rv: Fix dead link to monitor_synthesis.rstSoham Metha1-3/+3
2025-08-12Documentation/rv: Fix minor typo in monitor_synthesis pageGopi Krishna Menon1-1/+1
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco1-0/+55
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco1-0/+167
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco1-39/+48
2025-07-24verification/rvgen: Support the 'next' operatorNam Cao1-0/+1
2025-07-24Documentation/rv: Add documentation for linear temporal logic monitorsNam Cao3-16/+274
2025-07-24Documentation/rv: Prepare monitor synthesis document for LTL inclusionNam Cao2-11/+11
2025-07-09rv: Add documentation for rtapp monitorNam Cao2-0/+134
2025-03-27Documentation/rv: Add sched pages to the indicesGabriele Monaco1-0/+1
2025-03-24Documentation/rv: Add docs for the sched monitorsGabriele Monaco1-0/+171
2024-12-13Documentation/rv: Fix typosAndrew Kreimer1-2/+2
2023-08-18Documentation: Fix typosBjorn Helgaas3-3/+3
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira2-0/+46
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira2-0/+56
2022-07-30Documentation/rv: Add deterministic automata instrumentation documentationDaniel Bristot de Oliveira2-0/+172
2022-07-30Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira2-0/+148
2022-07-30Documentation/rv: Add deterministic automaton documentationDaniel Bristot de Oliveira2-0/+185
2022-07-30Documentation/rv: Add a basic documentationDaniel Bristot de Oliveira2-0/+240
generated by cgit