Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'udpor-phase2' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 24 Feb 2023 14:58:44 +0000 (14:58 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 24 Feb 2023 14:58:44 +0000 (14:58 +0000)
Phase 2 of UDPOR Integration: Add topological sorting of events in a configuration

See merge request simgrid/simgrid!133


Trivial merge