projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 693d708) | patch
Changed AUTHORS - removed references to earlier CVC tool authors
authorClark Barrett <barrett@cs.nyu.edu>
Mon, 5 Jul 2010 16:49:48 +0000 (16:49 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Mon, 5 Jul 2010 16:49:48 +0000 (16:49 +0000)
commit21f49239035853f244eb32956572cfd6559358f1
treefea37fcd914389e86b855667d3ddd71e11128b84tree
parent693d70847d0ed753a4f035dd3c88eb32607e2081commit | diff
Changed AUTHORS - removed references to earlier CVC tool authors
AUTHORS diff | blob | history