projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f194486) | patch
[AUTHORS] Add CVC4 as part of CVC series (#6907)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Tue, 20 Jul 2021 17:36:41 +0000 (14:36 -0300)
committerGitHub <noreply@github.com>
Tue, 20 Jul 2021 17:36:41 +0000 (17:36 +0000)
commit3f3c38e4d1a9aa2b820760a678e42ea85b027259
tree59e7d506309e79f4781a3ad3ffa239fbc1118b99tree
parentf194486a6dc9e59bd294012e4d6abb2ce84c338ccommit | diff
[AUTHORS] Add CVC4 as part of CVC series (#6907)
AUTHORS diff | blob | history