Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4010c5) | patch
Introduce a class mc::SimcallInspector, that allows MC to learn about the ongoing...
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 13 Aug 2019 20:54:53 +0000 (22:54 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 15 Aug 2019 13:37:41 +0000 (15:37 +0200)
commit2ace2e9a66953011268a2b64824638305807612e
treeecce1615c3a6f10532159841497b6e7c6086fa93tree | snapshot
parentc4010c537a44b1fb18079401a3635821c86e6fcfcommit | diff
Introduce a class mc::SimcallInspector, that allows MC to learn about the ongoing simcalls

Not quite used yet.
include/simgrid/forward.h diff | blob | history
include/simgrid/simix.hpp diff | blob | history
src/mc/checker/SimcallInspector.hpp [new file with mode: 0644] blob
src/mc/mc_base.cpp diff | blob | history
src/mc/mc_request.cpp diff | blob | history
src/simix/libsmx.cpp diff | blob | history
src/simix/popping_private.hpp diff | blob | history
tools/cmake/DefinePackages.cmake diff | blob | history
Clone of SimGrid repository with local patches