projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
[BV] Fix order of rewrites for `concat` (#8010)
[cvc5.git]
/
src
/
context
/
2022-01-07
Matthew Sotoudeh
Remove CDDenseSet data structure (#7890)
tree
|
commitdiff
2021-10-21
Gereon Kremer
Working on windows builds (#7381)
tree
|
commitdiff
2021-10-12
Ouyancheng
fix deprecation of std::iterator (#7332)
tree
|
commitdiff
2021-09-30
Gereon Kremer
Refactor our static builds (#7251)
tree
|
commitdiff
2021-09-03
MikolasJanota
Avoiding duplicate search in maps (#7055)
tree
|
commitdiff
2021-09-02
Andres Noetzli
Remove unused `Backtracker` (#7115)
tree
|
commitdiff
2021-05-25
Andres Noetzli
Replace deprecated calls to `std::allocator` (#6606)
tree
|
commitdiff
2021-05-13
Mathias Preiner
Add std::hash overloads for Node, TNode and TypeNode...
tree
|
commitdiff
2021-04-22
Andres Noetzli
Allow in-place construction of `CDList` items (#6409)
tree
|
commitdiff
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
tree
|
commitdiff
2021-04-16
Mathias Preiner
cmake: Build object libraries for base and context...
tree
|
commitdiff
2021-04-15
Mathias Preiner
Build support library from base and context. (#6368)
tree
|
commitdiff
2021-04-14
Aina Niemetz
Rename public and private headers in src/include. ...
tree
|
commitdiff
2021-04-12
Aina Niemetz
Refactor and update copyright headers. (#6316)
tree
|
commitdiff
2021-04-10
Aina Niemetz
Rename CVC4_ macros to CVC5_. (#6327)
tree
|
commitdiff
2021-04-09
Aina Niemetz
Rename CVC4__ header guards to CVC5__. (#6326)
tree
|
commitdiff
2021-04-01
Aina Niemetz
Rename namespace CVC5 to cvc5. (#6258)
tree
|
commitdiff
2021-03-31
Aina Niemetz
Rename namespace CVC4 to CVC5. (#6249)
tree
|
commitdiff
2021-03-09
Aina Niemetz
ContextObj::destroy(): Guard against invalid use. ...
tree
|
commitdiff
2021-03-09
Gereon Kremer
Some more cleanup of includes (#6083)
tree
|
commitdiff
2021-03-09
Aina Niemetz
Update copyright headers to 2021. (#6081)
tree
|
commitdiff
2021-03-02
Gereon Kremer
Clean up includes to reduce compile times (#6031)
tree
|
commitdiff
2020-11-19
Aina Niemetz
Include stddef.h (needed for size_t) in cvc4_public...
tree
|
commitdiff
2020-11-18
Mathias Preiner
Add -> operator overload for cd* iterators. (#5464)
tree
|
commitdiff
2020-09-22
Mathias Preiner
Update copyright header script to support CMake and...
tree
|
commitdiff
2020-06-16
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2019-10-30
Mathias Preiner
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ...
tree
|
commitdiff
2019-10-03
Andres Noetzli
Add missing type definitions to CDHashMap iterator...
tree
|
commitdiff
2019-09-11
Ken Matsui
Fix not to output all warnings (#2778)
tree
|
commitdiff
2019-04-24
Mathias Preiner
Do not use __ prefix for header guards. (#2974)
tree
|
commitdiff
2019-03-26
Aina Niemetz
Update copyright headers.
tree
|
commitdiff
2018-09-22
Mathias Preiner
cmake: Working build infrastructure.
tree
|
commitdiff
2018-09-22
Aina Niemetz
cmake: Added initial build infrastructure.
tree
|
commitdiff
2018-08-23
Tim King
Replacing 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 Noetzli
Delete functions instead of using CVC4_UNDEFINED (...
tree
|
commitdiff
2018-07-30
Tim King
Storing a std::pair<Key,Data> on CDOhash_map.
tree
|
commitdiff
2018-07-26
Tim King
Removing unused CDTrailHashmap. (#2221)
tree
|
commitdiff
2018-07-26
Tim King
Changing CDInsertHashMap to store <const Key, const...
tree
|
commitdiff
2018-07-25
Tim King
Removing support for CDHashMap::iterator's postfix...
tree
|
commitdiff
2018-07-04
Andres Noetzli
Remove unused CDVector (#2139)
tree
|
commitdiff
2018-06-25
Aina Niemetz
Updated copyright headers.
tree
|
commitdiff
2018-03-05
Mathias Preiner
Enable -Wsuggest-override by default. (#1643)
tree
|
commitdiff
2018-02-09
Andres Noetzli
Replace CMM flag with debug CMM flag, fix leak in debug...
tree
|
commitdiff
2018-02-05
Tim King
Removing references to __gnu_cxx. (#1541)
tree
|
commitdiff
2018-01-04
Tim King
Removing throw specifiers from context/. (#1473)
tree
|
commitdiff
2017-12-06
Andres Noetzli
Remove CDChunkList (#1414)
tree
|
commitdiff
2017-12-01
Andres Noetzli
Fix build when Valgrind instrumentation enabled
tree
|
commitdiff
2017-12-01
Andres Noetzli
Add debugging tools for ContextMemoryManager (#1407)
tree
|
commitdiff
2017-11-08
Tim King
Initializing TrailHashMap::d_uniqueKeys. (#1331)
tree
|
commitdiff
2017-10-05
Martin
Allow CDHashMaps for objects without default constructo...
tree
|
commitdiff
2017-09-26
Tim King
Fixing CID 1172020: Initializing CDHashMap::iterator...
tree
|
commitdiff
2017-08-24
Andrew Reynolds
Merge pull request #191 from timothy-king/cleanup-regexp
tree
|
commitdiff
2017-08-09
Mathias Preiner
Fix compiler warning in src/context/context.h.
tree
|
commitdiff
2017-07-21
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-21
Tim King
Moving from the gnu extensions for hash maps to the...
tree
|
commitdiff
2017-07-20
Tim King
Removing the unused CDAttribute. This makes CDHashMap...
tree
|
commitdiff
2017-07-18
Tim King
Adding a garbage list that get collected during the...
tree
|
commitdiff
2017-07-17
Tim King
Merge branch 'master' into cleanup-regexp
tree
|
commitdiff
2017-07-17
Tim King
Moving to static_assert now that c++11 is available.
tree
|
commitdiff
2017-07-08
Mathias Preiner
Merge branch 'master' of github.com:CVC4/CVC4
tree
|
commitdiff
2017-07-07
Andres Noetzli
Remove unused stacking_vector class (#185)
tree
|
commitdiff
2017-07-07
Mathias Preiner
Update copyright headers.
tree
|
commitdiff
2016-11-12
Clark Barrett
Merge pull request #107 from timothy-king/smt1-parser...
tree
|
commitdiff
2016-11-12
Clark Barrett
Merge pull request #106 from timothy-king/cvc-parser...
tree
|
commitdiff
2016-11-12
Clark Barrett
Fixed a bug in cdhashmap in which doubly-linked list...
tree
|
commitdiff
2016-11-03
Tim King
Merge pull request #100 from 4tXJ7f/fix_context_mm_black
tree
|
commitdiff
2016-11-03
Andres Notzli
Fix back() of empty deque in context_mm_black test
tree
|
commitdiff
2016-10-11
Paul Meng
Merge branch 'origin' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-09-02
Tim King
Merge pull request #91 from timothy-king/no-throw
tree
|
commitdiff
2016-09-01
Tim King
Relaxing the throw specifiers for the destructors for...
tree
|
commitdiff
2016-07-05
PaulMeng
Merge branch 'master' of https://github.com/CVC4/CVC4.git
tree
|
commitdiff
2016-06-30
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-06-23
Clark Barrett
Fixed some warnings, fixed bug in cdhashmap that was...
tree
|
commitdiff
2016-04-20
PaulMeng
update from the master
tree
|
commitdiff
2016-04-09
Guy
Merge branch 'master' of https://github.com/CVC4/CVC4
tree
|
commitdiff
2016-04-04
Tim King
Updating the copyright headers and scripts.
tree
|
commitdiff
2016-01-06
Tim King
Removing dead code. StackingMap only appeared in unit...
tree
|
commitdiff
2015-12-15
Tim King
Adding destructors for CDO an CDOhash_map in the restor...
tree
|
commitdiff
2015-12-15
Tim King
Refactoring Options Handler & Library Cycle Breaking
tree
|
commitdiff
2015-10-24
Tim King
Specify that the default initialization must always...
tree
|
commitdiff
2015-05-12
barrettcw
Merge pull request #74 from finnhaedicke/namespace_minisat
tree
|
commitdiff
2015-04-24
Clark Barrett
Fix compiler errors due to unbalanced throw specifiers.
tree
|
commitdiff
2015-04-23
Clark Barrett
Merge branch 'master' into google
tree
|
commitdiff
2015-04-21
Clark Barrett
Changes needed to compile at Google, plus some bug...
tree
|
commitdiff
2014-11-27
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
2014-11-13
Morgan Deters
Merge pull request #69 from mdeters/bug594
tree
|
commitdiff
2014-11-13
Morgan Deters
Possible fix for bug594
tree
|
commitdiff
2014-11-11
Morgan Deters
Minor cleanup.
tree
|
commitdiff
2014-07-10
Kshitij Bansal
Merge remote-tracking branch 'origin/master' into segfa...
tree
|
commitdiff
2014-07-01
Morgan Deters
Update copyrights.
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #44 from mdeters/prio-queue-updates
tree
|
commitdiff
2014-07-01
Morgan Deters
Merge pull request #45 from mdeters/turn-off-strings-exp
tree
|
commitdiff
2014-06-30
Kshitij Bansal
Merge pull request #47 from kbansal/sets
tree
|
commitdiff
2014-06-26
Morgan Deters
Merge tag 'smtcomp2014-resubmission'
tree
|
commitdiff
2014-06-25
Kshitij Bansal
cosmetic
tree
|
commitdiff
2014-06-22
Morgan Deters
Merge tag 'smtcomp2014-application'
tree
|
commitdiff
2014-06-19
Morgan Deters
Disallow context-dependent copy/assignment.
tree
|
commitdiff
2014-06-17
Morgan Deters
Disallow context-dependent copy/assignment.
tree
|
commitdiff
2014-04-10
Tianyi Liang
Merge branch 'master' of github.com:tiliang/CVC4
tree
|
commitdiff
next