Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 54a9845) | patch
Fix ODPOR: overapproximate ReversibleRace (to not miss branches) and survive overapprox
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 8 Nov 2023 15:44:10 +0000 (16:44 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 8 Nov 2023 15:44:16 +0000 (16:44 +0100)
commit3e9e2c3010b77637029ad9d6503de5ddccb38daa
treee0df9d87b6f00b7cfebb421129c68b983cd02a29tree | snapshot
parent54a9845736995132258adc2e056946dfd2eeb57ccommit | diff
Fix ODPOR: overapproximate ReversibleRace (to not miss branches) and survive overapprox

Optimal DPOR just became sub-optimal :)
src/mc/explo/DFSExplorer.cpp diff | blob | history
src/mc/explo/odpor/ReversibleRaceCalculator.cpp diff | blob | history
Clone of SimGrid repository with local patches