Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a402afe) | patch
Move request_execute and request_to_string from api::get() to Transition
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 00:18:19 +0000 (01:18 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 15:44:30 +0000 (16:44 +0100)
commit07693a202e6ef29154c199d5e8d6aeb512669728
tree97d8b7891545aebadf9a806e9d225c92d7a8faabtree | snapshot
parenta402afede198ab60401461fd737a13f9393313f8commit | diff
Move request_execute and request_to_string from api::get() to Transition
src/mc/Transition.cpp [new file with mode: 0644] blob
src/mc/Transition.hpp diff | blob | history
src/mc/api.cpp diff | blob | history
src/mc/api.hpp diff | blob | history
src/mc/checker/CommunicationDeterminismChecker.cpp diff | blob | history
src/mc/checker/LivenessChecker.cpp diff | blob | history
src/mc/checker/SafetyChecker.cpp diff | blob | history
tools/cmake/DefinePackages.cmake diff | blob | history
Clone of SimGrid repository with local patches