projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0db4ec9) | patch
- Adds the statistic d_avgNumRowsNotContainingOnPivot.
authorTim King <taking@cs.nyu.edu>
Mon, 21 Feb 2011 00:22:18 +0000 (00:22 +0000)
committerTim King <taking@cs.nyu.edu>
Mon, 21 Feb 2011 00:22:18 +0000 (00:22 +0000)
commit71b73af2ff69f41d71b892d6fc920a7b38fe736a
tree8828c05c8f2618072a2d93860d8c4126d7f4b560tree
parent0db4ec99a2f289b66878d0ca3be9d43492eff3adcommit | diff
- Adds the statistic d_avgNumRowsNotContainingOnPivot.
- Removed a bug in row counting in row counting.
src/theory/arith/row_vector.cpp diff | blob | history
src/theory/arith/row_vector.h diff | blob | history
src/theory/arith/simplex.cpp diff | blob | history
src/theory/arith/simplex.h diff | blob | history
src/theory/arith/tableau.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history