Developer page of the mCRL2 toolset

Welcome to the mCRL2 developer documentation. If you are looking for information on the use of the mCRL2 toolkit or for tutorials or examples, please consult the user manual.

Contents

• mCRL2 library documentation
• Git repository (explanation: Git workflow)
• Issue tracker
• Code coverage
• Results of regression testing (explanation: Regression testing with TeamCity)
• Toolset tests
• Development guidelines
• Code generation
• Performance measurements
• Release and packaging procedure

Old pages

• Cronjob information