model-checker : ignore variable about time used with tracing

[simgrid.git] / COPYING

diff --git a/COPYING b/COPYING
index 0ca0067..98b0223 100644 (file)
--- a/COPYING
+++ b/COPYING
@@ -3,10 +3,39 @@ software is distributed under the GNU lesser general public license
 version 2.1, which you can find in the archive under the name
 LICENSE-LGPL-2.1.
 
 version 2.1, which you can find in the archive under the name
 LICENSE-LGPL-2.1.
 

+For any copyright year range specified as YYYY-ZZZZ in this package
+note that the range specifies every single year in that closed interval.
+

 Some perticular files distributed with the project have other
 licenses. More specifically, these files are listed below, along with
 their license.
 
 Some perticular files distributed with the project have other
 licenses. More specifically, these files are listed below, along with
 their license.
 

+The SimGrid logo is distributed under the CC-BY-SA license.
+
+=========================================================================
+
+We have embeded pcre 8.12 library into the windows installer.
+
+PCRE is a library of functions to support regular expressions whose syntax
+and semantics are as close as possible to those of the Perl 5 language.
+Release 8 of PCRE is distributed under the terms of the "BSD" licence.
+The basic library functions are written in C and are freestanding. Also
+included in the distribution is a set of C++ wrapper functions.
+
+/*
+*      THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+*      AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+*      IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+*      ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
+*      LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+*      CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+*      SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+*      INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+*      CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+*      ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+*      POSSIBILITY OF SUCH DAMAGE.
+*/
+

 ==========================================================================
 
 The file src/xbt/snprintf.c contains this license text:
 ==========================================================================
 
 The file src/xbt/snprintf.c contains this license text:


@@ -34,7 +63,7 @@ The file src/xbt/snprintf.c contains this license text:
  *   If not, I'll be glad to provide one.
  *
  */
  *   If not, I'll be glad to provide one.
  *
  */

