Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Merge add_compared_pointers and already_compared_pointers into add_compared_pointers
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 21 Feb 2014 09:04:09 +0000 (10:04 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 21 Feb 2014 09:04:09 +0000 (10:04 +0100)
commitbb0bdfed4ceddcab244dc35adbb36dedfcd70ffa
tree4f42f6afc9ec44276080e1a7b0be5d7212d93569
parent594467781e41cea1d841b9fc501a8cc0cc0f7081
[mc] Merge add_compared_pointers and already_compared_pointers into add_compared_pointers

Avoid doing the binary search twice.
src/mc/mc_compare.c