Home

Welcome to the ULTIMATE wiki!

Ultimate

• Download and Installation
• Troubleshooting
• Third party software shipped with Ultimate
• List of contributors
• [[How-to add new developers|AddDeveloper]
• https://monteverdi.informatik.uni-freiburg.de/ci/ https://monteverdi.informatik.uni-freiburg.de/sonar/

Outdated Pages

• [wiki:OldStart Old Trac-Startpage]
• [wiki:ToolChains Toolchain Description]
• [wiki:UltimatePluginTemplate]
• [wiki:Plugins Plugin Maintenance]

Ultimate 2.0

• [wiki:StalinTwoReqs Requirements from Ultimate 2.0(in german)]
• [wiki:StalinTwoDocumentation Ultimate 2.0 Documentation]

Ultimate Build System

• [wiki:Build/Overview Overview]
• [wiki:Build/Run_Maven_Tests]

[wiki:Boogie]

SMTInterpol/Ultimate Besprechung

• [wiki:Besprechungthemen]

Neue [wiki:Projekte]

[wiki:CorrectnessCertificates]

[wiki:TODO_Liste_TerminationCompetition2014]