projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add bag inferences for operators: intersection, duplicate_removal, and empty bags...
[cvc5.git] / src / context /
2020-11-19 Aina NiemetzInclude stddef.h (needed for size_t) in cvc4_public... tree | commitdiff
2020-11-18 Mathias PreinerAdd -> operator overload for cd* iterators. (#5464) tree | commitdiff
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... tree | commitdiff
2020-06-16 Aina NiemetzUpdate copyright headers. tree | commitdiff
2019-10-30 Mathias PreinerUnify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... tree | commitdiff
2019-10-03 Andres NoetzliAdd missing type definitions to CDHashMap iterator... tree | commitdiff
2019-09-11 Ken MatsuiFix not to output all warnings (#2778) tree | commitdiff
2019-04-24 Mathias PreinerDo not use __ prefix for header guards. (#2974) tree | commitdiff
2019-03-26 Aina NiemetzUpdate copyright headers. tree | commitdiff
2018-09-22 Mathias Preinercmake: Working build infrastructure. tree | commitdiff
2018-09-22 Aina Niemetzcmake: Added initial build infrastructure. tree | commitdiff
2018-08-23 Tim KingReplacing allocatedInCMM and d_noTrash with false every... tree | commitdiff
2018-08-08 Tim King Proposal for adding map utility functions to CVC4... tree | commitdiff
2018-08-08 Andres NoetzliDelete functions instead of using CVC4_UNDEFINED (... tree | commitdiff
2018-07-30 Tim KingStoring a std::pair<Key,Data> on CDOhash_map. tree | commitdiff
2018-07-26 Tim KingRemoving unused CDTrailHashmap. (#2221) tree | commitdiff
2018-07-26 Tim KingChanging CDInsertHashMap to store <const Key, const... tree | commitdiff
2018-07-25 Tim KingRemoving support for CDHashMap::iterator's postfix... tree | commitdiff
2018-07-04 Andres NoetzliRemove unused CDVector (#2139) tree | commitdiff
2018-06-25 Aina NiemetzUpdated copyright headers. tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2018-02-09 Andres NoetzliReplace CMM flag with debug CMM flag, fix leak in debug... tree | commitdiff
2018-02-05 Tim KingRemoving references to __gnu_cxx. (#1541) tree | commitdiff
2018-01-04 Tim KingRemoving throw specifiers from context/. (#1473) tree | commitdiff
2017-12-06 Andres NoetzliRemove CDChunkList (#1414) tree | commitdiff
2017-12-01 Andres NoetzliFix build when Valgrind instrumentation enabled tree | commitdiff
2017-12-01 Andres NoetzliAdd debugging tools for ContextMemoryManager (#1407) tree | commitdiff
2017-11-08 Tim KingInitializing TrailHashMap::d_uniqueKeys. (#1331) tree | commitdiff
2017-10-05 MartinAllow CDHashMaps for objects without default constructo... tree | commitdiff
2017-09-26 Tim KingFixing CID 1172020: Initializing CDHashMap::iterator... tree | commitdiff
2017-08-24 Andrew ReynoldsMerge pull request #191 from timothy-king/cleanup-regexp tree | commitdiff
2017-08-09 Mathias PreinerFix compiler warning in src/context/context.h. tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-20 Tim KingRemoving the unused CDAttribute. This makes CDHashMap... tree | commitdiff
2017-07-18 Tim KingAdding a garbage list that get collected during the... tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-17 Tim KingMoving to static_assert now that c++11 is available. tree | commitdiff
2017-07-08 Mathias PreinerMerge branch 'master' of github.com:CVC4/CVC4 tree | commitdiff
2017-07-07 Andres NoetzliRemove unused stacking_vector class (#185) tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2016-11-12 Clark BarrettMerge pull request #107 from timothy-king/smt1-parser... tree | commitdiff
2016-11-12 Clark BarrettMerge pull request #106 from timothy-king/cvc-parser... tree | commitdiff
2016-11-12 Clark BarrettFixed a bug in cdhashmap in which doubly-linked list... tree | commitdiff
2016-11-03 Tim KingMerge pull request #100 from 4tXJ7f/fix_context_mm_black tree | commitdiff
2016-11-03 Andres NotzliFix back() of empty deque in context_mm_black test tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-09-02 Tim KingMerge pull request #91 from timothy-king/no-throw tree | commitdiff
2016-09-01 Tim KingRelaxing the throw specifiers for the destructors for... tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-06-30 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-06-23 Clark BarrettFixed some warnings, fixed bug in cdhashmap that was... tree | commitdiff
2016-04-20 PaulMengupdate from the master tree | commitdiff
2016-04-09 GuyMerge branch 'master' of https://github.com/CVC4/CVC4 tree | commitdiff
2016-04-04 Tim KingUpdating the copyright headers and scripts. tree | commitdiff
2016-01-06 Tim KingRemoving dead code. StackingMap only appeared in unit... tree | commitdiff
2015-12-15 Tim KingAdding destructors for CDO an CDOhash_map in the restor... tree | commitdiff
2015-12-15 Tim KingRefactoring Options Handler & Library Cycle Breaking tree | commitdiff
2015-10-24 Tim KingSpecify that the default initialization must always... tree | commitdiff
2015-05-12 barrettcwMerge pull request #74 from finnhaedicke/namespace_minisat tree | commitdiff
2015-04-24 Clark BarrettFix compiler errors due to unbalanced throw specifiers. tree | commitdiff
2015-04-23 Clark BarrettMerge branch 'master' into google tree | commitdiff
2015-04-21 Clark BarrettChanges needed to compile at Google, plus some bug... tree | commitdiff
2014-11-27 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-11-13 Morgan DetersMerge pull request #69 from mdeters/bug594 tree | commitdiff
2014-11-13 Morgan DetersPossible fix for bug594 tree | commitdiff
2014-11-11 Morgan DetersMinor cleanup. tree | commitdiff
2014-07-10 Kshitij BansalMerge remote-tracking branch 'origin/master' into segfa... tree | commitdiff
2014-07-01 Morgan DetersUpdate copyrights. tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #44 from mdeters/prio-queue-updates tree | commitdiff
2014-07-01 Morgan DetersMerge pull request #45 from mdeters/turn-off-strings-exp tree | commitdiff
2014-06-30 Kshitij BansalMerge pull request #47 from kbansal/sets tree | commitdiff
2014-06-26 Morgan DetersMerge tag 'smtcomp2014-resubmission' tree | commitdiff
2014-06-25 Kshitij Bansalcosmetic tree | commitdiff
2014-06-22 Morgan DetersMerge tag 'smtcomp2014-application' tree | commitdiff
2014-06-19 Morgan DetersDisallow context-dependent copy/assignment. tree | commitdiff
2014-06-17 Morgan DetersDisallow context-dependent copy/assignment. tree | commitdiff
2014-04-10 Tianyi LiangMerge branch 'master' of github.com:tiliang/CVC4 tree | commitdiff
2014-04-09 Kshitij BansalMerge pull request #24 from kbansal/sets-model tree | commitdiff
2014-04-09 Kshitij Bansaltry foreach on CD datastructure tree | commitdiff
2014-04-01 Tim KingMerge branch '1.3.x' tree | commitdiff
2014-03-26 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-03-11 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Morgan DetersMerge branch '1.3.x' tree | commitdiff
2014-02-21 Kshitij BansalMerge pull request #10 from kbansal/sets-for-merge tree | commitdiff
2014-02-21 Kshitij Bansaladd new theory (sets) tree | commitdiff
2013-12-05 Morgan DetersUpdate copyrights, add missing file-level documentation... tree | commitdiff
2013-11-11 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-11-07 Morgan DetersFlatten libcvc4 build structure; remove some #include... tree | commitdiff
2013-04-30 lianahfixed merge conflicts tree | commitdiff
2013-04-26 Tim KingFCSimplex branch merge tree | commitdiff
2013-04-02 Morgan DetersRegenerated copyrights: canonicalized names, no emails tree | commitdiff
2013-04-02 Morgan Detersupdate copyrights tree | commitdiff
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... tree | commitdiff
2013-03-15 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan DetersMerge branch '1.0.x' tree | commitdiff
2013-03-14 Morgan Detersfix to build system: #include the proper file when... tree | commitdiff
2013-03-13 lianahpost failed attempts at getting the incremental solver... tree | commitdiff
next