Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mv src/mc/private.h src/mc/mc_private.h
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 30 Jan 2012 14:16:25 +0000 (15:16 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 30 Jan 2012 14:16:25 +0000 (15:16 +0100)
src/mc/mc_checkpoint.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_memory.c
src/mc/mc_private.h [moved from src/mc/private.h with 98% similarity]
src/mc/mc_request.c
src/mc/mc_state.c

index da376da..dcf1a36 100644 (file)
@@ -1,5 +1,5 @@
 #include <libgen.h>
 #include <libgen.h>
-#include "private.h"
+#include "mc_private.h"
 
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_checkpoint, mc,
 
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_checkpoint, mc,
index bae5fb1..2c9ad7f 100644 (file)
@@ -4,7 +4,7 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#include "private.h"
+#include "mc_private.h"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_dpor, mc,
                                 "Logging specific to MC DPOR exploration");
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_dpor, mc,
                                 "Logging specific to MC DPOR exploration");
index 7760797..a0ad3ee 100644 (file)
@@ -6,7 +6,7 @@
 #include "../surf/surf_private.h"
 #include "../simix/smx_private.h"
 #include "xbt/fifo.h"
 #include "../surf/surf_private.h"
 #include "../simix/smx_private.h"
 #include "xbt/fifo.h"
-#include "private.h"
+#include "mc_private.h"
 
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_global, mc,
 
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_global, mc,
index 75615b7..2cd817a 100644 (file)
@@ -1,4 +1,4 @@
-#include "private.h"
+#include "mc_private.h"
 #include "unistd.h"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_liveness, mc,
 #include "unistd.h"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_liveness, mc,
index c2fe2a1..593bdf4 100644 (file)
@@ -1,7 +1,7 @@
 #include <sys/stat.h>
 #include <fcntl.h>
 #include "mc/mc.h"
 #include <sys/stat.h>
 #include <fcntl.h>
 #include "mc/mc.h"
-#include "private.h"
+#include "mc_private.h"
 #include "xbt/log.h"
 #define _GNU_SOURCE
 
 #include "xbt/log.h"
 #define _GNU_SOURCE
 
similarity index 98%
rename from src/mc/private.h
rename to src/mc/mc_private.h
index d277c41..6309724 100644 (file)
@@ -1,5 +1,4 @@
-/* Copyright (c) 2007 Arnaud Legrand, Bruno Donnassolo.
-   All rights reserved.                                          */
+/* Copyright (c) 2007-2011 Da SimGrid Team. All rights reserved.            */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
index f6a70ad..cb23741 100644 (file)
@@ -1,4 +1,4 @@
-#include "private.h"
+#include "mc_private.h"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_request, mc,
                                 "Logging specific to MC (request)");
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_request, mc,
                                 "Logging specific to MC (request)");
index ad66b61..6c3b927 100644 (file)
@@ -2,7 +2,7 @@
 
 #include "../simix/smx_private.h"
 #include "xbt/fifo.h"
 
 #include "../simix/smx_private.h"
 #include "xbt/fifo.h"
-#include "private.h"
+#include "mc_private.h"
 
 /**
  * \brief Creates a state data structure used by the exploration algorithm
 
 /**
  * \brief Creates a state data structure used by the exploration algorithm