From 3b46a93e7e62280891ea978bdc78ddd547ee6bdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Frank=20Sch=C3=BCssele?=
 <schuessf@informatik.uni-freiburg.de>
Date: Tue, 4 Apr 2023 10:40:10 +0200
Subject: [PATCH] Remove ULTIMATE prefix for tools (#610)

---
 .../WebsiteStatic/config/config.dist.js       | 20 +++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/trunk/source/WebsiteStatic/config/config.dist.js b/trunk/source/WebsiteStatic/config/config.dist.js
index bb5672a9bc1..59f14f0a741 100644
--- a/trunk/source/WebsiteStatic/config/config.dist.js
+++ b/trunk/source/WebsiteStatic/config/config.dist.js
@@ -57,7 +57,7 @@ const _CONFIG = {
 	tools: [
 		{
 			// name: A Human readable name of this tool. Used as Heading in the frontend.
-			name: "ULTIMATE Automizer",
+			name: "Automizer",
 			// id: A mandatory unique id for the tool.
 			id: "automizer",
 			// description: Frontend description.
@@ -114,7 +114,7 @@ const _CONFIG = {
 			logo_url: "img/tool_logo.png",
 		},
 		{
-			name: "ULTIMATE Büchi Automizer",
+			name: "Büchi Automizer",
 			id: "buechi_automizer",
 			description: "Termination analysis based on Büchi automata.",
 			languages: ["Boogie", "C"],
@@ -134,7 +134,7 @@ const _CONFIG = {
 			]
 		},
 		{
-			name: "ULTIMATE Kojak",
+			name: "Kojak",
 			id: "kojak",
 			description: "A software model checker.",
 			languages: ["Boogie", "C"],
@@ -154,7 +154,7 @@ const _CONFIG = {
 			]
 		},
 		{
-			name: "ULTIMATE Taipan",
+			name: "Taipan",
 			id: "taipan",
 			description: "Verification of safety properties using trace abstraction and abstract interpretation on path programs.",
 			languages: ["Boogie", "C"],
@@ -1038,7 +1038,7 @@ const _CONFIG = {
 			]
 		},
 		{
-			name: "ULTIMATE LTL Automizer",
+			name: "LTL Automizer",
 			id: "ltl_automizer",
 			description: "An LTL software model checker based on Büchi programs.",
 			languages: ["C"],
@@ -1285,7 +1285,7 @@ const _CONFIG = {
 			]
 		},
 		{
-			name: "ULTIMATE Lasso Ranker",
+			name: "Lasso Ranker",
 			id: "lasso_ranker",
 			description: "Synthesis of ranking functions and nontermination arguments.",
 			languages: ["Boogie", "C"],
@@ -1305,7 +1305,7 @@ const _CONFIG = {
 			]
 		},
 		{
-			name: "ULTIMATE Automata Library",
+			name: "Automata Library",
 			id: "automata_library",
 			description: "Nested Word Automta, Büchi Nested Word Automta, Petri Net, Alternating Finite Automata, Tree Automata.",
 			languages: ["Automata_script"],
@@ -1319,7 +1319,7 @@ const _CONFIG = {
 			]
 		},
 		{
-			name: "ULTIMATE Petri Automizer",
+			name: "Petri Automizer",
 			id: "perti_automizer",
 			description: "Petri net-based analysis of concurrent programs.",
 			languages: ["Boogie"],
@@ -1333,7 +1333,7 @@ const _CONFIG = {
 			]
 		},
 		{
-			name: "ULTIMATE Referee",
+			name: "Referee",
 			id: "referee",
 			description: "Checking validity of given invariants.",
 			languages: ["Boogie", "C"],
@@ -1353,7 +1353,7 @@ const _CONFIG = {
 			]
 		},
 		{
-			name: "ULTIMATE Eliminator",
+			name: "Eliminator",
 			id: "eliminator",
 			description: "Run SMT script.",
 			languages: ["Smt"],