projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 50b6ae2) | patch
Add travis debug build with cln. (#1066)
authorAina Niemetz <aina.niemetz@gmail.com>
Fri, 1 Sep 2017 16:57:28 +0000 (09:57 -0700)
committerGitHub <noreply@github.com>
Fri, 1 Sep 2017 16:57:28 +0000 (09:57 -0700)
commit29e0da43933f8b388f3317baf522cb9d32affef2
tree2d909ef4beabcc8de2981cee9bb6bcd35fff81b1tree
parent50b6ae2d3d117d6e76f21238ac64b35fda501df3commit | diff
Add travis debug build with cln. (#1066)

Until now, all travis builds where built with gmp. This commit adds an additional debug build built with cln.
.travis.yml diff | blob | history