Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'dev-hosts_to_activity' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 19 May 2022 14:53:04 +0000 (14:53 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 19 May 2022 14:53:04 +0000 (14:53 +0000)
Move hosts_ attribute from ExecImpl to ActivityImpl to better handle detached cases

See merge request simgrid/simgrid!100


Trivial merge