Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add missing copyright notices.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 22 Jun 2021 15:17:24 +0000 (17:17 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 22 Jun 2021 15:20:07 +0000 (17:20 +0200)
31 files changed:
docs/Build.sh
docs/source/tuto_smpi/gemm_mpi.cpp
docs/source/tuto_smpi/roundtrip.c
examples/cpp/energy-wifi/s4u-energy-wifi.cpp
examples/smpi/gemm/gemm.c
examples/smpi/mc/non_termination1.c
examples/smpi/mc/non_termination2.c
examples/smpi/mc/non_termination3.c
examples/smpi/mc/non_termination4.c
include/smpi/smpi_extended_traces.h
include/smpi/smpi_extended_traces_fortran.h
setup.py
src/mc/api.cpp
src/mc/api.hpp
src/simix/simix_network.tla
src/smpi/colls/reduce/reduce-rab.cpp
src/smpi/smpi_replay_main.cpp
src/xbt/xbt_parse_units.cpp
teshsuite/s4u/issue71/issue71.cpp
teshsuite/s4u/wait-any-for/wait-any-for.cpp
teshsuite/smpi/fort_args/fort_args.f90
teshsuite/smpi/io-all-at/io-all-at.c
teshsuite/smpi/io-all/io-all.c
teshsuite/smpi/io-ordered/io-ordered.c
teshsuite/smpi/io-shared/io-shared.c
teshsuite/smpi/io-simple-at/io-simple-at.c
teshsuite/smpi/io-simple/io-simple.c
teshsuite/smpi/privatization/privatization.c
teshsuite/smpi/timers/timers.c
tools/simgrid_convert_TI_traces.py
tools/smpi/generate_smpi_defines.pl

index 632ecd9..7583c67 100755 (executable)
@@ -1,5 +1,10 @@
 #! /bin/bash
 #
+# Copyright (c) 2018-2021. 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.
+
 # Simplistic script to rebuild our documentation with sphinx-build
 
 # If you are missing some dependencies, try: pip3 install --requirement docs/requirements.txt
index 950e809..92a14d6 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2019-2021. 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 "stdio.h"
 #include "mpi.h"
 
index 53f523b..2422dc2 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2018-2021. 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 <mpi.h>
 #include <stdio.h>
 #include <stdlib.h>
index 6d1bb89..a2d9a7e 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2020-2021. 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. */
+
 /**
  * Test the wifi energy plugin
  * Desactivate cross-factor to get round values
index b6baeae..3e1580c 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2019-2021. 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. */
+
 /*==================================================================================================*/
 /*# This file is part of the CodeVault project. The project is licensed under Apache Version 2.0.*/
 /*# CodeVault is part of the EU-project PRACE-4IP (WP7.3.C).*/
index 919824f..7d38b76 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2015-2021. 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 <stdio.h>
 #include <mpi.h>
 #include <simgrid/modelchecker.h>
index 031ab50..2008661 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2015-2021. 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 <stdio.h>
 #include <mpi.h>
 #include <simgrid/modelchecker.h>
index ebbbb9c..ebd539e 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2015-2021. 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 <stdio.h>
 #include <mpi.h>
 #include <simgrid/modelchecker.h>
index cd8b1a2..d867cf9 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2015-2021. 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 <stdio.h>
 #include <mpi.h>
 #include <simgrid/modelchecker.h>
index f97d93f..7fc354a 100644 (file)
@@ -1,6 +1,12 @@
+// Copyright (c) 2016-2021. 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.
+
 // This file has been automatically generated by the script
 // in tools/smpi/generate_smpi_defines.pl
 // DO NOT EDIT MANUALLY. ALL CHANGES WILL BE OVERWRITTEN!
+
 #define MPI_Init(...) (smpi_trace_set_call_location(__FILE__, __LINE__), MPI_Init(__VA_ARGS__))
 #define MPI_Finalize(...) (smpi_trace_set_call_location(__FILE__, __LINE__), MPI_Finalize(__VA_ARGS__))
 #define MPI_Finalized(...) (smpi_trace_set_call_location(__FILE__, __LINE__), MPI_Finalized(__VA_ARGS__))
index eee7535..2017464 100644 (file)
@@ -1,6 +1,12 @@
+! Copyright (c) 2016-2021. 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.
+
 ! This file has been automatically generated by the script
 ! in tools/smpi/generate_smpi_defines.pl
 ! DO NOT EDIT MANUALLY. ALL CHANGES WILL BE OVERWRITTEN!
+
 #define mpi_init smpi_trace_set_call_location(__FILE__,__LINE__); call MPI_Init
 #define MPI_INIT smpi_trace_set_call_location(__FILE__,__LINE__); call MPI_Init
 #define mpi_finalize smpi_trace_set_call_location(__FILE__,__LINE__); call MPI_Finalize
index aa333b1..c6e6d1e 100755 (executable)
--- a/setup.py
+++ b/setup.py
@@ -1,4 +1,7 @@
+# Copyright (c) 2019-2021. 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.
 
 # python3 setup.py sdist # Build a source distrib (building binary distribs is complex on linux)
 
index 796dd33..d1628af 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2020-2021. 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 "api.hpp"
 
 #include "src/kernel/activity/MailboxImpl.hpp"
index 548bbe8..23b9043 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2020-2021. 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_API_HPP
 #define SIMGRID_MC_API_HPP
 
index 476628d..285cb1b 100644 (file)
@@ -1,4 +1,9 @@
 ---- MODULE simix_network ----
+(* Copyright (c) 2012-2021. 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. *)
+
 (* This is a TLA module specifying the networking layer of SIMIX.
    It is used to verify the soundness of the DPOR reduction algorithm
    used in the model-checker.
index f8bed1a..33993a5 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2013-2021. 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. */
+
 /* extracted from mpig_myreduce.c with
    :3,$s/MPL/MPI/g     and  :%s/\\\\$/ \\/   */
 
index 8016e28..d8cb726 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2018-2021. 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 "simgrid/s4u.hpp"
 #include "smpi/smpi.h"
 #include "xbt/asserts.h"
index 01066f2..5b1d35d 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2007-2021. 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 "simgrid/Exception.hpp"
 #include "xbt/ex.h"
 #include "xbt/log.h"
index f4708af..1e9481f 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2021. 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 <simgrid/s4u.hpp>
 #include <vector>
 
index 7f40e7f..3c4200c 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2019-2021. 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 <cstdlib>
 #include <iostream>
 #include <string>
index dfd5308..5d13591 100644 (file)
@@ -1,3 +1,8 @@
+! Copyright (c) 2018-2021. 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.
+
 ! Check that getarg does something sensible.
 program getarg_1
   use mpi
index b977265..1d8cade 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2019-2021. 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 "mpi.h"
 #include <stdio.h>
 #include <stdlib.h>
index a05c21f..884bfdd 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2019-2021. 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 "mpi.h"
 #include <stdio.h>
 #include <stdlib.h>
index 6423f5b..d7b6f76 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2019-2021. 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 "mpi.h"
 #include <stdio.h>
 #include <stdlib.h>
index d3cb157..84fe25d 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2019-2021. 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 "mpi.h"
 #include <stdio.h>
 #include <stdlib.h>
index fecb251..a9b6fcd 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2019-2021. 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 "mpi.h"
 #include <stdio.h>
 #include <stdlib.h>
index 4a3858e..1d0cc7a 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2019-2021. 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 "mpi.h"
 #include <stdio.h>
 #include <stdlib.h>
index ec4509a..3130530 100644 (file)
@@ -1,3 +1,7 @@
+/* Copyright (c) 2017-2021. 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 <stdio.h>
 #include <stdlib.h>
index a347934..3ec1c5d 100644 (file)
@@ -1,3 +1,8 @@
+/* Copyright (c) 2016-2021. 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 "mpi.h"
 #include <stdio.h>
 #include <stdlib.h>
index d3425f8..7d683f2 100755 (executable)
@@ -1,5 +1,10 @@
 #!/usr/bin/env python3
 
+# Copyright (c) 2018-2021. 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.
+
 '''
 This script is intended to convert SMPI time independent traces (TIT) from the
 old format (simgrid version <= 3.19) to the new format.
index fefb7d0..b867236 100755 (executable)
@@ -1,4 +1,10 @@
 #!/usr/bin/env perl
+#
+# Copyright (c) 2016-2021. 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.
+#
 # Copyright 2016 Vincent Danjean <vincent.danjean@inria.fr>
 #                Christian Heinrich <franz-christian.heinrich@inria.fr>
 #
@@ -25,9 +31,15 @@ if (defined $options{f}) {
   $commentChar="!"
 }
 
+print "$commentChar Copyright (c) 2016-2021. The SimGrid Team. All rights reserved.\n";
+print "\n";
+print "$commentChar This program is free software; you can redistribute it and/or modify it\n";
+print "$commentChar under the terms of the license (GNU LGPL) which comes with this package.\n";
+print "\n";
 print "$commentChar This file has been automatically generated by the script\n";
 print "$commentChar in tools/smpi/generate_smpi_defines.pl\n";
 print "$commentChar DO NOT EDIT MANUALLY. ALL CHANGES WILL BE OVERWRITTEN!\n";
+print "\n";
 
 # Formatting of the output
 sub output_macro {