Add Michael Petter and Ali to authors

Author: sim642

.zenodo.json

@@ -28,6 +28,16 @@
       "affiliation": "University of Tartu",
       "orcid": "0009-0008-3725-4131"
     },
+    {
+      "name": "Petter, Michael",
+      "affiliation": "Technische Universität München",
+      "orcid": "0009-0009-7868-651X"
+    },
+    {
+      "name": "Kocal, Ali Rasim",
+      "affiliation": "Technische Universität München",
+      "orcid": "0009-0004-9019-0852"
+    },
     {
       "name": "Vogler, Ralf",
       "affiliation": "Technische Universität München"

CITATION.cff

@@ -25,6 +25,14 @@ authors: # same authors as in .zenodo.json and dune-project
     family-names: Holter
     affiliation: "University of Tartu"
     orcid: "https://orcid.org/0009-0008-3725-4131"
+  - given-names: Michael
+    family-names: Petter
+    affiliation: "Technische Universität München"
+    orcid: "https://orcid.org/0009-0009-7868-651X"
+  - given-names: Ali Rasim
+    family-names: Kocal
+    affiliation: "Technische Universität München"
+    orcid: "https://orcid.org/0009-0004-9019-0852"
   - given-names: Ralf
     family-names: Vogler
     affiliation: "Technische Universität München"

dune-project

@@ -15,7 +15,7 @@
 (source (github goblint/analyzer))
 (homepage "https://goblint.in.tum.de")
 (documentation "https://goblint.readthedocs.io/en/latest/")
-(authors "Simmo Saan" "Michael Schwarz" "Julian Erhard" "Sarah Tilscher" "Karoliine Holter" "Ralf Vogler" "Kalmer Apinis" "Vesal Vojdani" ) ; same authors as in .zenodo.json and CITATION.cff
+(authors "Simmo Saan" "Michael Schwarz" "Julian Erhard" "Sarah Tilscher" "Karoliine Holter" "Michael Petter" "Ali Rasim Kocal" "Ralf Vogler" "Kalmer Apinis" "Vesal Vojdani" ) ; same authors as in .zenodo.json and CITATION.cff
 (maintainers "Simmo Saan <[email protected]>" "Michael Schwarz <[email protected]>" "Karoliine Holter <[email protected]>")
 (license MIT)
 

goblint.opam

@@ -17,6 +17,8 @@ authors: [
   "Julian Erhard"
   "Sarah Tilscher"
   "Karoliine Holter"
+  "Michael Petter"
+  "Ali Rasim Kocal"
   "Ralf Vogler"
   "Kalmer Apinis"
   "Vesal Vojdani"

goblint.opam.locked

@@ -13,6 +13,8 @@ authors: [
   "Julian Erhard"
   "Sarah Tilscher"
   "Karoliine Holter"
+  "Michael Petter"
+  "Ali Rasim Kocal"
   "Ralf Vogler"
   "Kalmer Apinis"
   "Vesal Vojdani"