Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 222bdff) | patch
Add tentatively-working SDPOR implementation
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 3 May 2023 07:34:12 +0000 (09:34 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 12 May 2023 13:58:22 +0000 (15:58 +0200)
commita5bb6aa5b6d52231221a808537688e5ed1b7e8ec
tree8f11413a940efb474b30d4321188b8e3a0c02738tree | snapshot
parent222bdffb8f8c4d7e5660c049c2c2bdadd8f7cc07commit | diff
Add tentatively-working SDPOR implementation

This commit introduces SDPOR into SimGrid
(well, mostly). The current implementation
will be improved upon by cleaning up some
of the code that was added to improve
its testability
src/mc/explo/DFSExplorer.cpp diff | blob | history
src/mc/explo/odpor/Execution.cpp diff | blob | history
src/mc/explo/odpor/Execution.hpp diff | blob | history
Clone of SimGrid repository with local patches