Initial plugin version.

.github/dependabot.yml

@@ -1,16 +1,18 @@
+#  SPDX-License-Identifier: Apache-2.0
 #
-# Copyright 2019-2024 The Z3-TurnKey Authors
-# SPDX-License-Identifier: ISC
+#  Copyright 2019-2024 The TurnKey Authors
 #
-# Permission to use, copy, modify, and/or distribute this software for any purpose with or without fee is hereby
-# granted, provided that the above copyright notice and this permission notice appear in all copies.
+#  Licensed under the Apache License, Version 2.0 (the "License");
+#  you may not use this file except in compliance with the License.
+#  You may obtain a copy of the License at
 #
-# THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL
-# IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT,
-# INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN
-# AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR
-# PERFORMANCE OF THIS SOFTWARE.
+#      http://www.apache.org/licenses/LICENSE-2.0
 #
+#  Unless required by applicable law or agreed to in writing, software
+#  distributed under the License is distributed on an "AS IS" BASIS,
+#  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+#  See the License for the specific language governing permissions and
+#  limitations under the License.
 
 version: 2
 updates:
@@ -21,4 +23,4 @@ updates:
   - package-ecosystem: github-actions
     directory: /
     schedule:
-      interval: daily
+      interval: daily

.github/workflows/ci.yml

@@ -0,0 +1,55 @@
+#  SPDX-License-Identifier: Apache-2.0
+#
+#  Copyright 2019-2024 The TurnKey Authors
+#
+#  Licensed under the Apache License, Version 2.0 (the "License");
+#  you may not use this file except in compliance with the License.
+#  You may obtain a copy of the License at
+#
+#      http://www.apache.org/licenses/LICENSE-2.0
+#
+#  Unless required by applicable law or agreed to in writing, software
+#  distributed under the License is distributed on an "AS IS" BASIS,
+#  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+#  See the License for the specific language governing permissions and
+#  limitations under the License.
+
+name: CI/CD
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+  workflow_dispatch:
+
+permissions:
+  contents: write
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0 # Required for version number generation
+      - uses: actions/setup-java@v4
+        with:
+          distribution: temurin
+          java-version: 17
+      - uses: gradle/actions/setup-gradle@v4
+      - run: ./gradlew build
+
+  dependency-submission:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0 # Required for version number generation
+      - uses: actions/setup-java@v4
+        with:
+          distribution: temurin
+          java-version: 17
+      - uses: gradle/actions/dependency-submission@v4

AUTHORS.md

@@ -1,8 +1,20 @@
-### The Z3-TurnKey Authors
+<!--
+   SPDX-License-Identifier: CC-BY-4.0
 
-Z3-TurnKey is maintained by the [AQUA Group](https://aqua.engineering/) at TU Dortmund University.
+   Copyright 2019-2024 The TurnKey Authors
 
-#### Active Contributors
+   This work is licensed under the Creative Commons Attribution 4.0
+   International License.
 
-* [Simon Dierl](mailto:[email protected])
-* [Malte Mues](mailto:[email protected])
+   You should have received a copy of the license along with this
+   work. If not, see <https://creativecommons.org/licenses/by/4.0/>.
+-->
+
+# The TurnKey Authors
+
+The project is maintained by [AQUA Group](https://aqua.engineering/) at TU Dortmund University.
+
+## Active Contributors
+
+- [Simon Dierl](mailto:[email protected])
+- [Malte Mues](mailto:[email protected])