Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : really (?) fix SIMCALL_MUTEX_LOCK and UNLOCK with MC
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 17:03:15 +0000 (18:03 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Wed, 25 Feb 2015 17:03:15 +0000 (18:03 +0100)
commit68694b3ec9b57621efb384cfed57f2b3a35d6669
treecca6f48d3435c20aef757585fdfe7820da55eefa
parentcc65d2b16b44aceb784687cf94626c7dca9423b4
model-checker : really (?) fix SIMCALL_MUTEX_LOCK and UNLOCK with MC
buildtools/Cmake/AddTests.cmake
examples/smpi/CMakeLists.txt
examples/smpi/mc/hostfile_only_send_deterministic [moved from examples/smpi/mc/hostfile_non_deterministic with 100% similarity]
examples/smpi/mc/hostfile_send_deterministic [deleted file]
examples/smpi/mc/non_deterministic.c [deleted file]
examples/smpi/mc/non_deterministic.tesh [deleted file]
examples/smpi/mc/only_send_deterministic.c [moved from examples/smpi/mc/send_deterministic.c with 100% similarity]
examples/smpi/mc/only_send_deterministic.tesh [moved from examples/smpi/mc/send_deterministic.tesh with 53% similarity]
src/mc/mc_base.c
src/mc/mc_global.c
src/mc/mc_request.c