| Age | Commit message (Expand) | Author |
|---|
| 2011-05-13 | * fix for Mac OS (includes some ThreadLocal stuff copied in from portfolio | Morgan Deters |
| 2011-05-06 | Deleting dead code. | Tim King |
| 2011-05-06 | significant revisions/improvements to code for theory datatypes solver | Andrew Reynolds |
| 2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
| 2011-05-04 | Stronger support for zero-performance-penalty output, and fixes and | Morgan Deters |
| 2011-05-02 | minor updates to exp manager, fixed 32bit vs 64bit issues in transitive closu... | Andrew Reynolds |
| 2011-05-02 | updates for bitvectors | Dejan Jovanović |
| 2011-04-29 | refactoring to datatypes theory, added working prototype for proof/explanatio... | Andrew Reynolds |
| 2011-04-28 | more fixes/improvements to datatypes theory and transitive closure | Andrew Reynolds |
| 2011-04-27 | cleaned up some of the hacks in the datatypes theory solver, working on using... | Andrew Reynolds |
| 2011-04-25 | Monday tasks: | Morgan Deters |
| 2011-04-25 | Weekend work. The main points: | Morgan Deters |
| 2011-04-22 | added fixes for datatype theory solver to account for rewriting before finite... | Andrew Reynolds |
| 2011-04-20 | numerous bugfixes | Morgan Deters |
| 2011-04-20 | Minor mixed-bag commit. Expected performance impact negligible. | Morgan Deters |
| 2011-04-20 | Tuesday end-of-day commit. | Morgan Deters |
| 2011-04-18 | Removing dead code that came in on commit r1740. | Tim King |
| 2011-04-18 | This commit merges the branch arithmetic/propagation-again into trunk. | Tim King |
| 2011-04-18 | Partial merge from datatypes-merge branch: | Morgan Deters |
| 2011-04-14 | Three things: | Morgan Deters |
| 2011-04-10 | Add -lprofiler when --with-google-perftools is offered; also fix some newswir... | Morgan Deters |
| 2011-04-07 | Made Valuation::getValue() and Valuation::getSatValue() const. | Tim King |
| 2011-04-05 | Minor adjustments to the Registrar commit in 1644, documentation. | Morgan Deters |
| 2011-04-04 | Merging the satliteral-before-prereg branch into trunk. Theory preregistratio... | Tim King |
| 2011-04-04 | Reverts previous commit r1636. | Tim King |
| 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-01 | This commit is a merge from the "betterstats" branch, which: | Morgan Deters |
| 2011-03-31 | Fixes to Valuation. | 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-26 | fix for bug 253, was propagating an asserted literal | Dejan Jovanović |
| 2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | 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-16 | - Turns on the excluded middle assertions during the miplibTrick. If it is kn... | Tim King |
