| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-07-28 | rv: Retry when da monitor detects race conditions | Gabriele Monaco |
| 2025-07-25 | rv: Remove struct rv_monitor::reacting | Nam Cao |
| 2025-07-25 | rv: Remove rv_reactor's reference counter | Nam Cao |
| 2025-07-25 | rv: Merge struct rv_reactor_def into struct rv_reactor | Nam Cao |
| 2025-07-25 | rv: Merge struct rv_monitor_def into struct rv_monitor | Nam Cao |
| 2025-07-09 | rv: Allow to configure the number of per-task monitor | Nam Cao |
| 2025-07-09 | rv: Add support for LTL monitors | Nam Cao |
| 2025-07-09 | rv: Let the reactors take care of buffers | Nam Cao |
| 2025-03-24 | rv: Add option for nested monitors and include sched | Gabriele Monaco |
| 2025-03-24 | sched: Add sched tracepoints for RV task model | Gabriele Monaco |
| 2022-07-30 | rv/include: Add deterministic automata monitor definition via C macros | Daniel Bristot de Oliveira |
| 2022-07-30 | rv: Add runtime reactors interface | Daniel Bristot de Oliveira |
| 2022-07-30 | rv: Add Runtime Verification (RV) interface | Daniel Bristot de Oliveira |
 |
index : linux-toradex.git | |
| Linux kernel for Apalis and Colibri modules | Toradex |
| summaryrefslogtreecommitdiff |