Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c995e07) | patch
mc_api::set_property_automaton(), it is called in run()
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 7 Dec 2020 10:09:41 +0000 (11:09 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 7 Dec 2020 10:09:41 +0000 (11:09 +0100)
commitafcd422c58cb381517c473c2944fde1424b6a9cc
tree3aaf0036150de7c1d9674ce8fbdcc687bcfe2a94tree | snapshot
parentc995e07ec62c31456c8106f9deb51d1fe93876a0commit | diff
mc_api::set_property_automaton(), it is called in run()
src/mc/checker/LivenessChecker.cpp diff | blob | history
src/mc/mc_api.cpp diff | blob | history
src/mc/mc_api.hpp diff | blob | history
Clone of SimGrid repository with local patches