Age | Commit message (Expand) | Author |
2011-06-02 | minor fix to build system for system tests | Morgan Deters |
2011-06-02 | added (temporary) support for ensuring that all ambiguously typed constructor... | Andrew Reynolds |
2011-06-01 | minor fix, and better output for type errors | Morgan Deters |
2011-06-01 | type ascriptions (casts) for parameterized datatypes, e.g. "nil :: list[INT] | Morgan Deters |
2011-05-31 | This commit contains the code for allowing arbitrary equalities in the theory... | Tim King |
2011-05-28 | fix unit test linking issue | Morgan Deters |
2011-05-28 | include subversion information used for each build in the --show-config outpu... | Morgan Deters |
2011-05-26 | apply arithmetic static learner's miplibtrick in a consistent order (for easi... | Morgan Deters |
2011-05-23 | fixes for "make dist" and "make doc", minor cleanups | Morgan Deters |
2011-05-23 | Merge from arrays2 branch. | Morgan Deters |
2011-05-14 | fix production-build compiler warning | Morgan Deters |
2011-05-14 | re-add a removed Datatype constructor that was causing a unit test failure, s... | Morgan Deters |
2011-05-14 | reverting node manager change from 1881; also part of parameterized datatypes... | Morgan Deters |
2011-05-14 | add AscriptionType stuff to support nullary parameterized datatypes; also, re... | Morgan Deters |
2011-05-13 | added support for parametric datatypes, updated cvc parser to handle parametr... | Andrew Reynolds |
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 | added 10 benchmarks to regress/regress0/datatypes from paper | Andrew Reynolds |
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-05 | luby sequence generator; can use to plot MiniSat's restart sequence | Morgan Deters |
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 | fix for configure | Morgan Deters |
2011-05-02 | adding some previously-failing "bug" test cases for bitvectors | Morgan Deters |
2011-05-02 | updating bv regressions | Dejan Jovanović |
2011-05-02 | parser fixes for bug 243 | Dejan Jovanović |
2011-05-02 | updates for bitvectors | Dejan Jovanović |
2011-05-02 | more minor fixes related to last few commits | Morgan Deters |
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 | small unit test fix; was broken only in non-assertion, non-CLN builds | 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-23 | make run_regression script robust to DOS newlines :( | 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 | incorrect usage of C++ std::string caused a test to fail | Morgan Deters |
2011-04-20 | Minor mixed-bag commit. Expected performance impact negligible. | Morgan Deters |