Age | Commit message (Expand) | Author |
---|---|---|
2024-12-19 | Fix struct member initialization | Oliver Reiche |
2024-11-14 | utils: Implement IWYU suggestions | Maksim Denisov |
2024-10-08 | Name classes, structs and enums using CamelCase. | Maksim Denisov |
2024-10-07 | Disable misc-no-recursion check | Maksim Denisov |
2024-10-07 | Enable readability-redundant-member-init check. | Maksim Denisov |
2024-03-26 | Add missing system includes | Paul Cristian Sarbu |
2024-03-15 | Clean up more includes and targets | Paul Cristian Sarbu |
2023-04-26 | imports: Switch to Microsoft GSL implementation | Oliver Reiche |
2023-02-22 | cleanup: Fix typos in code line comments and logging messages | Paul Cristian Sarbu |
2022-10-12 | Add copyright and license notice to all source and header files | Klaus Aehlig |
2022-06-13 | utils: Add DFAMinimizer for computing bisimulations | Oliver Reiche |