Age | Commit message (Expand) | Author |
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ć |
2010-02-02 | Fixed compile errors | Clark Barrett |
2010-02-02 | Updates to context: | Clark Barrett |
2010-02-01 | Fixing the CVC grammar for parsing Boolean expressions. All the associativity... | Dejan Jovanović |
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-11-19 | testing framework, configure fixes, incorporations from meeting, continued work | Morgan Deters |
2009-11-17 | from meeting | Morgan Deters |