Skip to content

Update metadata for v2.7.0 #1881

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
sim642 merged 2 commits into from
Nov 27, 2025
+25 −3
Merged

Update metadata for v2.7.0 #1881

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
07e8835
Update affiliation of Michael Schwarz
sim642 Nov 26, 2025
09cf0c0
Add Michael Petter and Ali to authors
sim642 Nov 26, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
12 changes: 11 additions & 1 deletion .zenodo.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
},
{
"name": "Schwarz, Michael",
"affiliation": "Technische Universität München",
"affiliation": "National University of Singapore",
"orcid": "0000-0002-9828-0308"
},
{
Expand All @@ -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"
Expand Down
10 changes: 9 additions & 1 deletion CITATION.cff
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ authors: # same authors as in .zenodo.json and dune-project
orcid: "https://orcid.org/0000-0003-4553-1350"
- given-names: Michael
family-names: Schwarz
affiliation: "Technische Universität München"
affiliation: "National University of Singapore"
orcid: "https://orcid.org/0000-0002-9828-0308"
- given-names: Julian
family-names: Erhard
Expand All @@ -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"
Expand Down
2 changes: 1 addition & 1 deletion dune-project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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)

Expand Down
2 changes: 2 additions & 0 deletions goblint.opam
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,8 @@ authors: [
"Julian Erhard"
"Sarah Tilscher"
"Karoliine Holter"
"Michael Petter"
"Ali Rasim Kocal"
"Ralf Vogler"
"Kalmer Apinis"
"Vesal Vojdani"
Expand Down
2 changes: 2 additions & 0 deletions goblint.opam.locked
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,6 +13,8 @@ authors: [
"Julian Erhard"
"Sarah Tilscher"
"Karoliine Holter"
"Michael Petter"
"Ali Rasim Kocal"
"Ralf Vogler"
"Kalmer Apinis"
"Vesal Vojdani"
Expand Down
Loading