| Age | Commit message (Expand) | Author |
|---|
| 2019-10-30 | Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366) | Mathias Preiner |
| 2019-04-24 | Do not use __ prefix for header guards. (#2974) | Mathias Preiner |
| 2019-03-26 | Update copyright headers. | Aina Niemetz |
| 2018-08-07 | Delete functions instead of using CVC4_UNDEFINED (#1794) | Andres Noetzli |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz |
| 2018-01-03 | Removing throw specifiers from context/. (#1473) | Tim King |
| 2017-08-09 | Fix compiler warning in src/context/context.h. | Mathias Preiner |
| 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 |
| 2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2014-06-19 | Disallow context-dependent copy/assignment. | 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-02 | CDMap -> CDHashMap | Dejan Jovanović |
| 2011-11-05 | Context::ScopedPush implemented (in support of theory speculation, like upcom... | Morgan Deters |
| 2011-09-29 | Some base infrastructure for user push/pop; a few bugfixes to user push/pop a... | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-06-06 | compilation fix for x86 (from previous commit) | Morgan Deters |
| 2011-06-06 | Fix for Mac OS breakage (x86 didn't crash, but probably would, eventually, on... | Morgan Deters |
| 2011-03-25 | This is a merge from the "theoryfixes+cdattrhash" branch. The changes | Morgan Deters |
| 2010-10-12 | check last result in (get-assignment); some context cleanup | Morgan Deters |
| 2010-09-01 | added documentation, closes bug 97 | Morgan Deters |
| 2010-07-08 | context work to support cdmaps with elements allocated in context memory | 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-04-06 | * Add some protected ContextObj accessors for ContextObj-derived classes: | Morgan Deters |
| 2010-04-04 | * Node::isAtomic() now looks at an "atomic" attribute of arguments | Morgan Deters |
| 2010-03-23 | Documented that ContextObj::destroy() only restores back to context level 0. | Clark Barrett |
| 2010-03-23 | Fixed some memory cleanup and destruction issues with ContextObj, ECData, CDL... | Tim King |
| 2010-03-13 | Fix for bug 45 | Clark Barrett |
| 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-28 | * context.h - Changed cdlist::push_back to use a new copy constructor instead... | Dejan Jovanović |
| 2010-02-26 | * test/unit/context/context_black.h: Test CDList<>. In particular, | Morgan Deters |
| 2010-02-26 | Fixed a bug in CDList reallocation. (Also corrected a couple whitespace probl... | Tim King |
| 2010-02-22 | * configure.ac: Remove doc/ from search path for Makefile.ams | Morgan Deters |
| 2010-02-17 | Initial draft of TheoryUF. Should compile without problems. A decent amount o... | Tim King |
| 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 | beginings of test for CDO. one fail | Dejan Jovanović |
