summaryrefslogtreecommitdiff
path: root/include/rv/automata.h
AgeCommit message (Expand)AuthorFilesLines
2026-01-12rv: Cleanup da_monitor after refactorGabriele Monaco1-16/+8
2026-01-12rv: Refactor da_monitor to minimise macrosGabriele Monaco1-59/+73
2022-07-30rv/include: Add helper functions for deterministic automataDaniel Bristot de Oliveira1-0/+75