Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c336d9) | patch
Add `udpor` directory under `mc/explo`
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 14 Feb 2023 13:20:10 +0000 (14:20 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 20 Feb 2023 09:43:53 +0000 (10:43 +0100)
commitd98ea8fb0db773425a54d615fb6236e905b2e9e1
treed7293ea893d222f7c75b2f1d660f608610aa8fb4tree | snapshot
parent1c336d9ddfef2d3da04a52c1918ae6821fed748ecommit | diff
Add `udpor` directory under `mc/explo`

The `udpor` directory was created to better
house/separate all of the functionality that will
eventually be required by the UDPOR algorithm.
Currently, the files are not used as part of the
compilation process. Subsequent commits will remove
the `udpor_global.cpp` file and adjust the compilation
as necessary
src/mc/explo/udpor/Configuration.cpp [new file with mode: 0644] blob
src/mc/explo/udpor/Configuration.hpp [new file with mode: 0644] blob
src/mc/explo/udpor/EventSet.cpp [new file with mode: 0644] blob
src/mc/explo/udpor/EventSet.hpp [new file with mode: 0644] blob
src/mc/explo/udpor/StateManager.cpp [new file with mode: 0644] blob
src/mc/explo/udpor/StateManager.hpp [new file with mode: 0644] blob
src/mc/explo/udpor/UnfoldingEvent.cpp [new file with mode: 0644] blob
src/mc/explo/udpor/UnfoldingEvent.hpp [new file with mode: 0644] blob
src/mc/explo/udpor/udpor_forward.hpp [new file with mode: 0644] blob
Clone of SimGrid repository with local patches