Code

History

Commits on master to kernel/trace/rv/Makefile22
  1. rv: Add KUnit tests for some DA/HA monitorsGabriele Monaco committed 3 months ago8da2a88
  2. rv/rtapp: Add wakeup monitorNam Cao committed 4 months ago6fdaab4
  3. rv: Add nomiss deadline monitorGabriele Monaco committed 7 months agob133207
  4. rv: Add sample hybrid monitor stallGabriele Monaco committed 7 months ago13578a0
  5. rv: Add opid per-cpu monitorGabriele Monaco committed 1 year ago6143845
  6. rv: Add nrp and sssw per-task monitorsGabriele Monaco committed 1 year agoe8440a8
  7. rv: Replace tss and sncid monitors with more complete stsGabriele Monaco committed 1 year agod0096c2
  8. rv: Add rtapp_sleep monitorNam Cao committed 1 year agof74f8bb
  9. rv: Add rtapp_pagefault monitorNam Cao committed 1 year ago9162620
  10. rv: Add rtapp container monitorNam Cao committed 1 year ago886fc86
  11. rv: Add scpd, snep and sncid per-cpu monitorsGabriele Monaco committed 1 year agofbe6c09
  12. rv: Add snroc per-task monitorGabriele Monaco committed 1 year ago93bac9c
  13. rv: Add sco and tss per-cpu monitorsGabriele Monaco committed 1 year ago9fd420a
  14. rv: Add option for nested monitors and include schedGabriele Monaco committed 1 year agocb85c66
  15. verification/dot2k: Auto patch current kernel sourceGabriele Monaco committed 1 year agode6f45c
  16. rv: Simplify manual steps in monitor creationGabriele Monaco committed 1 year agobc3d482
  17. rv/reactor: Add the panic reactorDaniel Bristot de Oliveira committed 4 years agoe88043c
  18. rv/reactor: Add the printk reactorDaniel Bristot de Oliveira committed 4 years ago135b881
  19. rv/monitor: Add the wwnr monitorDaniel Bristot de Oliveira committed 4 years agoccc319d
  20. rv/monitor: Add the wip monitorDaniel Bristot de Oliveira committed 4 years ago10bde81
  21. rv: Add runtime reactors interfaceDaniel Bristot de Oliveira committed 4 years ago04acadc
  22. rv: Add Runtime Verification (RV) interfaceDaniel Bristot de Oliveira committed 4 years ago102227b