Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'udpor-phase7' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 18 Apr 2023 07:08:17 +0000 (07:08 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 18 Apr 2023 07:08:17 +0000 (07:08 +0000)
commit80b0dab1bd7ba4a54252a45cba41e33991e9f6ff
tree319addb8533ddeaddb4a7d00f310dc9882836359
parenta35cd80abaa1a7679b091c8e1aa5180ad3d85bda
parentf5961f8e3a20cb943913a472ac8e11575470dab4
Merge branch 'udpor-phase7' into 'master'

Phase 7 of UDPOR Integration: Add specialized `ex(C)` computation for `Comm*` transitions

See merge request simgrid/simgrid!144
MANIFEST.in
src/mc/api/State.cpp
src/mc/api/State.hpp
tools/cmake/DefinePackages.cmake