From 790fda805ba0a6ee9e320d5efb892c04db637385 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Frank=20Sch=C3=BCssele?= Date: Tue, 4 Apr 2023 16:16:28 +0200 Subject: [PATCH] Remove Petri-Automizer (#610) --- trunk/source/WebsiteStatic/config/config.dist.js | 14 -------------- .../config/tool_pages/petri_automizer.html | 11 ----------- .../boogieConcurrentTraceAbstr.xml | 8 -------- 3 files changed, 33 deletions(-) delete mode 100644 trunk/source/WebsiteStatic/config/tool_pages/petri_automizer.html delete mode 100644 trunk/source/WebsiteStatic/config/ultimate_toolchain_xmls/boogieConcurrentTraceAbstr.xml diff --git a/trunk/source/WebsiteStatic/config/config.dist.js b/trunk/source/WebsiteStatic/config/config.dist.js index cff97ee1481..2f8467a1c17 100644 --- 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 deleted file mode 100644 index 18a17f795b1..00000000000 --- a/trunk/source/WebsiteStatic/config/tool_pages/petri_automizer.html +++ /dev/null @@ -1,11 +0,0 @@ - - -

Petri Automizer

- -

Ultimate Petri Automizer implements a Petri net-based approach for the verification of concurrent programs.

- -

Web Interface

-

Petri Automizer is available via a web interface.

- - - diff --git a/trunk/source/WebsiteStatic/config/ultimate_toolchain_xmls/boogieConcurrentTraceAbstr.xml b/trunk/source/WebsiteStatic/config/ultimate_toolchain_xmls/boogieConcurrentTraceAbstr.xml deleted file mode 100644 index da5a95ae4eb..00000000000 --- a/trunk/source/WebsiteStatic/config/ultimate_toolchain_xmls/boogieConcurrentTraceAbstr.xml +++ /dev/null @@ -1,8 +0,0 @@ - -BoogieConcurrentTraceAbstractionTC - - - - - - \ No newline at end of file