| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-08-25 | Update to version 202407.1 | Kevin Jilissen | |
| 2024-08-19 | Change Qt5 dependency to Qt6 | Kevin Jilissen | |
| 2024-08-19 | Update to version 202407.0 | Kevin Jilissen | |
| 2023-11-15 | Initial mCRL2-bin based on GitHub actions build | Kevin Jilissen | |