Age | Commit message (Expand) | Author |
2012-04-28 | require boost library (but not the threading support---that's only necessary ... | Morgan Deters |
2012-04-11 | merge from arrays-clark branch | Morgan Deters |
2012-04-06 | fix distributed builds (and therefore the Debian nightly build) by ignoring M... | Morgan Deters |
2012-03-30 | some more build system fixes | Dejan Jovanović |
2012-03-09 | Some work on the dump infrastructure to support portfolio work. | Morgan Deters |
2012-03-03 | Changing the dependency checking; GMP is required (and sometimes must be expl... | Morgan Deters |
2012-02-23 | pcvc4 only built if --with-portfolio given to the configure script (Clark-req... | Morgan Deters |
2012-02-22 | fixes to configure and boost.m4 to make certain boost installations nonfatal ... | Morgan Deters |
2012-02-22 | another static library unavailability issue | Morgan Deters |
2012-02-22 | Fixes to documentation / fixes for MacOS | Morgan Deters |
2012-02-21 | add a "--with-portfolio" configure option that makes a missing boost-thread l... | Morgan Deters |
2012-02-21 | fix src/util/hash.h to specialize GNU's hash template for <uint64_t> on platf... | Morgan Deters |
2012-02-21 | don't require libboost_thread (its presence is detected at configure-time), a... | Morgan Deters |
2012-02-20 | zlib not required; remove configure's dependency on it | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2012-02-12 | separate new-theory components into a "theoryskel" directory so that new file... | Morgan Deters |
2012-02-07 | re-adding comment about available languages | Morgan Deters |
2012-02-03 | updating configure to use python-config for building python bindings | Dejan Jovanović |
2011-10-28 | proof regressions | Morgan Deters |
2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
2011-10-21 | add gcc version information to Configuration, and warn when building with v4.... | Morgan Deters |
2011-10-19 | fix configure step on Ubuntu oneiric (11.10)-- related to bug #284 | Morgan Deters |
2011-10-03 | user push/pop support in minisat and simplification; also bindings work | Morgan Deters |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters |
2011-09-28 | better fix for #281, also fix issue with command line options not existing on... | Morgan Deters |
2011-09-25 | first crack at compatibility java interface (not built by default) | Morgan Deters |
2011-09-21 | Java binding now working. Some interface types still need some work (e.g. it... | Morgan Deters |
2011-09-21 | considerable bindings interface work, some improvements to build | Morgan Deters |
2011-09-18 | cleaned up the mechanism for library versioning | Morgan Deters |
2011-09-16 | fix debian build without breaking anything (i hope) | Morgan Deters |
2011-09-03 | this should fix the build; doxygen documentation now gets built in srcdir/doc... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-07-07 | cudd-building prefs with --with-cudd / --without-cudd | Morgan Deters |
2011-06-18 | Some fixes inspired by Fedora 15: | Morgan Deters |
2011-05-02 | more minor fixes related to last few commits | Morgan Deters |
2011-05-01 | minor fixes, plus experimental readline support in InteractiveShell | Morgan Deters |
2011-04-10 | merge from replay branch | Morgan Deters |
2011-04-10 | Add -lprofiler when --with-google-perftools is offered; also fix some newswir... | Morgan Deters |
2011-04-02 | with --with-google-perftools, don't just take it on blind faith, require a su... | Morgan Deters |
2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | Morgan Deters |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
2011-03-14 | adding support for google performance tools to the build sytem, it can be ena... | Dejan Jovanović |
2010-12-17 | tls.h, rational.h, and integer.h are only re-generated if changed. this obvi... | Morgan Deters |
2010-11-18 | small changes to documentation; also, '\''make doc'\'' doesn't build dot grap... | Morgan Deters |
2010-10-31 | enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d... | Morgan Deters |
2010-10-29 | portability updates to build system | Morgan Deters |
2010-10-28 | fix confusing CXXTEST configure message, indicating success at finding cxxtes... | Morgan Deters |
2010-10-12 | Merge from cc-memout branch. Here are the main points | Morgan Deters |
2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
2010-10-07 | type checking for define-fun in production builds; related to (and might reso... | Morgan Deters |