From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Fri, 19 Feb 2021 00:22:40 +0000 (-0800)
Subject: Add Gereon to AUTHORS list. (#5930)
X-Git-Tag: cvc5-1.0.0~2262
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6ae21de6f85d9629018c1b6bf912ef39f3e169fb;p=cvc5.git

Add Gereon to AUTHORS list. (#5930)
---

diff --git a/AUTHORS b/AUTHORS
index 073c1c67f..894f779f4 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -11,6 +11,7 @@ Current:
   Clark Barrett, New York University, Google, Stanford University
   Martin Brain, University of Oxford
   Ahmed Irfan, Stanford University
+  Gereon Kremer, Stanford University
   Makai Mann, Stanford University
   Abdalrhman Mohamed, The University of Iowa
   Mudathir Mohamed, The University of Iowa