| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-12-02 | rv: Convert to use __free | 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-25 | rv: Remove unused field in struct rv_monitor_def | Nam Cao |
| 2025-03-24 | rv: Add option for nested monitors and include sched | Gabriele Monaco |
| 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 |
