Age | Commit message (Expand) | Author |
2019-10-30 | Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366) | Mathias Preiner |
2019-03-26 | Update copyright headers. | Aina Niemetz |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-01-03 | Removing throw specifiers from context/. (#1473) | Tim King |
2017-07-18 | Adding a garbage list that get collected during the ~Scope. Removing the CDHa... | Tim King |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2016-09-01 | Relaxing the throw specifiers for the destructors for Node, TypeNode, the con... | Tim King |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
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-05-09 | * simplifying equality engine interface | Dejan Jovanović |
2012-03-01 | Partial merge from kind-backend branch, including Minisat and CNF work to | Morgan Deters |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2010-10-01 | re-add no-deprecated to C sources; update some file-level documentation; firs... | Morgan Deters |
2010-08-19 | UF theory bug fixes, code cleanup, and extra debugging output. | Morgan Deters |
2010-07-04 | Considerably simplified the way output streams are used. This commit | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-06-02 | added a handful of debugTagIsOn("context") checks to resolve bug 143 | Morgan Deters |
2010-05-04 | Disabling semantic checks in competition mode. | Christopher L. Conway |
2010-04-17 | Fixing compiler error for optimized builds | Christopher L. Conway |
2010-04-15 | Moving debug output in ~ContextObj under a conditional. Should fix most of th... | Christopher L. Conway |
2010-04-06 | * Add some protected ContextObj accessors for ContextObj-derived classes: | Morgan Deters |
2010-03-30 | I think this finishes off the CDMap<>/Attribute leaks | Morgan Deters |
2010-03-13 | Fix for bug 45 | Clark Barrett |
2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
2010-02-10 | Added calls to destructor in CDList plus optional flag to disable. | Clark Barrett |
2010-02-08 | Moving the template stuff back into the header in order to use CDList. | 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 |
2010-02-02 | Fixed bug in context code | Clark Barrett |
2010-02-02 | Fixed compile errors | Clark Barrett |
2010-02-02 | Updates to context: | Clark Barrett |
2010-01-29 | fixing the last context build problem, it compiles now | Dejan Jovanović |
2010-01-29 | one more bug | Clark Barrett |
2010-01-29 | Fixed compile errors | Clark Barrett |
2010-01-29 | Update of context module | Clark Barrett |
2009-12-17 | update-copyright.pl now retrieves and incorporates author information from re... | Morgan Deters |
2009-12-04 | more build system work | Morgan Deters |