From: Augustin Degomme <26892-adegomme@users.noreply.framagit.org>
Date: Thu, 1 Dec 2022 17:56:23 +0000 (+0000)
Subject: Merge branch 'faster_activity_removal' into 'master'
X-Git-Tag: v3.34~672
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d1510352befb23c33e523ffef0d9ae6648ce9adf

Merge branch 'faster_activity_removal' into 'master'

Replaced std::list by std::set to keep track of activities

See merge request simgrid/simgrid!123
---

d1510352befb23c33e523ffef0d9ae6648ce9adf