Age | Commit message (Expand) | Author |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-04-12 | Add nullary operator metakind. | ajreynol |
2016-11-10 | Adding garbage collection of nodes with maxed out reference counts. | Tim King |
2016-04-20 | update from the master | PaulMeng |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
2014-07-01 | Update copyrights. | Morgan Deters |
2013-12-24 | Better automatic handling of output language setting. | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-09-19 | fix subtle bug in NodeValue::toStream() | Morgan Deters |
2012-07-31 | Options merge. This commit: | Morgan Deters |
2012-06-09 | Dagification of output expressions. | Morgan Deters |
2012-02-20 | portfolio merge | Morgan Deters |
2011-10-29 | fix unit tests | Morgan Deters |
2011-10-28 | * ability to output NodeBuilders without first converting them to Nodes---use... | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2010-11-15 | Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printer | Morgan Deters |
2010-10-25 | missing case in expr output; resolves bug 226 | Morgan Deters |
2010-10-09 | Model generation for arith, boolean, and uf theories via | Morgan Deters |
2010-10-08 | * (define-fun...) now has proper type checking in non-debug builds | Morgan Deters |
2010-07-02 | re-generated comment headers of source files | Morgan Deters |
2010-07-02 | * Added white-box TheoryEngine test that tests the rewriter | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |
2010-03-30 | Highlights of this commit are: | Morgan Deters |
2010-03-25 | Adding comments to NodeManager | Christopher L. Conway |
2010-03-12 | * src/context/cdmap.h: rename orderedIterator to iterator, do away | Morgan Deters |
2010-03-08 | This fixes regressions at levels >= 1 which were failing | Morgan Deters |
2010-03-02 | * NodeBuilder work: specifically, convenience builders. "a && b && c || d && e" | Morgan Deters |
2010-02-27 | A bag of unrelated fixes to bring trunk more in-line with recent | Morgan Deters |
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 | Merging from branch branches/Liana r241 | Dejan Jovanović |
2010-02-19 | * Attribute infrastructure -- static design. Documentation is coming. | Morgan Deters |
2010-02-12 | Changes to hashing that solve the xinetd boolean benchmark in 14s (from ~25mi... | Dejan Jovanović |
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 |
2009-12-18 | numerous fixes to nodes; more coming | Morgan Deters |
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |
2009-12-16 | + refactoring fixes for expr package based on code review (see bug #4) | Morgan Deters |
2009-12-16 | Fixes to the build system: | Morgan Deters |