Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'udpor-phase6' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 22 Mar 2023 20:43:42 +0000 (20:43 +0000)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 22 Mar 2023 20:43:42 +0000 (20:43 +0000)
commitd6eb772e45cc853fc204bb5aebeb411cdfa7c929
tree7c5258a525acfff4a40f0eeb481a2a36de201648
parent6ef6867d3962e629e6fe2df4320d4d6a5e7964b7
parentc00e26f0f6e9dadd7a69eaeae38b52dddcfca6bb
Merge branch 'udpor-phase6' into 'master'

Phase 6 of UDPOR Integration: Add `K`-partial alternatives computation + clean up phase

See merge request simgrid/simgrid!139
MANIFEST.in
src/mc/explo/UdporChecker.cpp
tools/cmake/DefinePackages.cmake