| Age | Commit message (Expand) | Author |
|---|
| 2011-04-23 | * reviewed BooleanSimplification, added documentation & unit test | Morgan Deters |
| 2011-03-30 | Add Valuation::getSatValue() so that theories can access the current | Morgan Deters |
| 2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
| 2011-02-26 | Commit to fix bug 241 (improper "using namespace std" in a header). This cau... | Morgan Deters |
| 2010-11-11 | make addsourcedir executable | Morgan Deters |
| 2010-11-04 | Moving the post_mortem.py script out of contrib and into the cvc4 scripts dir... | Tim King |
| 2010-11-04 | Updates post_mortem.py script to be able to handle certain kinds of crashes a... | Tim King |
| 2010-10-27 | "make dist" fixes; a distribution tarball can now build and pass tests. "make... | Morgan Deters |
| 2010-10-27 | support focus on a particular subpackage (e.g. "expr") | Morgan Deters |
| 2010-10-27 | inter-package dependence graph generation (in dot format) | Morgan Deters |
| 2010-09-27 | add workaround for systems (i.e., Mac OS X) that don't support __thread; also... | ACSYS |
| 2010-08-17 | Merge from "cc" branch: | Morgan Deters |
| 2010-07-08 | Moving cluster-qf_lra-full to scripts project | Christopher L. Conway |
| 2010-07-08 | Moving cluster-qf_lra-benchmark to scripts project | Christopher L. Conway |
| 2010-07-08 | I am adding my smt-crunch scripts to source control. Others may find them us... | Tim King |
| 2010-07-08 | Updates to the post_mortem.py script. | Tim King |
| 2010-07-07 | things for competition upload: new "make submission" target | Morgan Deters |
| 2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
| 2010-07-02 | * Added white-box TheoryEngine test that tests the rewriter | Morgan Deters |
| 2010-06-24 | Added post_mortem.py a statistics collector for user with the smt_curnch clus... | Tim King |
| 2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
| 2010-05-26 | Adding documentation to my-configure | Christopher L. Conway |
| 2010-05-26 | Fixing my-configure | Christopher L. Conway |
| 2010-05-26 | Adding contrib/my-configure | Christopher L. Conway |
| 2010-04-05 | Updating copyright exclusion | Christopher L. Conway |
| 2010-04-05 | Moving code imported from libantlr3c to separate file and adding copyright ex... | Christopher L. Conway |
| 2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |
| 2010-04-01 | PARSER STUFF: | Morgan Deters |
| 2010-03-30 | Removing unnecessary .gitignores | Christopher L. Conway |
| 2010-03-30 | Merging from branches/antlr3 (r246:354) | Christopher L. Conway |
| 2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
| 2010-02-25 | * src/expr/node.h: add a copy constructor. Apparently GCC doesn't | Morgan Deters |
| 2010-02-22 | * configure.ac: Remove doc/ from search path for Makefile.ams | Morgan Deters |
| 2010-02-05 | final fixes to addsourcedir source-directory-Makefile-generation script | Morgan Deters |
| 2010-02-05 | automatic generator script for sourcedir Makefiles and Makefile.ams | Morgan Deters |
| 2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing... | Morgan Deters |
| 2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re... | Morgan Deters |
| 2010-02-04 | Added theory output channel interfaces and "Interrupted" exception. | Morgan Deters |
| 2010-01-28 | Removing Makefile.in's | Christopher L. Conway |
| 2010-01-26 | fixes to build structure, util classes, lots of fixes to Node and NodeBuilder... | Morgan Deters |
| 2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |
| 2009-12-17 | support nonstandard, unconfigured builds (e.g., "./configure debug" followed ... | Morgan Deters |
| 2009-12-16 | Fixes to the build system: | Morgan Deters |
| 2009-12-11 | build fixes, configuration simplifications | 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-03 | first attempt at new build system | Morgan Deters |
| 2009-11-24 | various fixes and updates to use and support parser | Morgan Deters |
| 2009-11-24 | configure option adjustments as per 11/24 meeting; various fixes and improvem... | Morgan Deters |
| 2009-11-18 | work on exprs, driver, util | Morgan Deters |
