Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Use an unordered_set for compared_pointers instead of a dynarr
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 24 Jun 2014 08:34:51 +0000 (10:34 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 24 Jun 2014 11:13:58 +0000 (13:13 +0200)
commite86b9249c03f07996e386a45add92857c9853963
tree910ccf1fe6cab834d19defc8abf6dece3480c1df
parentff653c762c0cedfa56f7febfe84b50325ec64585
[mc] Use an unordered_set for compared_pointers instead of a dynarr

It has a better algorithmic complexity.

At the same time, avoid using TLS which is not implemented with
destructor-enabled data structures before C++11.
buildtools/Cmake/DefinePackages.cmake
buildtools/Cmake/Flags.cmake
include/xbt/xbt_os_time.h
src/include/mc/mc.h
src/mc/mc_compare.cpp [moved from src/mc/mc_compare.c with 88% similarity]
src/mc/mc_private.h