projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b17f51) | patch
A few updates to license files.
authorClark Barrett <barrett@cs.stanford.edu>
Fri, 29 Sep 2017 22:55:33 +0000 (15:55 -0700)
committerClark Barrett <barrett@cs.stanford.edu>
Fri, 29 Sep 2017 22:55:33 +0000 (15:55 -0700)
commit1bb608cdeab8e27bfe66d6a335b0f4e3278c279d
tree666f04da65826f54e7d15319bf1900a5c4df3839tree
parent6b17f515ed5237100333eb35e20a4b7d49ce2bedcommit | diff
A few updates to license files.
COPYING diff | blob | history
GMP-LICENSE diff | blob | history