Age | Commit message (Expand) | Author |
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 |
2009-12-17 | add system regression testing infrastructure | Morgan Deters |
2009-12-17 | support nonstandard, unconfigured builds (e.g., "./configure debug" followed ... | Morgan Deters |
2009-12-16 | Standardizing configure arguments for ANTLR/CxxTest | Christopher L. Conway |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-11 | build fixes, configuration simplifications | Morgan Deters |
2009-12-10 | cleanups, assert work, add a stubbed uf theory, fix driver | Morgan Deters |
2009-12-08 | check in automake/libtool/autoconf-generated files; add better file not found... | Morgan Deters |