Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix bug with immediate conflict detection
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 5 Apr 2023 12:58:29 +0000 (14:58 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 6 Apr 2023 08:55:29 +0000 (10:55 +0200)
commit6bc04475b4308e91e18d869a5fb665bc35b48508
treede615a12e0d0b7fba78db144c2ae3f15f73c4106
parent3529af6d632ac8a5f36352711acae57b10208c2c
Fix bug with immediate conflict detection

Detecting immediate conflicts for an event is
important as part of the clean up phase of
UDPOR. There was a typo that gave incorrect
results for the actual conflicts that were
detected which was resolved.

NOTE: There is still a problem with event
deletion. The issue is that previous configurations
will contain references to events which have been
deleted in the extension set which is computed
for them (ex(C)). I'm not quite sure how to
handle this at the moment...
src/mc/explo/UdporChecker.cpp
src/mc/explo/udpor/EventSet.cpp
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/Unfolding.cpp
src/mc/explo/udpor/Unfolding.hpp
src/mc/explo/udpor/UnfoldingEvent.cpp