Age | Commit message (Expand) | Author |
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 |
2010-10-01 | re-add no-deprecated to C sources; update some file-level documentation; firs... | Morgan Deters |
2010-10-01 | replacement implementation for clock_gettime() on mac os x, build portability... | Morgan Deters |
2010-09-30 | fixed a number of problems with mac os x builds. build now works on mac os x... | Morgan Deters |
2010-09-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
2010-09-24 | roll back an unintended change with r900 | Morgan Deters |
2010-09-24 | Fix build system for Mac OS X builds (resolves bug #203) | Morgan Deters |
2010-09-02 | * add TimerStat statistic type | Morgan Deters |
2010-08-24 | Making GMP default, CLN opt-in with --with-cln | Christopher L. Conway |
2010-08-17 | Merge from "cc" branch: | Morgan Deters |
2010-08-16 | add zlib checks to configure (new minisat requires it?) | Morgan Deters |
2010-07-07 | some build system changes reverted after the CLN build system work a few days... | Morgan Deters |
2010-07-04 | better detection for static binary building | Morgan Deters |
2010-07-04 | make dist && make distcheck functional, other fixes | Morgan Deters |
2010-07-03 | better config.reconfig script auto-generated | Morgan Deters |
2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
2010-07-02 | Merges the cln-test branch into the main branch. | Tim King |
2010-06-18 | "statistics" and "staticbinary" are now tags on the build (so you get build d... | Morgan Deters |
2010-06-18 | Merging the statistics branch into the main trunk. I'll go over how to use th... | Tim King |