Code

History

Commits on master to kernel/trace/rv35+
  1. rv: Fix 32-bit build of nomiss KUnit testGabriele Monaco committed 3 months ago7850951
  2. rv: Add KUnit tests for some LTL monitorsGabriele Monaco committed 3 months ago51f3fe7
  3. rv: Add KUnit mock for currentGabriele Monaco committed 3 months agocf8f191
  4. rv: Add KUnit tests for some DA/HA monitorsGabriele Monaco committed 3 months ago8da2a88
  5. rv: Export task monitor slot and react symbolsGabriele Monaco committed 3 months agobe22e55
  6. rv: Use generic rv_this for the rv_monitor variable in LTLGabriele Monaco committed 3 months agod9e4c61
  7. rv/rtapp: Add wakeup monitorNam Cao committed 4 months ago6fdaab4
  8. rv/rtapp/sleep: Stop monitoring kernel threadsNam Cao committed 4 months ago28e68d3
  9. rv/rtapp/sleep: Update nanosleep ruleNam Cao committed 4 months ago8fc4e16
  10. rv/rtapp/sleep: Make the error more informative for userNam Cao committed 4 months ago4254558
  11. rv: Simplify task monitor slot managementLi Qiang committed 3 months agob255fc5
  12. rv: Simplify hybrid automata monitors's clock variablesNam Cao committed 4 months agoab2900a
  13. rv: Use 0 to check preemption enabled in opidGabriele Monaco committed 5 months agod902217
  14. rv: Add automatic cleanup handlers for per-task HA monitorsGabriele Monaco committed 5 months ago700782e
  15. rv: Fix __user specifier usage in extract_params()Gabriele Monaco committed 5 months ago4793e8a
  16. rv: Allow epoll in rtapp-sleep monitorNam Cao committed 7 months ago00f0dad
  17. rv: Add nomiss deadline monitorGabriele Monaco committed 7 months agob133207
  18. rv: Convert the opid monitor to a hybrid automatonGabriele Monaco committed 7 months ago2b406fd
  19. rv: Add sample hybrid monitor stallGabriele Monaco committed 7 months ago13578a0
  20. rv: Add Hybrid Automata monitor typeGabriele Monaco committed 7 months agof5587d1
  21. verification/rvgen: Remove unused variable declaration from containersGabriele Monaco committed 11 months ago3fee5b3
  22. verification/dot2c: Remove superfluous enum assignment and add last commaGabriele Monaco committed 11 months ago3d2bfee
  23. rv: Refactor da_monitor to minimise macrosGabriele Monaco committed 11 months ago30984cc
  24. rv: Convert to use __freeNam Cao committed 11 months agob30f635
  25. rv: Convert to use lock guardNam Cao committed 11 months ago8db3790
  26. rv: Add explicit lockdep context for reactorsThomas Weißschuh committed 1 year ago69d8895
  27. rv: Make rv_reacting_on() staticThomas Weißschuh committed 1 year ago68f63ce
  28. rv: Pass va_list to reactorsThomas Weißschuh committed 1 year ago4f739ed
  29. rv: Make rtapp/pagefault monitor depends on CONFIG_MMUNam Cao committed 1 year ago3d62f95
  30. rv: Fully convert enabled_monitors to use list_head as iteratorNam Cao committed 1 year ago103541e
  31. rv: Fix missing mutex unlock in rv_register_monitor()Zhen Ni committed 1 year ago9b50967
  32. rv: Fix wrong type cast in enabled_monitors_next()Nam Cao committed 1 year agode090d1
  33. rv: Support systems with time64-only syscallsPalmer Dabbelt committed 1 year ago03ee64b
  34. Merge tag 'trace-v6.17' of git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-traceLinus Torvalds committed 1 year agod6f38c1
  35. rv: Add opid per-cpu monitorGabriele Monaco committed 1 year ago6143845