Age | Commit message (Expand) | 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 |
2022-06-13 | utils: Add DFAMinimizer for computing bisimulations | Oliver Reiche |