Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 272390a) | patch
mc: kill model-check/ksm option. Was not activated because not very useful
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 15 May 2019 23:03:28 +0000 (01:03 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 16 May 2019 00:44:31 +0000 (02:44 +0200)
commitf09d7e3fcf1e6f76b8391b451d5f43b175fd42dc
treed7386f3fe111f514b08e31a63341b87e2b033356tree | snapshot
parent272390a862299e457de78391fff16dbcbc746096commit | diff
mc: kill model-check/ksm option. Was not activated because not very useful

It's probably a pity, but I need to simplify this code to get the
grasp back.
src/mc/mc_config.cpp diff | blob | history
src/mc/mc_config.hpp diff | blob | history
src/mc/sosp/RegionSnapshot.cpp diff | blob | history
src/mc/sosp/mc_checkpoint.cpp diff | blob | history
Clone of SimGrid repository with local patches