Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cef2412) | patch
Add CompatibilityGraph and CompatibilityGraphNode
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 23 Feb 2023 14:14:03 +0000 (15:14 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Mon, 27 Feb 2023 08:24:17 +0000 (09:24 +0100)
commit32f8fbe296e60e0710feace18f71e657e69423e4
tree92bb0d4db00cdebf83b84d1acda9cb68f383eacbtree | snapshot
parentcef241272f802d718a85b31ea4f26c18bd8d3a61commit | diff
Add CompatibilityGraph and CompatibilityGraphNode

Two important classes were added as part of the
process to support UDPOR. The classes added will be
used to maintain compatibility between "strands" of
the event structure for determining maximal sets of
events
MANIFEST.in diff | blob | history
src/mc/explo/udpor/CompatibilityGraph.cpp [new file with mode: 0644] blob
src/mc/explo/udpor/CompatibilityGraph.hpp [new file with mode: 0644] blob
src/mc/explo/udpor/CompatibilityGraphNode.cpp [new file with mode: 0644] blob
src/mc/explo/udpor/CompatibilityGraphNode.hpp [new file with mode: 0644] blob
src/mc/explo/udpor/udpor_forward.hpp diff | blob | history
tools/cmake/DefinePackages.cmake diff | blob | history
Clone of SimGrid repository with local patches