Age | Commit message (Expand) | Author |
2011-05-04 | Stronger support for zero-performance-penalty output, and fixes and | Morgan Deters |
2011-05-03 | output fixes for performance | Morgan Deters |
2011-05-02 | minor updates to exp manager, fixed 32bit vs 64bit issues in transitive closu... | Andrew Reynolds |
2011-05-02 | parser fixes for bug 243 | Dejan Jovanović |
2011-05-02 | updates for bitvectors | Dejan Jovanović |
2011-05-02 | another small fix | Morgan Deters |
2011-05-02 | fix broken build; sorry, all! | Morgan Deters |
2011-05-02 | fix a performance issue from last commit | Morgan Deters |
2011-05-02 | Minor fixes to various parts of CVC4, including the removal of the uintptr_t ... | Morgan Deters |
2011-05-01 | minor fixes, plus experimental readline support in InteractiveShell | Morgan Deters |
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-23 | fix for parser/tests for ANTLR 3.2 (it was working fine on 3.3) | Morgan Deters |
2011-04-23 | * reviewed BooleanSimplification, added documentation & unit test | Morgan Deters |
2011-04-22 | added fixes for datatype theory solver to account for rewriting before finite... | Andrew Reynolds |
2011-04-22 | fix to last commit | Morgan Deters |
2011-04-22 | Fixing SmtEngine::getValue() by adding a NodeManagerScope (thanks Tim for fin... | Morgan Deters |
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 | more work on CVC language | Morgan Deters |
2011-04-18 | mostly CVC presentation language parsing and printing | Morgan Deters |
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-18 | Fixing output for EOF token in parser errors | Christopher L. Conway |
2011-04-15 | parser/driver fixes for last commit | Morgan Deters |
2011-04-15 | partial merge from portfolio branch, adding conversions (library-internal-onl... | Morgan Deters |
2011-04-14 | reverting back the minisat code and adding a simpler one that shouldn't chang... | Dejan Jovanović |
2011-04-14 | Three things: | Morgan Deters |
2011-04-14 | fixing an uninitialized literal variable | Dejan Jovanović |
2011-04-13 | adding support for unit conflicts in minisat... | Dejan Jovanović |
2011-04-13 | fix compiler warning in non-replay builds | Morgan Deters |
2011-04-13 | cache the LET rewriting (and defined-function expansion too)---it wasn't befo... | Morgan Deters |
2011-04-13 | add disequality token ("/=") and rules to CVC parser | Morgan Deters |
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-11 | fix "make dist" issues in makefiles | Morgan Deters |
2011-04-10 | merge from replay branch | Morgan Deters |
2011-04-10 | Add -lprofiler when --with-google-perftools is offered; also fix some newswir... | Morgan Deters |
2011-04-09 | changing the sat solver to assert propagated literals back to the theories | Dejan Jovanović |
2011-04-08 | Added util class | Clark Barrett |
2011-04-07 | Made Valuation::getValue() and Valuation::getSatValue() const. | Tim King |
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-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 |