Home

Ultimate development

This section contains instructions for Ultimate developers.

• Download and Installation
• Troubleshooting
• Eclipse-Settings
• License
• List of contributors

How-To

• How-to add new developers
• How-to add a new automata operation
• How-to add a new plugin
• How-to quickly test the web interface
• How-to update SMTInterpol

Ultimate Build System

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

Documentation

This section contains instructions and documentation for users of Ultimate.

• Build and Usage
• Most important settings
• Our Boogie dialect
• Run SVComp Benchmarks
• Floating Point Support
• Terminology and Concepts of our CFG based program representation

Students

Available and finished student projects:

• Available
• In progress
• Finished
• Old student projects (partly German)