Age | Commit message (Collapse) | Author | |
---|---|---|---|
2022-10-12 | Add copyright and license notice to all source and header files | Klaus Aehlig | |
Signed-off-by: Goetz Brasche <goetz.brasche@huawei.com> | |||
2022-06-13 | utils: Add DFAMinimizer for computing bisimulations | Oliver Reiche | |