Code

History

Commits on d78ddeb8938a366aabfabf60255c1a94de8d8ea1 to include/rv18
  1. rv: Fix multiple definition of __pcpu_unique_da_mon_thisMikhail Gavrilov committed 9 months ago75f3cf0
  2. rv: Fix documentation reference in da_monitor.hShubham Sharma committed 10 months ago403faa5
  3. rv: Cleanup da_monitor after refactorGabriele Monaco committed 11 months agofa9b26d
  4. rv: Refactor da_monitor to minimise macrosGabriele Monaco committed 11 months ago30984cc
  5. rv: Fix compilation if !CONFIG_RV_REACTORSGabriele Monaco committed 1 year agobbaacdc
  6. rv: Pass va_list to reactorsThomas Weißschuh committed 1 year ago4f739ed
  7. Merge tag 'kernel-6.18-rc1.clone3' of git://git.kernel.org/pub/scm/linux/kernel/git/vfs/vfsLinus Torvalds committed 1 year ago722df25
  8. rv: Retry when da monitor detects race conditionsGabriele Monaco committed 1 year ago9d475d8
  9. rv: Add da_handle_start_run_event_ to per-task monitorsGabriele Monaco committed 1 year ago28a78af
  10. rv/ltl: Do not execute the Buchi automaton twice on start conditionNam Cao committed 1 year ago0a94925
  11. rv: Add support for LTL monitorsNam Cao committed 1 year agoa9769a5
  12. rv: Let the reactors take care of buffersNam Cao committed 1 year agoff4e233
  13. rv: Reset per-task monitors also for idle tasksGabriele Monaco committed 1 year ago8259cb1
  14. rv: Set variable 'da_mon_##name' to staticYu Liao committed 3 years ago0e19543
  15. Documentation/rv: Add deterministic automata monitor synthesis documentationDaniel Bristot de Oliveira committed 4 years agod57aff2
  16. rv/include: Add instrumentation helper functionsDaniel Bristot de Oliveira committed 4 years agocc8e71c
  17. rv/include: Add deterministic automata monitor definition via C macrosDaniel Bristot de Oliveira committed 4 years ago7925753
  18. rv/include: Add helper functions for deterministic automataDaniel Bristot de Oliveira committed 4 years ago09ecd8b