| Age | Commit message (Expand) | Author |
|---|
| 2011-04-12 | another small fix to "make dist" that can lead to a misconfigured tarball | Morgan Deters |
| 2011-04-11 | Transitive closure module is working | Clark Barrett |
| 2011-04-10 | merge from replay branch | Morgan Deters |
| 2011-04-08 | Added util class | Clark Barrett |
| 2011-04-05 | Memory fix for congruence closure; affects many UF benchmarks, probably AX too. | Morgan Deters |
| 2011-04-05 | Added options for setting the random decision frequency and random seed for t... | Tim King |
| 2011-04-02 | minor fixes | Morgan Deters |
| 2011-04-01 | minor bugfixes (fixes broken dynamic-library build from last night) | Morgan Deters |
| 2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
| 2011-03-30 | adding CVC4:: qualifier to the #define for debugging so that it can be used o... | Dejan Jovanović |
| 2011-03-30 | Moved the constructor for Options out of the header and into the cpp. For peo... | Tim King |
| 2011-03-30 | Added the command line flag --rewrite-arithmetic-equalities. This sets a sta... | Tim King |
| 2011-03-30 | Add Valuation::getSatValue() so that theories can access the current | Morgan Deters |
| 2011-03-30 | Merged the branch sparse-tableau into trunk. | Tim King |
| 2011-03-20 | commit for the version of bitvectors that passes all the unit tests | Dejan Jovanović |
| 2011-03-17 | Fix for the bug introduced in 1477. The stuff that was added to CVC4ostream:... | Tim King |
| 2011-03-17 | push and pop manipulators for output stream so that one can indent the output | Dejan Jovanović |
| 2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
| 2011-03-10 | Fix bug 246 (occasional buffer overflow related to varargs in assertion-failu... | Morgan Deters |
| 2011-03-08 | Clean up Theory base class as per code review bug #60; also fixes to CodeTime... | Morgan Deters |
| 2011-03-05 | - Made Rational::sgn() function const. | Tim King |
| 2011-03-03 | fix for bug #244, "Segfault if file cannot be found and --stats is on" | Morgan Deters |
| 2011-03-03 | resurrecting triple.h from r1023 (after which it was removed) | Morgan Deters |
| 2011-02-28 | CongruenceClosure module now should support nullary congruence operators (now... | Morgan Deters |
| 2011-02-28 | Review of statistics code. Added lots of documentation, and fixed an issue (... | Morgan Deters |
| 2011-02-27 | - Adds a path for Theory to be passed a reference to Options. | Tim King |
| 2011-02-26 | Commit to fix bug 241 (improper "using namespace std" in a header). This cau... | Morgan Deters |
| 2010-12-16 | minor fixes for correct doxygen output | Morgan Deters |
| 2010-12-14 | make some CC module methods private that should not have been public | Morgan Deters |
| 2010-12-14 | congruence closure module now supports things other than APPLY_UF; ported fro... | Morgan Deters |
| 2010-11-19 | Merge from ufprop branch, including: | Morgan Deters |
| 2010-11-19 | add statistics support information to --show-config | Morgan Deters |
| 2010-11-17 | add some stats to UF/CC | Morgan Deters |
| 2010-11-17 | The "UF engineering issues" release, after much profiling. | Morgan Deters |
| 2010-11-15 | Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printer | Morgan Deters |
| 2010-11-09 | Lemmas on demand work, push-pop, some cleanup. | Dejan Jovanović |
| 2010-11-08 | command-line flag to disable theory registration, also SMT-LIBv2 compliance (... | Morgan Deters |
| 2010-11-08 | cleanup, documentation, SMT-LIBv2 compliance | Morgan Deters |
| 2010-11-05 | Moving Options fiddling to options.h | Christopher L. Conway |
| 2010-11-03 | Adds AverageStat to stats.h. | Tim King |
| 2010-10-31 | enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d... | Morgan Deters |
| 2010-10-24 | add a CVC4_UNDEFINED keyword, for intentionally undefined functions (like pri... | Morgan Deters |
| 2010-10-22 | removing unused functionality from util; related to bug #222 | Morgan Deters |
| 2010-10-22 | Using Options in ParserBuilder and InteractiveShell | Christopher L. Conway |
| 2010-10-22 | Merging main/getopt.cpp, main/usage.h, and smt/options.h in | Christopher L. Conway |
| 2010-10-20 | fix bug #220 (assertion fails if no query/check-sat); add bug220.smt2 and bug... | Morgan Deters |
| 2010-10-12 | Merge from cc-memout branch. Here are the main points | Morgan Deters |
| 2010-10-12 | check last result in (get-assignment); some context cleanup | Morgan Deters |
| 2010-10-10 | additional model gen and SMT-LIBv2 compliance work: (get-assignment) now supp... | Morgan Deters |
| 2010-10-09 | support for SMT-LIBv2 :named attributes, and attributes in general; zero-ary ... | Morgan Deters |
