Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-09-23 | Reorder dependencies and remove duplicates in OSS | Maksim Denisov | |
2024-03-15 | Clean up more includes and targets | Paul 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-13 | utils: Add DFAMinimizer for computing bisimulations | Oliver Reiche | |