From: Martin Quinson <martin.quinson@loria.fr>
Date: Mon, 30 Jan 2012 14:23:40 +0000 (+0100)
Subject: add proper copyright headers to the MC files
X-Git-Tag: exp_20120216~116
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/56048e3bbbccaeb0c3f1ec9d0105048d7e122af1

add proper copyright headers to the MC files
---

diff --git a/src/include/mc/datatypes.h b/src/include/mc/datatypes.h
index 073cbd5d7d..0b6404603c 100644
--- a/src/include/mc/datatypes.h
+++ b/src/include/mc/datatypes.h
@@ -1,5 +1,4 @@
-/* Copyright (c) 2008 Martin Quinson, Cristian Rosa.
-   All rights reserved.                                          */
+/* Copyright (c) 2008-2012. 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. */
diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h
index 59301feb6d..bffb7e6b50 100644
--- a/src/include/mc/mc.h
+++ b/src/include/mc/mc.h
@@ -1,5 +1,4 @@
-/* Copyright (c) 2008 Martin Quinson, Cristian Rosa.
-   All rights reserved.                                          */
+/* Copyright (c) 2008-2012. 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. */
diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index dcf1a36d5f..1ab97ea4c2 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -1,3 +1,8 @@
+/* Copyright (c) 2008-2012 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. */
+
 #include <libgen.h>
 #include "mc_private.h"
 
diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index 2c9ad7f205..ebb68bdd94 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -1,5 +1,4 @@
-/* Copyright (c) 2008 Martin Quinson, Cristian Rosa.
-   All rights reserved.                                          */
+/* Copyright (c) 2008-2012. 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. */
diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index a0ad3ee77f..d24b438235 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -1,3 +1,8 @@
+/* Copyright (c) 2008-2012 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. */
+
 #include <unistd.h>
 #include <sys/types.h>
 #include <sys/wait.h>
diff --git a/src/mc/mc_liveness.c b/src/mc/mc_liveness.c
index 2cd817af5d..ab84f4c38e 100644
--- a/src/mc/mc_liveness.c
+++ b/src/mc/mc_liveness.c
@@ -1,5 +1,10 @@
+/* Copyright (c) 2008-2012 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. */
+
 #include "mc_private.h"
-#include "unistd.h"
+#include <unistd.h>
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_liveness, mc,
                                 "Logging specific to algorithms for liveness properties verification");
diff --git a/src/mc/mc_memory.c b/src/mc/mc_memory.c
index 593bdf4ca4..0478629799 100644
--- a/src/mc/mc_memory.c
+++ b/src/mc/mc_memory.c
@@ -1,3 +1,8 @@
+/* Copyright (c) 2008-2012 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. */
+
 #include <sys/stat.h>
 #include <fcntl.h>
 #include "mc/mc.h"
diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 63097245db..89ff69002e 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -1,4 +1,4 @@
-/* Copyright (c) 2007-2011 Da SimGrid Team. All rights reserved.            */
+/* Copyright (c) 2007-2012 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. */
diff --git a/src/mc/mc_request.c b/src/mc/mc_request.c
index cb2374128c..9ccfcb921b 100644
--- a/src/mc/mc_request.c
+++ b/src/mc/mc_request.c
@@ -1,3 +1,8 @@
+/* Copyright (c) 2008-2012 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. */
+
 #include "mc_private.h"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_request, mc,
diff --git a/src/mc/mc_state.c b/src/mc/mc_state.c
index 6c3b92724b..858cc93032 100644
--- a/src/mc/mc_state.c
+++ b/src/mc/mc_state.c
@@ -1,4 +1,7 @@
+/* Copyright (c) 2008-2012 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. */
 
 #include "../simix/smx_private.h"
 #include "xbt/fifo.h"
diff --git a/src/mc/memory_map.c b/src/mc/memory_map.c
index 1fe0b1ad95..934dab89a7 100644
--- a/src/mc/memory_map.c
+++ b/src/mc/memory_map.c
@@ -1,5 +1,10 @@
+/* Copyright (c) 2008-2012 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. */
+
 #define _GNU_SOURCE
-#include "private.h"
+#include "mc_private.h"
 #include <stdlib.h>
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_memory_map, mc,