From c45a236d5837894e3e9b9ae68d675c8dbc863eb7 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Wed, 25 Nov 2015 12:59:55 +0100 Subject: [PATCH] [mc] Add missing copyright notices --- src/mc/ChunkedData.cpp | 7 +++++++ src/mc/ChunkedData.hpp | 6 ++++++ src/mc/DwarfExpression.hpp | 6 ++++++ src/mc/ObjectInformation.cpp | 6 ++++++ src/mc/mc_diff.cpp | 4 ++-- src/mc/mc_exit.h | 6 ++++++ src/mc/mc_page_snapshot.cpp | 5 +++-- src/mc/mc_replay.h | 4 ++-- 8 files changed, 38 insertions(+), 6 deletions(-) diff --git a/src/mc/ChunkedData.cpp b/src/mc/ChunkedData.cpp index b0c1aaee67..00f6e31e2b 100644 --- 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 02e6bcc72e..05ef275b5b 100644 --- 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 3ac1777fc2..aa6d888cd6 100644 --- 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 942cbadce2..9d66b0ebb4 100644 --- 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 d3f290415f..93fd25433e 100644 --- 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 2e8f5216f6..118bc33628 100644 --- 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 49986e0445..217b58ea04 100644 --- 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 // pread, pwrite #include "src/mc/PageStore.hpp" diff --git a/src/mc/mc_replay.h b/src/mc/mc_replay.h index 8ac6454e5e..5dc957ae9c 100644 --- 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 -- 2.20.1