projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 312918e) | patch
gmp is again default, not cln, for build ID (reverting due to license discussion...
authorMorgan Deters <mdeters@cs.nyu.edu>
Thu, 9 Jan 2014 21:48:21 +0000 (16:48 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Thu, 9 Jan 2014 21:48:21 +0000 (16:48 -0500)
commit1e5d35f3867744a5c793985a9a31cdd6149750b7
tree16921ac2e4d30ba6f3390a54e0a96f617907c996tree
parent312918e68d4410359b55258dc2b9e9cdfb21f211commit | diff
gmp is again default, not cln, for build ID (reverting due to license discussion at Monday meeting)
config/build-type diff | blob | history