Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 29 Jun 2023 13:33:09 +0000 (13:33 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 29 Jun 2023 13:33:09 +0000 (13:33 +0000)
commitaa1f1dad959e78c1c5668a5c59023412568b913a
treec6946e9452d355a25f62d161793d9571126794d6
parentf6f99dcf9389833131b373cad4646479c4de8751
parentd9c1e4df4ecfc39d84e55527fa05e9bd19f70c6c
Merge branch 'master' into 'master'

Add trace call for MPI operations for checker side

See merge request simgrid/simgrid!164