Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7f0516d) | patch
Fast path: don't check the dependency between null observers: it's dependent
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 14:15:24 +0000 (15:15 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 7 Feb 2022 15:44:30 +0000 (16:44 +0100)
commit8f73f1a6bbb4a6bcc48e8104ba5e4d40007b8be3
treed7ec415f9bb2e3b58bb991a4d51b7c45dc0e16datree | snapshot
parent7f0516d66943c1fa8f64946cf159eb37bc7ef41fcommit | diff
Fast path: don't check the dependency between null observers: it's dependent
src/mc/ModelChecker.cpp diff | blob | history
src/mc/remote/AppSide.cpp diff | blob | history
Clone of SimGrid repository with local patches