Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2022-08-04 | rv: Unlock on error path in rv_unregister_reactor() | 1 | -2/+4 | |
2022-07-30 | rv/reactor: Add the panic reactor | 3 | -0/+52 | |
2022-07-30 | rv/reactor: Add the printk reactor | 3 | -1/+52 | |
2022-07-30 | rv/monitor: Add the wwnr monitor | 4 | -0/+146 | |
2022-07-30 | rv/monitor: Add the wip monitor | 3 | -36/+29 | |
2022-07-30 | rv/monitor: Add the wip monitor skeleton created by dot2k | 2 | -0/+155 | |
2022-07-30 | Documentation/rv: Add a basic documentation | 2 | -0/+6 | |
2022-07-30 | rv/include: Add deterministic automata monitor definition via C macros | 2 | -0/+16 | |
2022-07-30 | rv: Add runtime reactors interface | 5 | -0/+564 | |
2022-07-30 | rv: Add Runtime Verification (RV) interface | 4 | -0/+830 |