| Age | Commit message (Expand) | Author |
|---|
| 2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
| 2012-08-25 | fix unit tests | Morgan Deters |
| 2012-06-09 | Cleanup and comments for the dag-ifier. Also some unit testing for it. | Morgan Deters |
| 2012-06-09 | Dagification of output expressions. | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-04-16 | unit test fixes for new NodeManager constructor (related to previous two trun... | Morgan Deters |
| 2010-10-07 | NodeSelfIterator implementation and unit test (resolves bug #204); also fix P... | Morgan Deters |
| 2010-09-28 | fix unit test for kinded iterators in Node/TNode | Morgan Deters |
| 2010-09-21 | some code cleanup, documentation, review of "kinded-iterator" code, and addit... | Morgan Deters |
| 2010-07-28 | Forcing a type check on Node construction in debug mode (Fixes: #188) | Christopher L. Conway |
| 2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
| 2010-05-19 | Significant revision to theory/arith. The new draft has a lot of small bug f... | Tim King |
| 2010-04-26 | Adding the intermediary TypeNode to represent (and separate) the Types at the... | Dejan Jovanović |
| 2010-04-14 | Marging from types 404:415, changes: Massive | Dejan Jovanović |
| 2010-04-08 | A handful of build system fixes: | Morgan Deters |
| 2010-04-05 | Minor refactorings, in response to code review (Bug #73) | Christopher L. Conway |
| 2010-04-04 | * Addressed issues brought up in Chris's review of Morgan's | Morgan Deters |
| 2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |
| 2010-04-01 | PARSER STUFF: | Morgan Deters |
| 2010-03-30 | Highlights of this commit are: | Morgan Deters |
| 2010-03-16 | * test/unit/Makefile.am, test/unit/expr/attribute_white.h, | Morgan Deters |
| 2010-03-12 | * src/context/cdmap.h: rename orderedIterator to iterator, do away | Morgan Deters |
| 2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
| 2010-02-27 | A bag of unrelated fixes to bring trunk more in-line with recent | Morgan Deters |
| 2010-02-25 | Adding Node::getOperator() | Christopher L. Conway |
| 2010-02-25 | * src/expr/node.h: add a copy constructor. Apparently GCC doesn't | Morgan Deters |
| 2010-02-23 | cosmetic changes, comments, and renaming of Expr related stuff to Node (lefto... | Dejan Jovanović |
| 2010-02-22 | fix bug 22 (remove tracing from non-trace builds; remove all output | Morgan Deters |
| 2010-02-19 | * Attribute infrastructure -- static design. Documentation is coming. | Morgan Deters |
| 2010-02-04 | remove -*- c++ -*- emacs tag from source files (it overrides cvc4-c++-editing... | Morgan Deters |
| 2010-02-04 | minor fix for update-copyright.pl; ran update-copyright.pl on all sources; re... | Morgan Deters |
| 2010-01-30 | Checking in small test fixes for node_black | Tim King |
| 2010-01-29 | fixed CNF conversion, and more modular; CNF conversion command line option; v... | Morgan Deters |
| 2010-01-27 | Added additional tests to node_black.h. CVC4 currently passes all but 1 test. | Tim King |
| 2010-01-26 | Undoing stupid commit mistake. Rolling back to -r 102 for test/unit/expr/nod... | Tim King |
| 2010-01-26 | Added test/regress/boolean.cvc | Tim King |
| 2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |
| 2009-12-17 | testing infrastructure fixes | Morgan Deters |
| 2009-12-16 | Fixes to the build system: | Morgan Deters |
