Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7836a45 1e2a467)
Merge branch 'dev-profile-callbacks' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 14 Mar 2022 20:17:31 +0000 (20:17 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 14 Mar 2022 20:17:31 +0000 (20:17 +0000)
Refactoring profiles to use generic callbacks

See merge request simgrid/simgrid!82


Trivial merge
Clone of SimGrid repository with local patches