projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e33683b) | patch
Merges the pqueue-set branch into trunk. During VarOrder mode and Collection mode...
authorTim King <taking@cs.nyu.edu>
Sat, 19 Mar 2011 22:59:39 +0000 (22:59 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 19 Mar 2011 22:59:39 +0000 (22:59 +0000)
commit649c50afb9e35ef467828567d4b1d24a107d6d20
tree10e07a902236ee4d95a73bb38e468e3491f2212dtree
parente33683b83dfe9b24ff2bce5da0c7ff8c25fbfc44commit | diff
Merges the pqueue-set branch into trunk.  During VarOrder mode and Collection mode, the arithmetic priority queue is maintained as a set. Compare jobs 1781 and 1782 for the expected performance change.
src/theory/arith/arith_priority_queue.cpp diff | blob | history
src/theory/arith/arith_priority_queue.h diff | blob | history