From 56048e3bbbccaeb0c3f1ec9d0105048d7e122af1 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Mon, 30 Jan 2012 15:23:40 +0100 Subject: [PATCH 1/1] add proper copyright headers to the MC files --- src/include/mc/datatypes.h | 3 +-- src/include/mc/mc.h | 3 +-- src/mc/mc_checkpoint.c | 5 +++++ src/mc/mc_dpor.c | 3 +-- src/mc/mc_global.c | 5 +++++ src/mc/mc_liveness.c | 7 ++++++- src/mc/mc_memory.c | 5 +++++ src/mc/mc_private.h | 2 +- src/mc/mc_request.c | 5 +++++ src/mc/mc_state.c | 3 +++ src/mc/memory_map.c | 7 ++++++- 11 files changed, 39 insertions(+), 9 deletions(-) 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 #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 #include #include 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 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 #include #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 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_memory_map, mc, -- 2.20.1