projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63da8b8) | patch
Added Finn Haedicke as a contributor.
authorClark Barrett <barrett@cs.nyu.edu>
Tue, 12 May 2015 20:56:00 +0000 (13:56 -0700)
committerClark Barrett <barrett@cs.nyu.edu>
Tue, 12 May 2015 20:56:00 +0000 (13:56 -0700)
commitdcb85a122a2dc9c80c2626ba6ab83f97d7e983ad
treeda0b35afb80855b13ea306b51cac2a43c7810243tree
parent63da8b80c77ef405d84c0faa1e31323c7cc01540commit | diff
Added Finn Haedicke as a contributor.
AUTHORS diff | blob | history