model-checker : new simcall MC_RANDOM

[simgrid.git] / COPYING

diff --git a/COPYING b/COPYING
index c580bd0..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


@@ -74,7 +103,7 @@ from the iksemel one (http://code.google.com/p/iksemel/). Both the
 original and the current version of this code is distributed under the
 LGPL v2.1 license.
 
 original and the current version of this code is distributed under the
 LGPL v2.1 license.
 

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

 
 The xbt/mmalloc module was adapted from the mmalloc module of gdb.
 Both the simgrid version and the original version is distributed under
 
 The xbt/mmalloc module was adapted from the mmalloc module of gdb.
 Both the simgrid version and the original version is distributed under


@@ -108,20 +137,20 @@ Their copyright is the following:
  *      Lesser General Public License for more details.
  *
  *      You should have received a copy of the GNU Lesser General Public
  *      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;
+ *      License along with SimGrid in the file LICENSE-LGPL-2.1;

  *      if not, write to the Free Software Foundation, Inc.,
  *      if not, write to the Free Software Foundation, Inc.,

- *      59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
+ *      51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.

  */
  */

- 
+

 =========================================================================
 
 =========================================================================
 

-Some examples for SMPI were borowed from an IBM test suite. 
+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.


@@ -140,15 +169,15 @@ 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

- 

 
 

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

 
 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
 
 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


@@ -209,8 +238,8 @@ purpose and non-infringement.
 <-------------------- end of MPICH2 COPYRIGHT file -------------------->
 
 
 <-------------------- end of MPICH2 COPYRIGHT file -------------------->
 
 

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

 
 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