diff options
| author | Tim King <taking@cs.nyu.edu> | 2011-03-08 01:46:31 +0000 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2011-03-08 01:46:31 +0000 |
| commit | dff18e8f9b2490602226317ebdb9fad4e0ccead9 (patch) | |
| tree | 70767ffb3cabcdcff8a5e5e292ab2ee1f697b393 /src/prop | |
| parent | 423dafb4b4a34d0c99274a7619b062997342179a (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.)
Diffstat (limited to 'src/prop')
0 files changed, 0 insertions, 0 deletions