projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 595024f) | patch
This commit merges the branch branches/arithmetic/quick-row-has into trunk. quick...
authorTim King <taking@cs.nyu.edu>
Thu, 17 Feb 2011 21:30:57 +0000 (21:30 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 17 Feb 2011 21:30:57 +0000 (21:30 +0000)
commitb2eba85abe17f3cb661b537d4ac6c55c2e222c65
tree45be6dccebf40921566aceb3db2c0c5dbc4bacbctree
parent595024febc8dc014518db8e74a489d3c6d169493commit | diff
This commit merges the branch branches/arithmetic/quick-row-has into trunk. quick-row-has has an optimization to make checking if a variable is in a row faster.
src/theory/arith/row_vector.cpp diff | blob | history
src/theory/arith/row_vector.h diff | blob | history