projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9e861d) | patch
Update AUTHORS affiliations and add Martin.
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 2 Oct 2014 18:08:34 +0000 (14:08 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 2 Oct 2014 18:08:59 +0000 (14:08 -0400)
commit2c8a7a32b9694f6b1f3da1f9fa577ff94e35fb78
tree2e7819d47e9a4614727eedf5ad97e4e3ade5f790tree
parentc9e861d2a6964633d12448966e979299c8793466commit | diff
Update AUTHORS affiliations and add Martin.
AUTHORS diff | blob | history