| Age | Commit message (Expand) | Author |
|---|
| 2018-08-08 | Proposal for adding map utility functions to CVC4. (#2232) | Tim King |
| 2018-08-07 | Delete functions instead of using CVC4_UNDEFINED (#1794) | Andres Noetzli |
| 2018-07-29 | Storing a std::pair<Key,Data> on CDOhash_map. | Tim King |
| 2018-07-26 | Removing unused CDTrailHashmap. (#2221) | Tim King |
| 2018-07-26 | Changing CDInsertHashMap to store <const Key, const Data> pairs. This is in p... | Tim King |
| 2018-07-25 | Removing support for CDHashMap::iterator's postfix increment. (#2208) | Tim King |
| 2018-07-04 | Remove unused CDVector (#2139) | Andres Noetzli |
| 2018-06-25 | Updated copyright headers. | Aina Niemetz |
| 2018-03-05 | Enable -Wsuggest-override by default. (#1643) | Mathias Preiner |
| 2018-02-08 | Replace CMM flag with debug CMM flag, fix leak in debug CMM (#1586) | Andres Noetzli |
| 2018-02-05 | Removing references to __gnu_cxx. (#1541) | Tim King |
| 2018-01-03 | Removing throw specifiers from context/. (#1473) | Tim King |
| 2017-12-06 | Remove CDChunkList (#1414) | Andres Noetzli |
| 2017-12-01 | Fix build when Valgrind instrumentation enabled | Andres Noetzli |
| 2017-11-30 | Add debugging tools for ContextMemoryManager (#1407) | Andres Noetzli |
| 2017-11-07 | Initializing TrailHashMap::d_uniqueKeys. (#1331) | Tim King |
| 2017-10-05 | Allow CDHashMaps for objects without default constructors (#1092) | Martin |
| 2017-09-26 | Fixing CID 1172020: Initializing CDHashMap::iterator::d_it to nullptr. (#1139) | Tim King |
| 2017-08-09 | Fix compiler warning in src/context/context.h. | Mathias Preiner |
| 2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
| 2017-07-19 | Removing the unused CDAttribute. This makes CDHashMap::obliterate unused. Rem... | Tim King |
| 2017-07-18 | Adding a garbage list that get collected during the ~Scope. Removing the CDHa... | Tim King |
| 2017-07-16 | Moving to static_assert now that c++11 is available. | Tim King |
| 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-02 | Fix back() of empty deque in context_mm_black test | Andres Notzli |
| 2016-09-01 | Relaxing the throw specifiers for the destructors for Node, TypeNode, the con... | Tim King |
| 2016-06-23 | Fixed some warnings, fixed bug in cdhashmap that was crashing cdmap_black, | Clark Barrett |
| 2016-04-03 | Updating the copyright headers and scripts. | Tim King |
| 2016-01-05 | Removing dead code. StackingMap only appeared in unit tests. | Tim King |
| 2015-12-15 | Adding destructors for CDO an CDOhash_map in the restore() functions. | Tim King |
| 2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
| 2015-10-23 | Specify that the default initialization must always be done for CDOhash_map's... | Tim King |
| 2015-04-24 | Fix compiler errors due to unbalanced throw specifiers. | Clark Barrett |
| 2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
| 2014-11-12 | Possible fix for bug594 | Morgan Deters |
| 2014-11-11 | Minor cleanup. | Morgan Deters |
| 2014-07-01 | Update copyrights. | Morgan Deters |
| 2014-06-25 | cosmetic | Kshitij Bansal |
| 2014-06-19 | Disallow context-dependent copy/assignment. | Morgan Deters |
| 2014-04-09 | try foreach on CD datastructure | Kshitij Bansal |
| 2014-02-21 | add new theory (sets) | Kshitij Bansal |
| 2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
| 2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
| 2013-04-26 | FCSimplex branch merge | Tim King |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
| 2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
