From b6441651a52996a5e1a6015c89df7c13ec66359d Mon Sep 17 00:00:00 2001 From: Giles Reger Date: Tue, 24 Nov 2020 14:47:03 +0000 Subject: [PATCH] Adding AUTHORS and THANKS --- AUTHORS | 30 ++++++++++++++++++++++++++++++ THANKS | 5 +++++ 2 files changed, 35 insertions(+) create mode 100644 AUTHORS create mode 100644 THANKS diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 0000000000..5906516b43 --- /dev/null +++ b/AUTHORS @@ -0,0 +1,30 @@ +The authors, designers, and main contributors to Vampire are listed below. +Vampire's copyright is held by these individuals and the affiliated +institutions at the time of their contributions (note that some authors have +had more than one affiliated institution). See the file LICENCEfor details on +the copyright and licensing of Vampire. + +The developers and authors of Vampire are as below. This list is usually reflect +in the online page https://vprover.github.io/team.html: + +Current: + Ahmed Bhayat, University of Manchester + Bernhard Gleiss, TU Wein + Petra Hozzová, TU Wein + Laura Kovacs, Chalmers, TU Wein + Jakob Rath, TU Wein + Michael Rawson, University of Manchester + Giles Reger, University of Manchester + Martin Riener, University of Manchester, TU Wein + Martin Suda, University of Manchester, TU Wein, CTU/CIIRC + Johannes Schoisswohl, TU Wein, University of Manchester + Andrei Voronkov, University of Manchester, EasyChair + +Alumni: + Ioan Dragan, TU Wein + Krystof Hoder, University of Manchester + Evgeny Kotelnikov, Chalmers + Bernhard Kragl, TU Wein + Simon Robillard, Chalmers + +Other contributors to Vampire are listed in the THANKS file. diff --git a/THANKS b/THANKS new file mode 100644 index 0000000000..524f82cfe9 --- /dev/null +++ b/THANKS @@ -0,0 +1,5 @@ +Thanks to: + + - Geoff Sutcliffe for numerous bug reports and for running the annual CASC competition + + - Nikolaj Bjørner for his support in integrating the Z3 SMT solver into Vampire (and then support in helping us debug things when they go wrong)