Skip to content

Commit 6ae95fa

Browse files
committed
Add Martin D. Schwarz and Alexander Herz to CITATION authors for v1.1.0
1 parent dcb2950 commit 6ae95fa

File tree

2 files changed

+8
-2
lines changed

2 files changed

+8
-2
lines changed

CITATION.cff

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,13 +4,19 @@ message: "If you use this software, please cite it using the metadata from this
44

55
title: "Goblint"
66
abstract: "Static analysis framework for C"
7-
authors: # same authors as in dune-project
7+
authors: # TODO: same authors as in dune-project (for future releases)
88
- given-names: Vesal
99
family-names: Vojdani
1010
affiliation: "University of Tartu"
1111
- given-names: Kalmer
1212
family-names: Apinis
1313
affiliation: "University of Tartu"
14+
- given-names: Martin D.
15+
family-names: Schwarz
16+
affiliation: "Technische Universität München"
17+
- given-names: Alexander
18+
family-names: Herz
19+
affiliation: "Technische Universität München"
1420
- given-names: Ralf
1521
family-names: Vogler
1622
affiliation: "Technische Universität München"

dune-project

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -14,7 +14,7 @@
1414
(source (github goblint/analyzer))
1515
(homepage "https://goblint.in.tum.de")
1616
(documentation "https://goblint.readthedocs.io/en/latest/")
17-
(authors "Vesal Vojdani" "Kalmer Apinis" "Ralf Vogler" "Michael Schwarz" "Julian Erhard" "Simmo Saan") ; same authors as in CITATION.cff
17+
(authors "Vesal Vojdani" "Kalmer Apinis" "Ralf Vogler" "Michael Schwarz" "Julian Erhard" "Simmo Saan") ; TODO: same authors as in CITATION.cff (for future releases)
1818
(maintainers "Michael Schwarz <michael.schwarz93@gmail.com>" "Simmo Saan <simmo.saan@gmail.com>" "Ralf Vogler <ralf.vogler@gmail.com>")
1919
(license MIT)
2020

0 commit comments

Comments
 (0)