Age | Commit message (Expand) | Author |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-10-02 | Fix "catching polymorphic type by value" warnings (#2556) | Andres Noetzli |
2018-08-23 | Add missing overrides in unit tests (#2362) | Andres Noetzli |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2017-07-22 | Deprecating the unused convenience_node_builders.h (#203) | Tim King |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2016-11-13 | Switching a large allocation to be heap allocated. | Tim King |
2016-11-11 | Adding garbage collection for the CVC Parser for Commands when exceptions are... | Tim King |
2016-04-20 | update from the master | PaulMeng |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-10-14 | Context-dependent expr attributes are now attached to a specific SmtEngine, a... | Morgan Deters |
2014-07-01 | Update copyrights. | 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-28 | rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to mak... | Morgan Deters |
2012-09-19 | General subscriber infrastructure for NodeManager, as discussed in the | Morgan Deters |
2012-08-25 | fix unit tests | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-06-30 | some things I had laying around in a directory but never got committed; minor... | Morgan Deters |
2011-04-16 | unit test fixes for new NodeManager constructor (related to previous two trun... | Morgan Deters |
2010-11-15 | Pretty-printer infrastructure created (in src/printer) and SMT-LIBv2 printer | Morgan Deters |
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-09-22 | Fixing NodeBuilderBlack | Christopher L. Conway |
2010-09-02 | "Leftist NodeBuilders" are now supported. | 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-06-03 | * Added NodeBuilder<>::getChild() to make interface more consistent | Morgan Deters |
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-04 | * Addressed issues brought up in Chris's review of Morgan's | Morgan Deters |
2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
2010-04-04 | Recommit revision 365 (undoing revision 375, which reverted revision 365). | 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-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-03-02 | * NodeBuilder work: specifically, convenience builders. "a && b && c || d && e" | Morgan Deters |
2010-03-01 | Node builder tests that targetted properly detecting and handling expections ... | Tim King |
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-25 | Created basic node builder and kind tests. Also fixed a couple of node builde... | Tim King |