Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix Manifest.in
authormlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 6 Jun 2023 10:05:18 +0000 (12:05 +0200)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Tue, 6 Jun 2023 10:05:18 +0000 (12:05 +0200)
MANIFEST.in

index 5ad678c..2aa9af7 100644 (file)
@@ -2192,8 +2192,10 @@ include src/mc/api/RemoteApp.hpp
 include src/mc/api/State.cpp
 include src/mc/api/State.hpp
 include src/mc/api/strategy/BasicStrategy.hpp
+include src/mc/api/strategy/MaxMatchComm.hpp
+include src/mc/api/strategy/MinMatchComm.hpp
 include src/mc/api/strategy/Strategy.hpp
-include src/mc/api/strategy/WaitStrategy.hpp
+include src/mc/api/strategy/UniformStrategy.hpp
 include src/mc/compare.cpp
 include src/mc/datatypes.h
 include src/mc/explo/CommunicationDeterminismChecker.cpp