| Age | Commit message (Expand) | Author |
|---|
| 2011-04-04 | Add documentation to Node and TNode (closes bug #201). | Morgan Deters |
| 2011-04-02 | Delayed the addition of unate propagation lemmas until propagation is called.... | Tim King |
| 2011-04-02 | with --with-google-perftools, don't just take it on blind faith, require a su... | Morgan Deters |
| 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 | documentation fix | Morgan Deters |
| 2011-04-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
| 2011-03-31 | Fixes to Valuation. | Tim King |
| 2011-03-30 | improve recent low-coverage complaints | 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-27 | fixes to attribute-internals warnings on 64-bit; also some GCC function attri... | Morgan Deters |
| 2011-03-26 | fix for bug 253, was propagating an asserted literal | Dejan Jovanović |
| 2011-03-26 | fix typo | Morgan Deters |
| 2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | Morgan Deters |
| 2011-03-25 | Fix for a bug Andrew Reynolds found for iterators that affects empty CDList<>... | Morgan Deters |
| 2011-03-22 | Merges the small changes on the queue-period branch into trunk. This branch ... | Tim King |
| 2011-03-22 | updating debug output usage to eliviate impact of bug 252 | Dejan Jovanović |
| 2011-03-21 | more bugfixes, some basic propagation, and testcases to cover them | Dejan Jovanović |
| 2011-03-21 | fixing a bug in the BV rewrite, off by one error when merging constants | Dejan Jovanović |
| 2011-03-20 | again a typo | Dejan Jovanović |
| 2011-03-20 | more bugfixes for bitvectors | Dejan Jovanović |
| 2011-03-20 | fixing the failure from last nigth, due to using a reference to an element in... | Dejan Jovanović |
| 2011-03-20 | missed one case | Dejan Jovanović |
| 2011-03-20 | commit for the version of bitvectors that passes all the unit tests | Dejan Jovanović |
| 2011-03-19 | Merges the pqueue-set branch into trunk. During VarOrder mode and Collection... | Tim King |
| 2011-03-18 | - The learned clauses from the miplib trick were being added twice. This was ... | Tim King |
| 2011-03-17 | Switched SimplexDecisionProcedure::d_delayedLemmas from a vector to a queue. | Tim King |
| 2011-03-17 | SimplexDecisionProcedure no longer takes an OutputChannel as a parameter. | Tim King |
| 2011-03-17 | - Removes arith_constants.h | Tim King |
| 2011-03-17 | Adds debugging output to EngineOutputChannel::lemma. | Tim King |
| 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-16 | - Turns on the excluded middle assertions during the miplibTrick. If it is kn... | Tim King |
| 2011-03-16 | - Turns on the miplibTrick. This detects during the static learning phase a ... | Tim King |
| 2011-03-15 | real fix for bug 245, previous one was faulty | Dejan Jovanović |
| 2011-03-15 | small fixes for run_regression script to workaround bug in old mktemp, was ca... | Morgan Deters |
| 2011-03-15 | fix for bug 254, lemmas were propagating at lower levels, and the conflict cl... | Dejan Jovanović |
| 2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters |
| 2011-03-14 | adding support for google performance tools to the build sytem, it can be ena... | Dejan Jovanović |
| 2011-03-14 | change to the run_regression script to better manage temporary files; hopeful... | Morgan Deters |
| 2011-03-14 | Fix to bug 251 (non-spurious warnings in builds) by shifting metakind array b... | Morgan Deters |
| 2011-03-10 | Fix bug 246 (occasional buffer overflow related to varargs in assertion-failu... | Morgan Deters |
| 2011-03-10 | ITE removal in TheoryEngine was not properly handling PARAMETERIZED kinds. F... | Morgan Deters |
| 2011-03-08 | Clean up Theory base class as per code review bug #60; also fixes to CodeTime... | Morgan Deters |
| 2011-03-08 | - Merges queue-interrogation branch into the trunk. This branch adds extra ph... | Tim King |
| 2011-03-07 | Merges branches/arithmetic/tableau-reset into the trunk. The tableau is now ... | Tim King |
