diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-07-20 14:36:41 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-20 17:36:41 +0000 |
| commit | 3f3c38e4d1a9aa2b820760a678e42ea85b027259 (patch) | |
| tree | 59e7d506309e79f4781a3ad3ffa239fbc1118b99 | |
| parent | f194486a6dc9e59bd294012e4d6abb2ce84c338c (diff) | |
[AUTHORS] Add CVC4 as part of CVC series (#6907)
| -rw-r--r-- | AUTHORS | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -38,8 +38,8 @@ Alumni: 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) but does -not directly incorporate code from any previous version prior to CVC4. +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. |