summaryrefslogtreecommitdiff
path: root/src/utils/automata/dfa_minimizer.hpp
AgeCommit message (Expand)Author
2024-12-19Fix struct member initializationOliver Reiche
2024-11-14utils: Implement IWYU suggestionsMaksim Denisov
2024-10-08Name classes, structs and enums using CamelCase.Maksim Denisov
2024-10-07Disable misc-no-recursion checkMaksim Denisov
2024-10-07Enable readability-redundant-member-init check.Maksim Denisov
2024-03-26Add missing system includesPaul Cristian Sarbu
2024-03-15Clean up more includes and targetsPaul Cristian Sarbu
2023-04-26imports: Switch to Microsoft GSL implementationOliver Reiche
2023-02-22cleanup: Fix typos in code line comments and logging messagesPaul Cristian Sarbu
2022-10-12Add copyright and license notice to all source and header filesKlaus Aehlig
2022-06-13utils: Add DFAMinimizer for computing bisimulationsOliver Reiche