| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2010-05-27 | Use the newer automake test driver "parallel-tests". This driver: | Morgan Deters |
| 2010-05-27 | fix bug 120; competition mode regression failures for intentionally-buggy input | Morgan Deters |
| 2010-05-04 | Disabling semantic checks in competition mode. | Christopher L. Conway |
| 2010-04-14 | * Better dependency tracking for unit test building and linking, and | Morgan Deters |
| 2010-04-08 | A handful of build system fixes: | Morgan Deters |
| 2010-04-04 | * Addressed issues brought up in Chris's review of Morgan's | Morgan Deters |
| 2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
| 2010-04-01 | PARSER STUFF: | Morgan Deters |
| 2010-04-01 | Adding check for --disable-shared on --enable-coverage | Christopher L. Conway |
| 2010-03-30 | Highlights of this commit are: | Morgan Deters |
| 2010-03-26 | Added GMP backed Rational and Integer classes, and white box tests for them. ... | Tim King |
| 2010-03-15 | This checkin resolves bug #57. | Morgan Deters |
| 2010-03-12 | * src/context/cdmap.h: rename orderedIterator to iterator, do away | Morgan Deters |
| 2010-03-08 | Adding quiet output of make by default. There are two additional options to c... | Dejan Jovanović |
| 2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
| 2010-02-22 | * configure.ac: Remove doc/ from search path for Makefile.ams | Morgan Deters |
| 2010-02-22 | Re-committing revision 232 properly: | Morgan Deters |
| 2010-02-22 | undoing improperly-committed revision 232; will re-commit to get "svn blame" ... | Morgan Deters |
