Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'faster_activity_removal' into 'master'
authorAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Thu, 1 Dec 2022 17:56:23 +0000 (17:56 +0000)
committerAugustin Degomme <26892-adegomme@users.noreply.framagit.org>
Thu, 1 Dec 2022 17:56:23 +0000 (17:56 +0000)
commitd1510352befb23c33e523ffef0d9ae6648ce9adf
treea64e6a2ea3414a4070382ff2ba8d4c0874489706
parent4b219dac8d727a945750bba6bd93c8f779850d08
parent5f8fc2c2031a31ec67a448f89a3524a2e170569d
Merge branch 'faster_activity_removal' into 'master'

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

See merge request simgrid/simgrid!123