summaryrefslogtreecommitdiff
path: root/tools/verification/models
AgeCommit message (Expand)Author
2026-07-24rv/rtapp: Add wakeup monitorNam Cao
2026-07-24rv/rtapp/sleep: Stop monitoring kernel threadsNam Cao
2026-07-24rv/rtapp/sleep: Update nanosleep ruleNam Cao
2026-07-24rv/rtapp/sleep: Make the error more informative for userNam Cao
2026-04-01rv: Allow epoll in rtapp-sleep monitorNam Cao
2026-03-31rv: Add nomiss deadline monitorGabriele Monaco
2026-03-31rv: Convert the opid monitor to a hybrid automatonGabriele Monaco
2026-03-31rv: Add sample hybrid monitor stallGabriele Monaco
2025-07-28rv: Add opid per-cpu monitorGabriele Monaco
2025-07-28rv: Add nrp and sssw per-task monitorsGabriele Monaco
2025-07-28rv: Replace tss and sncid monitors with more complete stsGabriele Monaco
2025-07-09rv: Add rtapp_sleep monitorNam Cao
2025-07-09rv: Add rtapp_pagefault monitorNam Cao
2025-03-24rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco
2025-03-24rv: Add snroc per-task monitorGabriele Monaco
2025-03-24rv: Add sco and tss per-cpu monitorsGabriele Monaco
2022-07-30rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira
2022-07-30rv/monitor: Add the wip monitorDaniel Bristot de Oliveira
generated by cgit v1.2.3 (git 2.39.1) at 2026-08-29 16:23:14 +0000