Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 3e9e2c3)
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)
Optimal DPOR just became sub-optimal :)


No differences found
Clone of SimGrid repository with local patches