| Age | Commit message (Expand) | Author |
|---|
| 2012-09-14 | Fix a few minor issues in options processing, improving usability, consistenc... | Morgan Deters |
| 2012-09-04 | Accepted some patches from the Multicore Programming Group at Imperial Colleg... | Morgan Deters |
| 2012-08-28 | fix regression tests for automake 1.11 and automake 1.12---both versions shou... | Morgan Deters |
| 2012-08-28 | fixes for Mac and automake 1.12 detection | Morgan Deters |
| 2012-08-06 | Support setting :regular-output-channel and :diagnostic-output-channel. | Morgan Deters |
| 2012-07-31 | Options merge. This commit: | Morgan Deters |
| 2012-07-16 | reverse the order of link arguments to -lcln -lgmp, fixes linking errors for ... | Morgan Deters |
| 2012-07-08 | remove a debugging line from configure script that was left in inadvertently | Morgan Deters |
| 2012-07-01 | Some changes to configure.ac: | Morgan Deters |
| 2012-06-06 | Fixing numerous issues with tests and "make dist": | Morgan Deters |
| 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 |
