| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2026-04-01 | rv/rvgen: fix _fill_states() return type annotation | Wander Lairson Costa | 1 | -1/+1 |
| 2026-04-01 | rv/rvgen: fix unbound loop variable warning | Wander Lairson Costa | 1 | -5/+9 |
| 2026-04-01 | rv/rvgen: enforce presence of initial state | Wander Lairson Costa | 1 | -0/+4 |
| 2026-04-01 | rv/rvgen: extract node marker string to class constant | Wander Lairson Costa | 1 | -4/+5 |
| 2026-04-01 | rv/rvgen: fix isinstance check in Variable.expand() | Wander Lairson Costa | 1 | -1/+1 |
| 2026-04-01 | rv/rvgen: make monitor arguments required in rvgen | Wander Lairson Costa | 1 | -3/+4 |
| 2026-04-01 | rv/rvgen: remove unused __get_main_name method | Wander Lairson Costa | 1 | -6/+0 |
| 2026-04-01 | rv/rvgen: remove unused sys import from dot2c | Wander Lairson Costa | 1 | -1/+0 |
| 2026-04-01 | rv/rvgen: refactor automata.py to use iterator-based parsing | Wander Lairson Costa | 1 | -45/+71 |
| 2026-04-01 | rv/rvgen: use class constant for init marker | Wander Lairson Costa | 1 | -2/+3 |
| 2026-04-01 | rv/rvgen: fix DOT file validation logic error | Wander Lairson Costa | 1 | -1/+1 |
| 2026-04-01 | rv/rvgen: fix PEP 8 whitespace violations | Wander Lairson Costa | 4 | -8/+8 |
| 2026-04-01 | rv/rvgen: fix typos in automata and generator docstring and comments | Wander Lairson Costa | 4 | -8/+8 |
| 2026-03-31 | rv/rvgen: use context managers for file operations | Wander Lairson Costa | 2 | -12/+6 |
| 2026-03-31 | rv/rvgen: remove unnecessary semicolons | Wander Lairson Costa | 1 | -3/+3 |
| 2026-03-31 | rv/rvgen: replace __len__() calls with len() | Wander Lairson Costa | 2 | -9/+9 |
| 2026-03-31 | rv/rvgen: replace % string formatting with f-strings | Wander Lairson Costa | 6 | -85/+83 |
| 2026-03-31 | rv/rvgen: remove bare except clauses in generator | Wander Lairson Costa | 1 | -8/+1 |
| 2026-03-31 | rv/rvgen: introduce AutomataError exception class | Wander Lairson Costa | 7 | -34/+43 |
| 2026-03-31 | verification/rvgen: Add support for per-obj monitors | Gabriele Monaco | 2 | -5/+14 |
| 2026-03-31 | verification/rvgen: Add support for Hybrid Automata | Gabriele Monaco | 7 | -15/+678 |
| 2026-03-31 | verification/rvgen: Allow spaces in and events strings | Gabriele Monaco | 1 | -5/+4 |
| 2026-01-12 | verification/rvgen: Remove unused variable declaration from containers | Gabriele Monaco | 1 | -2/+0 |
| 2026-01-12 | verification/dot2c: Remove superfluous enum assignment and add last comma | Gabriele Monaco | 1 | -24/+12 |
| 2026-01-12 | verification/dot2c: Remove __buff_to_string() and cleanup | Gabriele Monaco | 1 | -29/+6 |
| 2026-01-12 | verification/rvgen: Annotate DA functions with types | Gabriele Monaco | 3 | -41/+41 |
| 2026-01-12 | verification/rvgen: Adapt dot2k and templates after refactoring da_monitor.h | Gabriele Monaco | 2 | -18/+13 |
| 2025-07-24 | rv: Return init error when registering monitors | Gabriele Monaco | 2 | -4/+2 |
| 2025-07-24 | verification/rvgen: Organise Kconfig entries for nested monitors | Gabriele Monaco | 2 | -5/+21 |
| 2025-07-24 | tools/dot2c: Fix generated files going over 100 column limit | Gabriele Monaco | 1 | -9/+11 |
| 2025-07-24 | verification/rvgen: Do not generate unused variables | Nam Cao | 1 | -4/+21 |
| 2025-07-24 | verification/rvgen: Generate each variable definition only once | Nam Cao | 1 | -3/+5 |
| 2025-07-24 | verification/rvgen: Support the 'next' operator | Nam Cao | 1 | -0/+26 |
| 2025-07-24 | verification/rvgen: Add support for linear temporal logic | Nam Cao | 7 | -1/+915 |
| 2025-07-24 | verification/rvgen: Restructure the classes to prepare for LTL inclusion | Nam Cao | 5 | -261/+308 |
| 2025-07-24 | verification/rvgen: Restructure the templates files | Nam Cao | 8 | -32/+20 |
| 2025-07-24 | verification/dot2k: Prepare the frontend for LTL inclusion | Nam Cao | 12 | -0/+1116 |
