Home

Welcome to the ULTIMATE wiki!

== Ticket Queries ==

• [query:status=accepted|assigned|new|reopened&max=1000&col=id&col=summary&col=status&col=owner&col=type&col=priority&col=component&col=time&col=changetime&col=reporter&order=priority Active Tickets]

== Ultimate ==

• [wiki:Install 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] ===