svn:ignore for build stuff; add Liana to AUTHORS

diff --git a/AUTHORS b/AUTHORS
index 41cb9bb16cd474f6c1f6939d3e9b72f77892fdba..4f94f7c018c819cc98b9e9e6d3a51be27c555a9c 100644 (file)
--- a/AUTHORS
+++ b/AUTHORS
@@ -4,6 +4,7 @@ The core authors and designers of CVC4 are:
   Christopher Conway <cconway@cs.nyu.edu>, New York University
   Morgan Deters <mdeters@cs.nyu.edu>, New York University
   Yeting Ge <yeting@cs.nyu.edu>, New York University
+  Liana Hadarean <lianah@cs.nyu.edu>, New York University
   Tim King <taking@cs.nyu.edu>, New York University
   Mina Jeong <mjeong@cs.nyu.edu>, New York University
   Dejan Jovanovic <dejan@cs.nyu.edu>, New York University