From 5cb023544f5172465efbb5e3f8d410e0b315c69c Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 23 Jul 2020 22:06:37 +0200 Subject: [PATCH] Updated list of contributors --- doc/source/contributors.rst | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/doc/source/contributors.rst b/doc/source/contributors.rst index 0961349..1beaef9 100644 --- a/doc/source/contributors.rst +++ b/doc/source/contributors.rst @@ -5,16 +5,20 @@ Contributors Stormpy is an extension to `Storm `_. As a consequence, developers of Storm contributed significantly to the functionality offered by these Python bindings. -The bindings themselves have been developed by (lexicographically ordered): - * Sebastian Junges - * Matthias Volk +The bindings themselves have been developed by (lexicographically ordered): + +* Sebastian Junges +* Matthias Volk and received significant contributions by (lexicographically ordered): - * Tom Janson -We would like to thank Harold Bruintjes for the initial development of the pycarl bindings. +* Tom Janson +* Hannah Mertens + +We would like to thank Harold Bruintjes for the initial development of the pycarl bindings. Furthermore, the following list of people helped us to develop stormpy (in chronological order): - * Nils Jansen (early adoption, feedback) - * Murat Cubuktepe (early adoption, feedback) + +* Nils Jansen (early adoption, feedback) +* Murat Cubuktepe (early adoption, feedback)