Age | Commit message (Expand) | Author |
---|---|---|
6 days | rv: Remove rv_reactor's reference counter | Nam Cao |
6 days | rv: Merge struct rv_reactor_def into struct rv_reactor | Nam Cao |
6 days | rv: Merge struct rv_monitor_def into struct rv_monitor | Nam Cao |
6 days | 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 |