projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Enable -Wshadow and fix warnings. (#3909)
[cvc5.git]
/
src
/
context
/
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
2014-04-09
Kshitij Bansal
Merge pull request #24 from kbansal/sets-model
tree
|
commitdiff
2014-04-09
Kshitij Bansal
try foreach on CD datastructure
tree
|
commitdiff
2014-04-01
Tim King
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-26
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-03-11
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Morgan Deters
Merge branch '1.3.x'
tree
|
commitdiff
2014-02-21
Kshitij Bansal
Merge pull request #10 from kbansal/sets-for-merge
tree
|
commitdiff
2014-02-21
Kshitij Bansal
add new theory (sets)
tree
|
commitdiff
2013-12-05
Morgan Deters
Update copyrights, add missing file-level documentation...
tree
|
commitdiff
2013-11-11
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-11-07
Morgan Deters
Flatten libcvc4 build structure; remove some #include...
tree
|
commitdiff
2013-04-30
lianah
fixed merge conflicts
tree
|
commitdiff
2013-04-26
Tim King
FCSimplex branch merge
tree
|
commitdiff
2013-04-02
Morgan Deters
Regenerated copyrights: canonicalized names, no emails
tree
|
commitdiff
2013-04-02
Morgan Deters
update copyrights
tree
|
commitdiff
2013-03-20
Liana Hadarean
merged master with dejan's constant evaluating equality...
tree
|
commitdiff
2013-03-15
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-14
Morgan Deters
fix to build system: #include the proper file when...
tree
|
commitdiff
2013-03-13
lianah
post failed attempts at getting the incremental solver...
tree
|
commitdiff
2013-03-05
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-03-01
Morgan Deters
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-26
lianah
Merge branch '1.0.x'
tree
|
commitdiff
2013-02-17
Kshitij Bansal
Merge branch '1.0.x'
tree
|
commitdiff
next