X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=AUTHORS;h=203286dafd47d5243bf198330a9ff7985227247d;hb=8f14d8b4eeaf5b2d1b7bb30173ca85197b7166be;hp=5610fe0636c68bf6b132381f736561f92fc05d64;hpb=fbcece2280344e30eb6cb91e7eb8556941dfe0b5;p=cvc5.git diff --git a/AUTHORS b/AUTHORS index 5610fe063..203286daf 100644 --- a/AUTHORS +++ b/AUTHORS @@ -1,34 +1,49 @@ -The core authors and designers of CVC4 are: - - Kshitij Bansal , New York University - Clark Barrett , New York University - Francois Bobot , Paris-Sud University - Christopher Conway , New York University - Morgan Deters , New York University - Liana Hadarean , New York University - Dejan Jovanovic , New York University - Tim King , New York University - Tianyi Liang , The University of Iowa - Andrew Reynolds , The University of Iowa - Cesare Tinelli , The University of Iowa - -CVC4 is the fourth in the CVC series of tools (CVC, CVC Lite, CVC3) but does -not directly incorporate code from any previous version. Information about -authors of previous CVC tools is included with their distributions. - -CVC4 contains MiniSAT code by Niklas Een and Niklas Sorensson. - -The CVC4 parser incorporates some code from ANTLR3, by Jim Idle, Temporal +The authors, designers, and main contributors to cvc5 are listed below. +cvc5'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 COPYING for details on +the copyright and licensing of cvc5. + +The developers and authors of cvc5 are: + +Current: + Haniel Barbosa, The University of Iowa, Universidade Federal de Minas Gerais + Clark Barrett, New York University, Google, Stanford University + Martin Brain, University of Oxford + Gereon Kremer, Stanford University + Makai Mann, Stanford University + Abdalrhman Mohamed, The University of Iowa + Mudathir Mohamed, The University of Iowa + Aina Niemetz, Stanford University + Andres Noetzli, Stanford University + Alex Ozdemir, Stanford University + Mathias Preiner, Stanford University + Andrew Reynolds, The University of Iowa, EPFL + Ying Sheng, Stanford University + Cesare Tinelli, The University of Iowa + Yoni Zohar, Stanford University + +Alumni: + Kshitij Bansal, New York University, Google + Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique + Christopher Conway, New York University, Google + Morgan Deters, New York University + Liana Hadarean, New York University, Mentor Graphics Corporation + Ahmed Irfan, Stanford University + Dejan Jovanovic, New York University, SRI International + Guy Katz, New York University, Stanford University + Tim King, New York University, Universite Joseph Fourier, Google + Tianyi Liang, The University of Iowa + Paul Meng, The University of Iowa + +Other contributors to the cvc5 codebase are listed in the THANKS file. + +cvc5 is the fifth in the CVC series of tools (CVC, CVC Lite, CVC3, CVC4) but +does not directly incorporate code from any previous version prior to CVC4. +Information about authors of previous CVC tools is included with their +distributions. + +cvc5 contains MiniSAT code by Niklas Een and Niklas Sorensson. + +The cvc5 parser incorporates some code from ANTLR3, by Jim Idle, Temporal Wave LLC. - -CVC4 contains the doxygen.m4 autoconf module by Oren Ben-Kiki. - -CVC4 contains the pkg.m4 autoconf module by Scott James Remnant. - -CVC4 contains the ax_tls.m4 autoconf module by Alan Woodland and Diego Elio -Petteno`. - -CVC4 contains the boost.m4 autoconf module by Benoit Sigoure. - -CVC4 maintainer versions contain the script autogen.sh by Christopher Sean -Morrison, and copyright U.S. Army Research Laboratory.