Re: [PATCH v3 05/13] Documentation/rv: Add documentation about hybrid automata
From: Nam Cao <hidden>
Date: 2025-12-25 01:16:07
Also in:
linux-doc, lkml
From: Nam Cao <hidden>
Date: 2025-12-25 01:16:07
Also in:
linux-doc, lkml
Gabriele Monaco [off-list ref] writes:
Describe theory and implementation of hybrid automata in the dedicated page hybrid_automata.rst Include a section on how to integrate a hybrid automaton in monitor_synthesis.rst Also remove a hanging $ in deterministic_automata.rst Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Reviewed-by: Nam Cao <redacted>