summaryrefslogtreecommitdiffstats
path: root/include/rv/automata.h (follow)
Commit message (Expand)AuthorAgeFilesLines
* rv/include: Add helper functions for deterministic automataDaniel Bristot de Oliveira2022-07-301-0/+75