projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 949dc98) | patch
Replace CVC4_THREADLOCAL in interactive_shell (#1065)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 1 Sep 2017 00:39:16 +0000 (17:39 -0700)
committerGitHub <noreply@github.com>
Fri, 1 Sep 2017 00:39:16 +0000 (17:39 -0700)
commitd344234d056e1cd9f50cfc611151879381c6124d
tree4b1984cfdbf79f83900980d1c8c10ce05d73d2a7tree
parent949dc989f72c680b98a4f7c4e52616b393237b52commit | diff
Replace CVC4_THREADLOCAL in interactive_shell (#1065)

Commit 546d795470ca7c30fc62fe9b6c7b8e5838e1eed4
caused our nightly builds to fail because it did
not replace CVC4_THREADLOCAL with
CVC4_THREAD_LOCAL in interactive_shell. This
commit fixes the issue and adds readline to
Travis, s.t. readline related code gets compiled
as part of our CI tests.
.travis.yml diff | blob | history
src/main/interactive_shell.cpp diff | blob | history
src/theory/bv/theory_bv_rewriter.cpp diff | blob | history