[mc] Add missing copyright notices

diff --git a/src/mc/ChunkedData.cpp b/src/mc/ChunkedData.cpp
index b0c1aae..00f6e31 100644 (file)
--- a/src/mc/ChunkedData.cpp
+++ b/src/mc/ChunkedData.cpp
@@ -1,3 +1,10 @@
+/* Copyright (c) 2007-2015. The 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 "src/mc/ChunkedData.hpp"
 
 #define SOFT_DIRTY_BIT_NUMBER 55

diff --git a/src/mc/ChunkedData.hpp b/src/mc/ChunkedData.hpp
index 02e6bcc..05ef275 100644 (file)
--- a/src/mc/ChunkedData.hpp
+++ b/src/mc/ChunkedData.hpp
@@ -1,3 +1,9 @@
+/* Copyright (c) 2014-2015. The 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. */
+
 #ifndef SIMGRID_MC_CHUNKED_DATA_HPP
 #define SIMGRID_MC_CHUNKED_DATA_HPP
 

diff --git a/src/mc/DwarfExpression.hpp b/src/mc/DwarfExpression.hpp
index 3ac1777..aa6d888 100644 (file)
--- a/src/mc/DwarfExpression.hpp
+++ b/src/mc/DwarfExpression.hpp
@@ -1,3 +1,9 @@
+/* Copyright (c) 2015. The 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. */
+
 #ifndef SIMGRID_MC_DWARF_EXPRESSION_HPP
 #define SIMGRID_MC_DWARF_EXPRESSION_HPP
 

diff --git a/src/mc/ObjectInformation.cpp b/src/mc/ObjectInformation.cpp
index 942cbad..9d66b0e 100644 (file)
--- a/src/mc/ObjectInformation.cpp
+++ b/src/mc/ObjectInformation.cpp
@@ -1,3 +1,9 @@
+/* Copyright (c) 2014-2015. The 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 "src/mc/Frame.hpp"
 #include "src/mc/ObjectInformation.hpp"
 #include "src/mc/Variable.hpp"

diff --git a/src/mc/mc_diff.cpp b/src/mc/mc_diff.cpp
index d3f2904..93fd254 100644 (file)
--- a/src/mc/mc_diff.cpp
+++ b/src/mc/mc_diff.cpp
@@ -1,11 +1,11 @@
-/* mc_diff - Memory snapshooting and comparison                             */
-
 /* Copyright (c) 2008-2015. The 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. */
 
+/* mc_diff - Memory snapshooting and comparison                             */
+
 #include "src/xbt/ex_interface.h"   /* internals of backtrace setup */
 #include "xbt/str.h"
 #include "mc/mc.h"

diff --git a/src/mc/mc_exit.h b/src/mc/mc_exit.h
index 2e8f521..118bc33 100644 (file)
--- a/src/mc/mc_exit.h
+++ b/src/mc/mc_exit.h
@@ -1,3 +1,9 @@
+/* Copyright (c) 2015. The 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. */
+
 #ifndef SIMGRID_MC_EXIT_HPP
 #define SIMGRID_MC_EXIT_HPP
 

diff --git a/src/mc/mc_page_snapshot.cpp b/src/mc/mc_page_snapshot.cpp
index 49986e0..217b58e 100644 (file)
--- a/src/mc/mc_page_snapshot.cpp
+++ b/src/mc/mc_page_snapshot.cpp
@@ -1,11 +1,12 @@
-/* MC interface: definitions that non-MC modules must see, but not the user */
-
 /* Copyright (c) 2014-2015. The 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. */
 
+/* MC interface: definitions that non-MC modules must see, but not the user */
+
+
 #include <unistd.h> // pread, pwrite
 
 #include "src/mc/PageStore.hpp"

diff --git a/src/mc/mc_replay.h b/src/mc/mc_replay.h
index 8ac6454..5dc957a 100644 (file)
--- a/src/mc/mc_replay.h
+++ b/src/mc/mc_replay.h
@@ -1,11 +1,11 @@
-/* simgrid/modelchecker.h - Formal Verification made possible in SimGrid    */
-
 /* Copyright (c) 2008-2015. The 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. */
 
+/* simgrid/modelchecker.h - Formal Verification made possible in SimGrid    */
+
 #ifndef SIMGRID_MC_REPLAY_H
 #define SIMGRID_MC_REPLAY_H