Remove Petri-Automizer (#610)

ultimate-pa · Apr 4, 2023 · 790fda8 · 790fda8
1 parent 980301f
commit 790fda8
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 33 deletions.
diff --git a/trunk/source/WebsiteStatic/config/config.dist.js b/trunk/source/WebsiteStatic/config/config.dist.js
@@ -1357,20 +1357,6 @@ const _CONFIG = {
 				}
 			]
 		},
-		{
-			name: "Petri Automizer",
-			id: "petri_automizer",
-			description: "Petri net-based analysis of concurrent programs.",
-			languages: ["Boogie"],
-			workers: [
-				{
-					language: "boogie",
-					id: "boogieConcurrentTraceAbstr",
-					task_id: "CONCURRENT_BOOGIE",
-					frontend_settings: []
-				}
-			]
-		},
 		{
 			name: "Referee",
 			id: "referee",

diff --git a/trunk/source/WebsiteStatic/config/tool_pages/petri_automizer.html b/trunk/source/WebsiteStatic/config/tool_pages/petri_automizer.html
diff --git a/trunk/source/WebsiteStatic/config/ultimate_toolchain_xmls/boogieConcurrentTraceAbstr.xml b/trunk/source/WebsiteStatic/config/ultimate_toolchain_xmls/boogieConcurrentTraceAbstr.xml