--- v4
+++ v5
@@ -36,6 +36,13 @@
 The entire series can also be found on:
 
   git.kernel.org/pub/scm/linux/kernel/git/gmonaco/linux.git rv_hybrid_automata
+
+Changes since V4:
+* Do not fire enqueue tracepoint for delayed enqueues
+* Do not use boosted dl_se in monitors
+* Add enqueue/dequeue validation on snroc model
+* Do not export pi_of to deadline.h
+* Remove useless variable reset when resetting Hybrid Automata
 
 Changes since V3:
 * Improve ns to jiffy rounding in HA timers
@@ -98,8 +105,8 @@
   Documentation/rv: Add documentation about hybrid automata
   rv: Add sample hybrid monitors stall
   rv: Convert the opid monitor to a hybrid automaton
-  sched: Export hidden tracepoints to modules
   sched: Add deadline tracepoints
+  rv: Add enqueue/dequeue to snroc monitor
   rv: Add support for per-object monitors in DA/HA
   verification/rvgen: Add support for per-obj monitors
   sched/deadline: Move some utility functions to deadline.h
@@ -115,16 +122,16 @@
  Documentation/trace/rv/hybrid_automata.rst    | 341 +++++++++
  Documentation/trace/rv/index.rst              |   3 +
  Documentation/trace/rv/monitor_deadline.rst   | 270 ++++++++
- Documentation/trace/rv/monitor_sched.rst      |  62 +-
+ Documentation/trace/rv/monitor_sched.rst      | 101 ++-
  Documentation/trace/rv/monitor_stall.rst      |  43 ++
  Documentation/trace/rv/monitor_synthesis.rst  | 117 +++-
  include/linux/rv.h                            |  39 ++
- include/linux/sched/deadline.h                |  51 ++
+ include/linux/sched/deadline.h                |  29 +
  include/rv/da_monitor.h                       | 654 +++++++++++++-----
- include/rv/ha_monitor.h                       | 479 +++++++++++++
+ include/rv/ha_monitor.h                       | 478 +++++++++++++
  include/trace/events/sched.h                  |  29 +
- kernel/sched/core.c                           |  16 +-
- kernel/sched/deadline.c                       |  57 +-
+ kernel/sched/core.c                           |  14 +-
+ kernel/sched/deadline.c                       |  35 +-
  kernel/sched/sched.h                          |   2 +
  kernel/trace/rv/Kconfig                       |  21 +
  kernel/trace/rv/Makefile                      |   6 +
@@ -147,6 +154,8 @@
  kernel/trace/rv/monitors/opid/opid.c          | 111 +--
  kernel/trace/rv/monitors/opid/opid.h          |  86 +--
  kernel/trace/rv/monitors/opid/opid_trace.h    |   4 +
+ kernel/trace/rv/monitors/snroc/snroc.c        |  18 +-
+ kernel/trace/rv/monitors/snroc/snroc.h        |  46 +-
  kernel/trace/rv/monitors/stall/Kconfig        |  13 +
  kernel/trace/rv/monitors/stall/stall.c        | 150 ++++
  kernel/trace/rv/monitors/stall/stall.h        |  81 +++
@@ -161,6 +170,7 @@
  tools/verification/models/deadline/nomiss.dot |  41 ++
  .../verification/models/deadline/throttle.dot |  44 ++
  tools/verification/models/sched/opid.dot      |  36 +-
+ tools/verification/models/sched/snroc.dot     |  30 +-
  tools/verification/models/stall.dot           |  22 +
  tools/verification/rvgen/__main__.py          |   8 +-
  tools/verification/rvgen/rvgen/automata.py    | 151 +++-
@@ -169,7 +179,7 @@
  tools/verification/rvgen/rvgen/generator.py   |   4 +-
  .../rvgen/rvgen/templates/dot2k/main.c        |   2 +-
  .../rvgen/templates/dot2k/trace_hybrid.h      |  16 +
- 60 files changed, 5135 insertions(+), 475 deletions(-)
+ 63 files changed, 5211 insertions(+), 485 deletions(-)
  create mode 100644 Documentation/tools/rv/rv-mon-stall.rst
  create mode 100644 Documentation/trace/rv/hybrid_automata.rst
  create mode 100644 Documentation/trace/rv/monitor_deadline.rst
@@ -206,7 +216,7 @@
  create mode 100644 tools/verification/rvgen/rvgen/templates/dot2k/trace_hybrid.h
 
 
-base-commit: 6866e87e57af763eb9edd14afb9f78367e3c2c4e
+base-commit: 924400c1c29006d835408ea0962446d4a481e774
 -- 
 2.52.0