Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
filenames changed
authoreazimi <azimi.ehsan@outlook.com>
Mon, 25 Jan 2021 15:35:48 +0000 (16:35 +0100)
committereazimi <azimi.ehsan@outlook.com>
Mon, 25 Jan 2021 15:35:48 +0000 (16:35 +0100)
MANIFEST.in
src/mc/VisitedState.cpp
src/mc/api.cpp [moved from src/mc/mc_api.cpp with 99% similarity]
src/mc/api.hpp [moved from src/mc/mc_api.hpp with 100% similarity]
src/mc/checker/Checker.hpp
src/mc/mc_state.cpp
tools/cmake/DefinePackages.cmake

index 69ec60f..7620882 100644 (file)
@@ -2299,8 +2299,8 @@ include src/mc/inspect/mc_member.cpp
 include src/mc/inspect/mc_unw.cpp
 include src/mc/inspect/mc_unw.hpp
 include src/mc/inspect/mc_unw_vmread.cpp
-include src/mc/mc_api.cpp
-include src/mc/mc_api.hpp
+include src/mc/api.cpp
+include src/mc/api.hpp
 include src/mc/mc_base.cpp
 include src/mc/mc_base.h
 include src/mc/mc_client_api.cpp
index abea35f..e482d83 100644 (file)
@@ -10,7 +10,7 @@
 #include <sys/wait.h>
 #include <memory>
 #include <boost/range/algorithm.hpp>
-#include "src/mc/mc_api.hpp"
+#include "src/mc/api.hpp"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_VisitedState, mc, "Logging specific to state equality detection mechanisms");
 
similarity index 99%
rename from src/mc/mc_api.cpp
rename to src/mc/api.cpp
index 84fa499..661189b 100644 (file)
@@ -1,4 +1,4 @@
-#include "mc_api.hpp"
+#include "api.hpp"
 
 #include "src/kernel/activity/MailboxImpl.hpp"
 #include "src/kernel/activity/MutexImpl.hpp"
similarity index 100%
rename from src/mc/mc_api.hpp
rename to src/mc/api.hpp
index b04d6e3..cf63b20 100644 (file)
@@ -7,7 +7,7 @@
 #ifndef SIMGRID_MC_CHECKER_HPP
 #define SIMGRID_MC_CHECKER_HPP
 
-#include "src/mc/mc_api.hpp"
+#include "src/mc/api.hpp"
 
 namespace simgrid {
 namespace mc {
index 7121dee..26901e6 100644 (file)
@@ -5,7 +5,7 @@
 
 #include "src/mc/mc_state.hpp"
 #include "src/mc/mc_config.hpp"
-#include "src/mc/mc_api.hpp"
+#include "src/mc/api.hpp"
 
 #include <boost/range/algorithm.hpp>
 
index fafbc4f..94a0681 100644 (file)
@@ -658,8 +658,8 @@ set(MC_SRC
   src/mc/mc_comm_pattern.hpp
   src/mc/mc_pattern.hpp
   src/mc/compare.cpp
-  src/mc/mc_api.cpp
-  src/mc/mc_api.hpp
+  src/mc/api.cpp
+  src/mc/api.hpp
   src/mc/mc_hash.hpp
   src/mc/mc_hash.cpp
   src/mc/mc_ignore.hpp