Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4b219da 5f8fc2c)
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)
Replaced std::list by std::set to keep track of activities

See merge request simgrid/simgrid!123


Trivial merge
Clone of SimGrid repository with local patches