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 off-line viewing
• CMake build instructions - Build instructions compiling the tool-set with Cmake
• Build instructions - How to compile the code with Boost-Build
• 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
• Regression test results for mobile devices - View results of daily regression testing on your mobile device
• Boost build regression test results - View results of daily regression testing

Login required:

• Meetings - Reports of mCRL2 team meetings
• Current issues - Unresolved issues and to-do lists
• Planning - Planning schedule for the mCRL2 development
• Tool status overview - Tool status overview
• Long-term goals - Long-term goals for the mCRL2 development
• Scripts - Scripts that are useful for mCRL2 developers
• Static analysis - Instructions for static analysis using cppcheck
• Responsibilities - Overview of responsibilities
• Cronjob information - Info regarding the periodically executed cronjobs