Development

From MCRL2

This page contains information and resources for mCRL2 developers.

Documentation:

• Library documentation - Documentation of the mCRL2 libraries
• Development guidelines - Guidelines for mCRL2 developers
• Building library reference pages - How to generate the library reference pages for offline viewing
• Build instructions - How to compile the code
• Regression testing - How to write test programs

Other pages:

• Subversion repository (Trac) - Browse the source code in Trac
• Subversion repository (ViewCVS) - Browse the source code in ViewCVS
• Bug tracker - View and report bugs
• Performance measurements - View tool performance measurements
• Regression test results - View results of daily regression testing

Login required:

• Current issues - Unresolved issues and todo lists
• Meetings - Reports of mCRL2 team meetings