projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 49c2b74) | patch
Couple of fixes to theory arith. pivotAndUpdate now multiplies by a_kj. And the table...
authorTim King <taking@cs.nyu.edu>
Sat, 29 May 2010 02:58:18 +0000 (02:58 +0000)
committerTim King <taking@cs.nyu.edu>
Sat, 29 May 2010 02:58:18 +0000 (02:58 +0000)
commit23d8c824a5aa9db6bdf6c19fb9270a25bf171043
tree995168fdeb138b117dfb0188df450580aca4e524tree
parent49c2b740513ad4e6a256e1758575bd898afbdfc5commit | diff
Couple of fixes to theory arith. pivotAndUpdate now multiplies by a_kj. And the tableau now simulates older pivots while adding a new row.
src/theory/arith/tableau.h diff | blob | history
src/theory/arith/theory_arith.cpp diff | blob | history