Age | Commit message (Expand) | Author |
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 |
2010-02-22 | * Add virtual destructors to CnfStream, Theory, OutputChannel, and | Cesare Tinelli |
2010-02-22 | fix bug 33 (statically link the "cvc4" binary); also main driver cleanup | Morgan Deters |
2010-02-22 | fix bug 22 (remove tracing from non-trace builds; remove all output | Morgan Deters |
2010-02-18 | Adding doxygen configuration parameters and doxygen-doc Makefile target | Christopher L. Conway |
2010-02-17 | fix bug 27: --with-cxxtest-dir=(relative-path) now works | Morgan Deters |
2010-02-06 | force sorting of AC_CONFIG_FILES, otherwise different computers generate the ... | Morgan Deters |
2010-02-05 | auto-generated list of AC_CONFIG_FILES so that you needn't add each recursive... | Morgan Deters |
2010-02-04 | remove warnings from use of __gnu_cxx::hash_map<>; also spacing fixes in symb... | Morgan Deters |
2010-02-04 | test infrastructure updated for multiple-level regressions | Morgan Deters |
2010-02-04 | added bool and arith theory makefiles to AC_CONFIG_FILES in configure.ac | Morgan Deters |
2010-02-03 | Addressed many of the concerns of bug 10 (build system code review). | Morgan Deters |
2010-01-26 | fixes to build structure, util classes, lots of fixes to Node and NodeBuilder... | Morgan Deters |
2010-01-05 | Changes to configure.ac from code review | Christopher L. Conway |