Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 585dc40) | patch
Cleanup work to make is_race_reversible() a method of Transition
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 9 Nov 2023 10:53:21 +0000 (11:53 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 9 Nov 2023 11:02:50 +0000 (12:02 +0100)
commit2ef958bf49890e4ac8fbe179f1d339b923fb67a8
treef54d29149ff614beb4b566e0ebaceed106cd20b2tree | snapshot
parent585dc40dd38b797005b02180030fdb2bec766b29commit | diff
Cleanup work to make is_race_reversible() a method of Transition

That's someone less efficient as we need to retrieve the other's
transition in all cases where most Transition kind can compute the
answer without the other transition, but that should be more readable.
src/mc/explo/odpor/ReversibleRaceCalculator.cpp diff | blob | history
src/mc/explo/odpor/ReversibleRaceCalculator.hpp diff | blob | history
Clone of SimGrid repository with local patches