summaryrefslogtreecommitdiff
path: root/src/utils/automata/TARGETS
AgeCommit message (Collapse)Author
2024-09-23Reorder dependencies and remove duplicates in OSSMaksim Denisov
2024-03-15Clean up more includes and targetsPaul Cristian Sarbu
Some of the more specific issues addressed: - missing log_level target/include - header-only libs wrongly marking deps as private - missing/misplaced gsl includes
2022-06-13utils: Add DFAMinimizer for computing bisimulationsOliver Reiche