projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 423dafb) | patch
- Merges queue-interrogation branch into the trunk. This branch adds extra phases...
authorTim King <taking@cs.nyu.edu>
Tue, 8 Mar 2011 01:46:31 +0000 (01:46 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 8 Mar 2011 01:46:31 +0000 (01:46 +0000)
commitdff18e8f9b2490602226317ebdb9fad4e0ccead9
tree70767ffb3cabcdcff8a5e5e292ab2ee1f697b393tree
parent423dafb4b4a34d0c99274a7619b062997342179acommit | diff
- Merges queue-interrogation branch into the trunk. This branch adds extra phases of looking for additional conflicts during and after the heuristic pivoting stage. (For the expected performance gain, comparing jobs 1676 and 1643 gives a rough idea.)
src/theory/arith/simplex.cpp diff | blob | history
src/theory/arith/simplex.h diff | blob | history