Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Make CommDet a plugin on top of Safety
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 22:13:26 +0000 (23:13 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 18 Feb 2022 22:48:12 +0000 (23:48 +0100)
commit97e5210852e84ebe84d8344987fa1b92b1d369fa
tree84f222b50bd72fabdc9ca11f593046f1f5dc1b11
parentdf3ae8662ba574c3eaab705922e941876b1900ae
Make CommDet a plugin on top of Safety
ChangeLog
MANIFEST.in
examples/smpi/mc/only_send_deterministic.c
examples/smpi/mc/only_send_deterministic.tesh
include/simgrid/forward.h
src/kernel/activity/MailboxImpl.hpp
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/CommunicationDeterminismChecker.hpp [deleted file]
src/mc/checker/SafetyChecker.cpp
src/mc/checker/SafetyChecker.hpp
tools/cmake/DefinePackages.cmake