Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add reversible race implementations for Comm actions
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 24 May 2023 12:04:32 +0000 (14:04 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 24 May 2023 12:10:10 +0000 (14:10 +0200)
commite2760543e66cfe14a7f11bd0b398d17b100f6ec9
tree2e29e06682ef567a8b6c9b61859a7d51b17c6180
parentcc5bf26ad13a2d285a6f416a4e54ce95a01bf180
Add reversible race implementations for Comm actions
src/mc/explo/odpor/Execution.cpp
src/mc/explo/odpor/Execution.hpp
src/mc/explo/odpor/ReversibleRaceCalculator.cpp
src/mc/explo/odpor/ReversibleRaceCalculator.hpp
src/mc/explo/odpor/odpor_forward.hpp