Home

Welcome to the ULTIMATE wiki!

Ultimate

• Download and Installation
• [wiki:Troubleshooting]
• [wiki:ThirdPartySoftware Third party software shipped with Ultimate]
• [wiki:ListOfContributors List of contributors]
• [wiki:AddDeveloper How-to add new developer]
• [https://monteverdi.informatik.uni-freiburg.de/ci/ Jenkins] [https://monteverdi.informatik.uni-freiburg.de/sonar/ 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]