projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3baf3bd) | patch
don't require libboost_thread (its presence is detected at configure-time), and other...
authorMorgan Deters <mdeters@gmail.com>
Tue, 21 Feb 2012 19:24:51 +0000 (19:24 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 21 Feb 2012 19:24:51 +0000 (19:24 +0000)
commit9dcfc2fdc58bf46a434f9c228a828be8d580f529
tree813cb43dbcebfa4bdff60b83f82235c92b22f028tree
parent3baf3bde60c118468b6af869942a9d9a7e3fb3d6commit | diff
don't require libboost_thread (its presence is detected at configure-time), and other build/documentation fixes from yesterday's portfolio merge; resolves bug 302
COPYING diff | blob | history
README diff | blob | history
configure.ac diff | blob | history
src/util/Makefile.am diff | blob | history
src/util/channel.cpp [deleted file] blob | history
src/util/channel.h diff | blob | history