Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 18 Mar 2023 21:21:14 +0000 (21:21 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 18 Mar 2023 21:21:14 +0000 (21:21 +0000)
First step for guided state

See merge request simgrid/simgrid!141


Trivial merge