Age | Commit message (Expand) | Author |
2018-08-23 | Add missing overrides in unit tests (#2362) | Andres Noetzli |
2018-07-04 | Remove unused CDVector (#2139) | Andres Noetzli |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2018-02-15 | Fix context memory manager unit test (#1609) | Andres Noetzli |
2017-12-06 | Remove CDChunkList (#1414) | Andres Noetzli |
2017-11-30 | Add debugging tools for ContextMemoryManager (#1407) | Andres Noetzli |
2017-07-19 | Removing the unused CDAttribute. This makes CDHashMap::obliterate unused. Rem... | Tim King |
2017-07-12 | Fix unit tests for subranges. Fix destructors for context objs in unit tests. | ajreynol |
2017-07-07 | Remove unused stacking_vector class (#185) | Andres Noetzli |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2016-11-12 | Fixed a bug in cdhashmap in which doubly-linked list was not properly cleaned... | Clark Barrett |
2016-11-07 | Disabling out of memory tests unit tests when ASAN is enabled. ASAN failures ... | Tim King |
2016-11-02 | Fix back() of empty deque in context_mm_black test | Andres Notzli |
2016-04-20 | update from the master | PaulMeng |
2016-01-05 | Removing dead code. StackingMap only appeared in unit tests. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-04-27 | Updating failing unit tests. | 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-12-05 | Update copyrights, add missing file-level documentation; fix perms. | 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-08-25 | fix unit tests | Morgan Deters |
2012-08-07 | Some items from the CVC4 public interface review: | Morgan Deters |
2012-07-14 | fix a warning in unit test compilation | Morgan Deters |
2012-07-07 | Various fixes to documentation---typos, some incomplete documentation fixed, ... | Morgan Deters |
2012-05-09 | * simplifying equality engine interface | Dejan Jovanović |
2012-04-02 | Fix for broken unit tests from the previous commit. | Tim King |
2012-04-02 | - Merged in the branch cdlist-cleanup. | Tim King |
2012-03-02 | CDMap -> CDHashMap | Dejan Jovanović |
2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
2011-03-25 | Fix for a bug Andrew Reynolds found for iterators that affects empty CDList<>... | Morgan Deters |
2010-10-12 | Merge from cc-memout branch. Here are the main points | Morgan Deters |
2010-10-03 | file header documentation regenerated with contributors names; no code modifi... | Morgan Deters |
2010-10-01 | re-add no-deprecated to C sources; update some file-level documentation; firs... | Morgan Deters |
2010-09-30 | fixed a number of problems with mac os x builds. build now works on mac os x... | Morgan Deters |
2010-09-27 | - This update adds DynamicArray<T>. This is a bare bones heap allocated arra... | Tim King |
2010-08-17 | Add "no trash" CDMap elements, so that CDMap elements can themselves | Morgan Deters |
2010-07-08 | context work to support cdmaps with elements allocated in context memory | Morgan Deters |
2010-06-29 | * Add CDMap<>::insertAtContextLevelZero(k, d) for inserting "initializing" | Morgan Deters |
2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
2010-04-14 | * Better dependency tracking for unit test building and linking, and | Morgan Deters |
2010-04-09 | minor fixes to lcov build target, better contextobj testing | Morgan Deters |
2010-04-09 | added experimental "make lcov" target (it runs only unit tests); better cover... | Morgan Deters |
2010-04-08 | A handful of build system fixes: | 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-04-01 | reran update-copyright.pl to get new contributors and add new header comments... | Morgan Deters |