projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5ec4b57
)
update Haniel's affiliation (#4404)
author
Haniel Barbosa
<hanielbbarbosa@gmail.com>
Tue, 28 Apr 2020 19:02:06 +0000
(16:02 -0300)
committer
GitHub
<noreply@github.com>
Tue, 28 Apr 2020 19:02:06 +0000
(16:02 -0300)
AUTHORS
patch
|
blob
|
history
diff --git
a/AUTHORS
b/AUTHORS
index 7f056c0e67d3ce54219291c731bb7a887751443f..299d51ce3dd401839a932e3c1722ac3c90360cef 100644
(file)
--- a/
AUTHORS
+++ b/
AUTHORS
@@
-7,7
+7,7
@@
the copyright and licensing of CVC4.
The core designers and authors of CVC4 are:
Kshitij Bansal, New York University, Google
- Haniel Barbosa, The University of Iowa
+ Haniel Barbosa, The University of Iowa
, Universidade Federal de Minas Gerais
Clark Barrett, New York University, Google, Stanford University
Francois Bobot, The University of Iowa, Commissariat a l'Energie Atomique
Martin Brain, University of Oxford