Age | Commit message (Expand) | Author |
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 |
2009-12-08 | work on propositional layer, expression builder support for large expressions... | Morgan Deters |
2009-12-07 | big check-in of various fixes and adjustments | Morgan Deters |
2009-12-07 | antlr parser for the cvc4 language (boolean only) | Dejan Jovanović |
2009-12-06 | Big chunk of changes: | Dejan Jovanović |
2009-12-05 | more build system work | Morgan Deters |
2009-12-04 | more build system work | Morgan Deters |
2009-12-04 | More changes to configure.ac to include the smt grammar directory. The parser... | Dejan Jovanović |
2009-12-04 | Forgot to commit changes to configure.ac | Dejan Jovanović |
2009-12-03 | additional build system fixes | Morgan Deters |
2009-12-03 | first attempt at new build system | Morgan Deters |
2009-11-25 | additional work on parser hookup, configuration + build | Morgan Deters |