Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 77a41b7) | patch
mc_api class introduced, SafetyChecher's constructor and main() in simgrid_mc.cpp...
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 26 Oct 2020 14:45:18 +0000 (15:45 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 26 Oct 2020 14:45:18 +0000 (15:45 +0100)
commit80636e60075039dfb7de739cd9dc7094db092962
tree2fc9262ccaef2f3eb22072c330999f83661858f5tree | snapshot
parent77a41b7646e3b7f3e278940e64a06c6bfa08c73fcommit | diff
mc_api class introduced, SafetyChecher's constructor and main() in simgrid_mc.cpp call mc_api's functions
src/mc/checker/SafetyChecker.cpp diff | blob | history
src/mc/checker/simgrid_mc.cpp diff | blob | history
src/mc/mc_api.cpp [new file with mode: 0644] blob
src/mc/mc_api.hpp [new file with mode: 0644] blob
src/mc/mc_base.cpp diff | blob | history
tools/cmake/DefinePackages.cmake diff | blob | history
Clone of SimGrid repository with local patches