| Age | Commit message (Expand) | Author |
|---|
| 2011-06-03 | datatypes work | Morgan Deters |
| 2011-06-02 | added (temporary) support for ensuring that all ambiguously typed constructor... | Andrew Reynolds |
| 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 | include subversion information used for each build in the --show-config outpu... | 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 | re-add a removed Datatype constructor that was causing a unit test failure, s... | 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-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-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 | Minor fixes to various parts of CVC4, including the removal of the uintptr_t ... | Morgan Deters |
| 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 | * reviewed BooleanSimplification, added documentation & unit test | 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 | 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-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 |
