From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 24 Jun 2014 08:34:51 +0000 (+0200)
Subject: [mc] Use an unordered_set for compared_pointers instead of a dynarr
X-Git-Tag: v3_12~956^2~1^2~5
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e86b9249c03f07996e386a45add92857c9853963?hp=e86b9249c03f07996e386a45add92857c9853963

[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.
---