Home

Ultimate development

This section contains instructions for Ultimate developers.

• Download and Installation
• Troubleshooting
• Third party software shipped with Ultimate
• List of contributors
• How-to add new developers

Ultimate Build System

• Overview
• Run JUnit tests from the command line with Maven
• Jenkins and Sonar

Documentation

This section contains instructions and documentation for users of Ultimate.

• Build and Usage
• Our Boogie dialect

Students

• Neue Projekte