Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 65fb3bd) | patch
[mc] Use std::equal_range in is_reached_acceptance_pair()
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 08:58:31 +0000 (09:58 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 10:19:04 +0000 (11:19 +0100)
commitd0e460f14e1b5d882a2928eb754f95659bb12857
treefb453cf326ee4e1cda818f9ce52e3ceb35e4940etree | snapshot
parent65fb3bd8de358e97a3a971de6781661456de302dcommit | diff
[mc] Use std::equal_range in is_reached_acceptance_pair()

This simplifies the logic a lot.
src/mc/mc_liveness.cpp diff | blob | history
src/mc/mc_private.h diff | blob | history
Clone of SimGrid repository with local patches