- 
+

 =========================================================================
 
 The exception handling mecanism (mainly living in src/xbt/ex.c and
 =========================================================================
 
 The exception handling mecanism (mainly living in src/xbt/ex.c and


@@ -76,13 +105,52 @@ LGPL v2.1 license.
 
 =========================================================================
 
 
 =========================================================================
 

-Some examples for SMPI were borowed from an IBM test suite. 
+The xbt/mmalloc module was adapted from the mmalloc module of gdb.
+Both the simgrid version and the original version is distributed under
+the LGPL v2.1
+
+This affects the files in directory src/xbt/mmalloc and
+include/xbt/mmalloc.h
+
+=========================================================================
+
+In order to use ucontext with windows platform we had those files :
+       src/xbt/win32_ucontext.c
+       include/xbt/win32_ucontext.h
+
+Their copyright is the following:
+
+/*
+ *      win32-ucontext: Unix ucontext_t operations on Windows platforms
+ *      Copyright(C) 2007 Panagiotis E. Hadjidoukas
+ *
+ *      Contact Email: phadjido@cs.uoi.gr, xdoukas@ceid.upatras.gr
+ *
+ *      win32-ucontext is free software; you can redistribute it and/or
+ *      modify it under the terms of the GNU Lesser General Public
+ *      License as published by the Free Software Foundation; either
+ *      version 2 of the License, or (at your option) any later version.
+ *
+ *      win32-ucontext is distributed in the hope that it will be useful,
+ *      but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ *      Lesser General Public License for more details.
+ *
+ *      You should have received a copy of the GNU Lesser General Public
+ *      License along with SimGrid in the file LICENSE-LGPL-2.1;
+ *      if not, write to the Free Software Foundation, Inc.,
+ *      51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
+ */
+
+=========================================================================
+
+Some examples for SMPI were borowed from an IBM test suite.

 Their copyright is the following:
 /**
  * MESSAGE PASSING INTERFACE TEST CASE SUITE
  *
  * Copyright IBM Corp. 1995
 Their copyright is the following:
 /**
  * MESSAGE PASSING INTERFACE TEST CASE SUITE
  *
  * Copyright IBM Corp. 1995

- * 
+ *

  * IBM Corp. hereby grants a non-exclusive license to use, copy, modify, and
  *distribute this software for any purpose and without fee provided that the
  *above copyright notice and the following paragraphs appear in all copies.
  * IBM Corp. hereby grants a non-exclusive license to use, copy, modify, and
  *distribute this software for any purpose and without fee provided that the
  *above copyright notice and the following paragraphs appear in all copies.


@@ -101,39 +169,77 @@ Their copyright is the following:
  * ENHANCEMENTS, OR MODIFICATIONS.
  * ***************************************************************************
  **/
  * ENHANCEMENTS, OR MODIFICATIONS.
  * ***************************************************************************
  **/

- 
+

 List of files:
  examples/smpi/scatter.c
  examples/smpi/reduce.c
  examples/smpi/allreduce.c
  examples/smpi/alltoall2.c
 List of files:
  examples/smpi/scatter.c
  examples/smpi/reduce.c
  examples/smpi/allreduce.c
  examples/smpi/alltoall2.c

- 
-========================================================================= 

 
 

-The xbt/mmalloc module was adapted from the mmalloc module of gdb.
-Both the simgrid version and the original version is distributed under
-the LGPL v2.1
-
-This affects the files in directory src/xbt/mmalloc and
-include/xbt/mmalloc.h

 
 

-========================================================================= 
+=========================================================================

 
 

-Some other examples for SMPI were borowed from an Argonne test suite. 
-Their copyright is the following (FIXME):
+examples/smpi/alltoallv.c was borowed from the MPICH2 test files. It
+can be found for example in mpich2 1.2.1.1 under the name
+test/mpi/coll/alltoallv.c The copyright mention is the following:

 /*
  *  (C) 2001 by Argonne National Laboratory.
  *      See COPYRIGHT in top-level directory.
  */
 /*
  *  (C) 2001 by Argonne National Laboratory.
  *      See COPYRIGHT in top-level directory.
  */

-List of files:
- examples/smpi/alltoallv.c   
+<------------- COPYRIGHT file in the top-level ----------------------->
+
+                                 COPYRIGHT
+
+The following is a notice of limited availability of the code, and disclaimer
+which must be included in the prologue of the code and in all source listings
+of the code.
+
+Copyright Notice
+ + 2002 University of Chicago
+
+Permission is hereby granted to use, reproduce, prepare derivative works, and
+to redistribute to others.  This software was authored by:
+
+Argonne National Laboratory Group
+W. Gropp: (630) 252-4318; FAX: (630) 252-5986; e-mail: gropp@mcs.anl.gov
+E. Lusk:  (630) 252-7852; FAX: (630) 252-5986; e-mail: lusk@mcs.anl.gov
+Mathematics and Computer Science Division
+Argonne National Laboratory, Argonne IL 60439
+
+
+                             GOVERNMENT LICENSE
+
+Portions of this material resulted from work developed under a U.S.
+Government Contract and are subject to the following license: the Government
+is granted for itself and others acting on its behalf a paid-up, nonexclusive,
+irrevocable worldwide license in this computer software to reproduce, prepare
+derivative works, and perform publicly and display publicly.
+
+                                 DISCLAIMER
+
+This computer code material was prepared, in part, as an account of work
+sponsored by an agency of the United States Government.  Neither the United
+States, nor the University of Chicago, nor any of their employees, makes any
+warranty express or implied, or assumes any legal liability or responsibility
+for the accuracy, completeness, or usefulness of any information, apparatus,
+product, or process disclosed, or represents that its use would not infringe
+privately owned rights.
+
+Portions of this code were written by Microsoft. Those portions are
+Copyright (c) 2007 Microsoft Corporation. Microsoft grants permission to
+use, reproduce, prepare derivative works, and to redistribute to
+others. The code is licensed "as is." The User bears the risk of using
+it. Microsoft gives no express warranties, guarantees or
+conditions. To the extent permitted by law, Microsoft excludes the
+implied warranties of merchantability, fitness for a particular
+purpose and non-infringement.
+
+
+<-------------------- end of MPICH2 COPYRIGHT file -------------------->
+
+
+=========================================================================

 
 

-========================================================================= 
-Finally, some SMPI examples have unclear licence:
- examples/smpi/first.c
- examples/smpi/second.c
-========================================================================= 
- 

 
 The directory examples/smpi/NAS contains a tweaked version of the
 NAS Parallel Benchmark Team. The original software were retrieved from
 
 The directory examples/smpi/NAS contains a tweaked version of the
 NAS Parallel Benchmark Team. The original software were retrieved from


@@ -150,32 +256,3 @@ licences, at your option.
 
 ==========================================================================
 
 
 ==========================================================================
 

-In order to use ucontext with windows platform we had those files :
-       src/xbt/win32_ucontext.c
-       include/xbt/win32_ucontext.h
-
-Their copyright is the following:
-
-/*
- *      win32-ucontext: Unix ucontext_t operations on Windows platforms
- *      Copyright(C) 2007 Panagiotis E. Hadjidoukas
- *
- *      Contact Email: phadjido@cs.uoi.gr, xdoukas@ceid.upatras.gr
- *
- *      win32-ucontext is free software; you can redistribute it and/or
- *      modify it under the terms of the GNU Lesser General Public
- *      License as published by the Free Software Foundation; either
- *      version 2 of the License, or (at your option) any later version.
- *
- *      win32-ucontext is distributed in the hope that it will be useful,
- *      but WITHOUT ANY WARRANTY; without even the implied warranty of
- *      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
- *      Lesser General Public License for more details.
- *
- *      You should have received a copy of the GNU Lesser General Public
- *      License along with QueueUserAPCEx in the file COPYING.LIB;
- *      if not, write to the Free Software Foundation, Inc.,
- *      59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
- */
- 
-=========================================================================
\ No newline at end of file