diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-17 18:59:06 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1999-11-17 18:59:06 +0000 |
| commit | cc0f32b05439bb7018e8ad62a54d6371b01aab9f (patch) | |
| tree | 11e614c740672ce84f806b42a6630d192f057bd8 /asmcomp | |
| parent | f07e6fe1c7d8b37c2b00e0a47146285789f1e526 (diff) | |
Changement de la licence
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp')
105 files changed, 210 insertions, 105 deletions
diff --git a/asmcomp/alpha/arch.ml b/asmcomp/alpha/arch.ml index addc547ea..93ad44953 100644 --- a/asmcomp/alpha/arch.ml +++ b/asmcomp/alpha/arch.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/alpha/emit.mlp b/asmcomp/alpha/emit.mlp index 427306334..b9e7f48d0 100644 --- a/asmcomp/alpha/emit.mlp +++ b/asmcomp/alpha/emit.mlp @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/alpha/proc.ml b/asmcomp/alpha/proc.ml index 4d91140e7..4a280e0b5 100644 --- a/asmcomp/alpha/proc.ml +++ b/asmcomp/alpha/proc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/alpha/reload.ml b/asmcomp/alpha/reload.ml index 78246d827..53f7b183c 100644 --- a/asmcomp/alpha/reload.ml +++ b/asmcomp/alpha/reload.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/alpha/scheduling.ml b/asmcomp/alpha/scheduling.ml index f6349b484..f59c26ed5 100644 --- a/asmcomp/alpha/scheduling.ml +++ b/asmcomp/alpha/scheduling.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/alpha/selection.ml b/asmcomp/alpha/selection.ml index fb5ef7c89..d6b142262 100644 --- a/asmcomp/alpha/selection.ml +++ b/asmcomp/alpha/selection.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/arm/arch.ml b/asmcomp/arm/arch.ml index 78b3f73a5..65449bd67 100644 --- a/asmcomp/arm/arch.ml +++ b/asmcomp/arm/arch.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1998 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/arm/emit.mlp b/asmcomp/arm/emit.mlp index 327567d14..61908351f 100644 --- a/asmcomp/arm/emit.mlp +++ b/asmcomp/arm/emit.mlp @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1998 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/arm/proc.ml b/asmcomp/arm/proc.ml index bb432c432..e89497c7b 100644 --- a/asmcomp/arm/proc.ml +++ b/asmcomp/arm/proc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1998 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/arm/reload.ml b/asmcomp/arm/reload.ml index 62353d0af..65d811817 100644 --- a/asmcomp/arm/reload.ml +++ b/asmcomp/arm/reload.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1998 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/arm/scheduling.ml b/asmcomp/arm/scheduling.ml index 62fe5ad0a..8f49ad1ee 100644 --- a/asmcomp/arm/scheduling.ml +++ b/asmcomp/arm/scheduling.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/arm/selection.ml b/asmcomp/arm/selection.ml index 26f4836c4..ce36a4624 100644 --- a/asmcomp/arm/selection.ml +++ b/asmcomp/arm/selection.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1998 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/asmgen.ml b/asmcomp/asmgen.ml index 37a182bdb..be93c91ab 100644 --- a/asmcomp/asmgen.ml +++ b/asmcomp/asmgen.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/asmgen.mli b/asmcomp/asmgen.mli index 3f2ab9d19..3dedf0be6 100644 --- a/asmcomp/asmgen.mli +++ b/asmcomp/asmgen.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/asmlibrarian.ml b/asmcomp/asmlibrarian.ml index 677dd80b3..3054c81dd 100644 --- a/asmcomp/asmlibrarian.ml +++ b/asmcomp/asmlibrarian.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/asmlibrarian.mli b/asmcomp/asmlibrarian.mli index 4e12898c1..a561c3428 100644 --- a/asmcomp/asmlibrarian.mli +++ b/asmcomp/asmlibrarian.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/asmlink.ml b/asmcomp/asmlink.ml index 5ce036c11..c75334b29 100644 --- a/asmcomp/asmlink.ml +++ b/asmcomp/asmlink.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/asmlink.mli b/asmcomp/asmlink.mli index a1f80ba83..8d2d63699 100644 --- a/asmcomp/asmlink.mli +++ b/asmcomp/asmlink.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/clambda.ml b/asmcomp/clambda.ml index 912ca4b7c..c9b059f72 100644 --- a/asmcomp/clambda.ml +++ b/asmcomp/clambda.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/clambda.mli b/asmcomp/clambda.mli index 912ca4b7c..c9b059f72 100644 --- a/asmcomp/clambda.mli +++ b/asmcomp/clambda.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/closure.ml b/asmcomp/closure.ml index c8b928476..9fa3b2518 100644 --- a/asmcomp/closure.ml +++ b/asmcomp/closure.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/closure.mli b/asmcomp/closure.mli index 9f04b3560..cf98dffbc 100644 --- a/asmcomp/closure.mli +++ b/asmcomp/closure.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/cmm.ml b/asmcomp/cmm.ml index 51a0ec2b3..cd686c45c 100644 --- a/asmcomp/cmm.ml +++ b/asmcomp/cmm.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/cmm.mli b/asmcomp/cmm.mli index c766f4eb0..2110bcec7 100644 --- a/asmcomp/cmm.mli +++ b/asmcomp/cmm.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/cmmgen.ml b/asmcomp/cmmgen.ml index 3979cd85e..dba089b2f 100644 --- a/asmcomp/cmmgen.ml +++ b/asmcomp/cmmgen.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/cmmgen.mli b/asmcomp/cmmgen.mli index 7ad1f0d7a..0bf27f8cd 100644 --- a/asmcomp/cmmgen.mli +++ b/asmcomp/cmmgen.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/codegen.ml b/asmcomp/codegen.ml index 8cd4f91b8..9393f37d7 100644 --- a/asmcomp/codegen.ml +++ b/asmcomp/codegen.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/codegen.mli b/asmcomp/codegen.mli index b7a51fba9..b6d8caa61 100644 --- a/asmcomp/codegen.mli +++ b/asmcomp/codegen.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/coloring.ml b/asmcomp/coloring.ml index 5ba3dc50c..37ccc2eed 100644 --- a/asmcomp/coloring.ml +++ b/asmcomp/coloring.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/coloring.mli b/asmcomp/coloring.mli index d74bdad5d..cbfb2d6cd 100644 --- a/asmcomp/coloring.mli +++ b/asmcomp/coloring.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/comballoc.ml b/asmcomp/comballoc.ml index 1eb361df2..16f7b9869 100644 --- a/asmcomp/comballoc.ml +++ b/asmcomp/comballoc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1999 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/comballoc.mli b/asmcomp/comballoc.mli index 903c1605c..329e92764 100644 --- a/asmcomp/comballoc.mli +++ b/asmcomp/comballoc.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1999 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/compilenv.ml b/asmcomp/compilenv.ml index 8896f0f01..70437ddac 100644 --- a/asmcomp/compilenv.ml +++ b/asmcomp/compilenv.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/compilenv.mli b/asmcomp/compilenv.mli index 527afc95f..e1d34b835 100644 --- a/asmcomp/compilenv.mli +++ b/asmcomp/compilenv.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/emit.mli b/asmcomp/emit.mli index c08b80b42..ab7657af9 100644 --- a/asmcomp/emit.mli +++ b/asmcomp/emit.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/emitaux.ml b/asmcomp/emitaux.ml index e35623a51..fa94c9768 100644 --- a/asmcomp/emitaux.ml +++ b/asmcomp/emitaux.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/emitaux.mli b/asmcomp/emitaux.mli index c414cfb6c..5a698a7e7 100644 --- a/asmcomp/emitaux.mli +++ b/asmcomp/emitaux.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/hppa/arch.ml b/asmcomp/hppa/arch.ml index df011b177..f8b4a64f2 100644 --- a/asmcomp/hppa/arch.ml +++ b/asmcomp/hppa/arch.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/hppa/emit.mlp b/asmcomp/hppa/emit.mlp index 58dbdb406..1b3aa4edd 100644 --- a/asmcomp/hppa/emit.mlp +++ b/asmcomp/hppa/emit.mlp @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/hppa/proc.ml b/asmcomp/hppa/proc.ml index 2c042e8e6..7fe256791 100644 --- a/asmcomp/hppa/proc.ml +++ b/asmcomp/hppa/proc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/hppa/reload.ml b/asmcomp/hppa/reload.ml index aca39cc7a..57a242d70 100644 --- a/asmcomp/hppa/reload.ml +++ b/asmcomp/hppa/reload.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/hppa/scheduling.ml b/asmcomp/hppa/scheduling.ml index 24c7169a1..0cdd0998c 100644 --- a/asmcomp/hppa/scheduling.ml +++ b/asmcomp/hppa/scheduling.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/hppa/selection.ml b/asmcomp/hppa/selection.ml index 10710a818..24db6cd90 100644 --- a/asmcomp/hppa/selection.ml +++ b/asmcomp/hppa/selection.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/i386/arch.ml b/asmcomp/i386/arch.ml index 7b067f981..64cee1419 100644 --- a/asmcomp/i386/arch.ml +++ b/asmcomp/i386/arch.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/i386/emit.mlp b/asmcomp/i386/emit.mlp index 37d431ed3..e5b355765 100644 --- a/asmcomp/i386/emit.mlp +++ b/asmcomp/i386/emit.mlp @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/i386/emit_nt.mlp b/asmcomp/i386/emit_nt.mlp index 5ee1b8e0e..dc07e4bfe 100644 --- a/asmcomp/i386/emit_nt.mlp +++ b/asmcomp/i386/emit_nt.mlp @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/i386/proc.ml b/asmcomp/i386/proc.ml index d07db5525..0f764d80e 100644 --- a/asmcomp/i386/proc.ml +++ b/asmcomp/i386/proc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/i386/proc_nt.ml b/asmcomp/i386/proc_nt.ml index 4bb70e39d..8c9316a30 100644 --- a/asmcomp/i386/proc_nt.ml +++ b/asmcomp/i386/proc_nt.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/i386/reload.ml b/asmcomp/i386/reload.ml index a29156398..4d1a8d138 100644 --- a/asmcomp/i386/reload.ml +++ b/asmcomp/i386/reload.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/i386/scheduling.ml b/asmcomp/i386/scheduling.ml index 799ee0d79..8f8f23391 100644 --- a/asmcomp/i386/scheduling.ml +++ b/asmcomp/i386/scheduling.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/i386/selection.ml b/asmcomp/i386/selection.ml index 466c5b6e0..41ad7e80d 100644 --- a/asmcomp/i386/selection.ml +++ b/asmcomp/i386/selection.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/interf.ml b/asmcomp/interf.ml index 6b47ecd00..e6140c3f2 100644 --- a/asmcomp/interf.ml +++ b/asmcomp/interf.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/interf.mli b/asmcomp/interf.mli index 8faa93b3b..00f4df498 100644 --- a/asmcomp/interf.mli +++ b/asmcomp/interf.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/linearize.ml b/asmcomp/linearize.ml index 882d31b13..4235aa177 100644 --- a/asmcomp/linearize.ml +++ b/asmcomp/linearize.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/linearize.mli b/asmcomp/linearize.mli index f22398b07..b2666b7d4 100644 --- a/asmcomp/linearize.mli +++ b/asmcomp/linearize.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/liveness.ml b/asmcomp/liveness.ml index 4019b1c80..775eba6dd 100644 --- a/asmcomp/liveness.ml +++ b/asmcomp/liveness.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/liveness.mli b/asmcomp/liveness.mli index 8cf976ad4..8339c7d35 100644 --- a/asmcomp/liveness.mli +++ b/asmcomp/liveness.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/m68k/arch.ml b/asmcomp/m68k/arch.ml index 0fcbee545..dcac612f6 100644 --- a/asmcomp/m68k/arch.ml +++ b/asmcomp/m68k/arch.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/m68k/emit.mlp b/asmcomp/m68k/emit.mlp index aaa7fb5eb..0a78eed7e 100644 --- a/asmcomp/m68k/emit.mlp +++ b/asmcomp/m68k/emit.mlp @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/m68k/proc.ml b/asmcomp/m68k/proc.ml index cce4c1740..d53f2a91c 100644 --- a/asmcomp/m68k/proc.ml +++ b/asmcomp/m68k/proc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/m68k/reload.ml b/asmcomp/m68k/reload.ml index 904a403fc..ab7999360 100644 --- a/asmcomp/m68k/reload.ml +++ b/asmcomp/m68k/reload.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/m68k/scheduling.ml b/asmcomp/m68k/scheduling.ml index 50cfef8ce..365e61b49 100644 --- a/asmcomp/m68k/scheduling.ml +++ b/asmcomp/m68k/scheduling.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/m68k/selection.ml b/asmcomp/m68k/selection.ml index 635f23ab2..1011d0c92 100644 --- a/asmcomp/m68k/selection.ml +++ b/asmcomp/m68k/selection.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/mach.ml b/asmcomp/mach.ml index 1c704bd5b..a924092ae 100644 --- a/asmcomp/mach.ml +++ b/asmcomp/mach.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/mach.mli b/asmcomp/mach.mli index 73bb129ca..0974f4b55 100644 --- a/asmcomp/mach.mli +++ b/asmcomp/mach.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/mips/arch.ml b/asmcomp/mips/arch.ml index 60804878a..ed65d577e 100644 --- a/asmcomp/mips/arch.ml +++ b/asmcomp/mips/arch.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/mips/emit.mlp b/asmcomp/mips/emit.mlp index 6d5533cb6..06d97fb4e 100644 --- a/asmcomp/mips/emit.mlp +++ b/asmcomp/mips/emit.mlp @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/mips/proc.ml b/asmcomp/mips/proc.ml index ec365a02b..558df6b4a 100644 --- a/asmcomp/mips/proc.ml +++ b/asmcomp/mips/proc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/mips/reload.ml b/asmcomp/mips/reload.ml index 37700cbf2..0bdd208d6 100644 --- a/asmcomp/mips/reload.ml +++ b/asmcomp/mips/reload.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/mips/scheduling.ml b/asmcomp/mips/scheduling.ml index de8d3bfdd..062529ad5 100644 --- a/asmcomp/mips/scheduling.ml +++ b/asmcomp/mips/scheduling.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/mips/selection.ml b/asmcomp/mips/selection.ml index f25852fa0..4dbaa86ea 100644 --- a/asmcomp/mips/selection.ml +++ b/asmcomp/mips/selection.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/power/arch.ml b/asmcomp/power/arch.ml index ae95c284d..4119cab90 100644 --- a/asmcomp/power/arch.ml +++ b/asmcomp/power/arch.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/power/emit.mlp b/asmcomp/power/emit.mlp index ceb269f31..446ae079b 100644 --- a/asmcomp/power/emit.mlp +++ b/asmcomp/power/emit.mlp @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/power/proc.ml b/asmcomp/power/proc.ml index e3c14f353..846a3c03d 100644 --- a/asmcomp/power/proc.ml +++ b/asmcomp/power/proc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/power/reload.ml b/asmcomp/power/reload.ml index 4691edc54..3f74c3f5e 100644 --- a/asmcomp/power/reload.ml +++ b/asmcomp/power/reload.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/power/scheduling.ml b/asmcomp/power/scheduling.ml index 94dc9b4da..31e6f9b22 100644 --- a/asmcomp/power/scheduling.ml +++ b/asmcomp/power/scheduling.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/power/selection.ml b/asmcomp/power/selection.ml index 517da2f64..48b012d96 100644 --- a/asmcomp/power/selection.ml +++ b/asmcomp/power/selection.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/printcmm.ml b/asmcomp/printcmm.ml index 89f9c9ffd..b53b302f7 100644 --- a/asmcomp/printcmm.ml +++ b/asmcomp/printcmm.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/printcmm.mli b/asmcomp/printcmm.mli index 049b858cb..95840dce9 100644 --- a/asmcomp/printcmm.mli +++ b/asmcomp/printcmm.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/printlinear.ml b/asmcomp/printlinear.ml index c22cce623..b44358ca7 100644 --- a/asmcomp/printlinear.ml +++ b/asmcomp/printlinear.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/printlinear.mli b/asmcomp/printlinear.mli index c919b5b2e..952a4dd97 100644 --- a/asmcomp/printlinear.mli +++ b/asmcomp/printlinear.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/printmach.ml b/asmcomp/printmach.ml index c561279ef..f148f2d90 100644 --- a/asmcomp/printmach.ml +++ b/asmcomp/printmach.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/printmach.mli b/asmcomp/printmach.mli index 2125f9bf1..23ddf23db 100644 --- a/asmcomp/printmach.mli +++ b/asmcomp/printmach.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/proc.mli b/asmcomp/proc.mli index d890f1c2d..ba593592b 100644 --- a/asmcomp/proc.mli +++ b/asmcomp/proc.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/reg.ml b/asmcomp/reg.ml index 251ef954c..30a3c7b35 100644 --- a/asmcomp/reg.ml +++ b/asmcomp/reg.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/reg.mli b/asmcomp/reg.mli index 38f2333b0..5bb06f597 100644 --- a/asmcomp/reg.mli +++ b/asmcomp/reg.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/reload.mli b/asmcomp/reload.mli index 1ee270554..a562b4fbc 100644 --- a/asmcomp/reload.mli +++ b/asmcomp/reload.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/reloadgen.ml b/asmcomp/reloadgen.ml index bf9b9acac..1baf47d29 100644 --- a/asmcomp/reloadgen.ml +++ b/asmcomp/reloadgen.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/reloadgen.mli b/asmcomp/reloadgen.mli index e2745f6ad..e84a73d71 100644 --- a/asmcomp/reloadgen.mli +++ b/asmcomp/reloadgen.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/schedgen.ml b/asmcomp/schedgen.ml index 7def330bf..6450b8afd 100644 --- a/asmcomp/schedgen.ml +++ b/asmcomp/schedgen.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/schedgen.mli b/asmcomp/schedgen.mli index 8f02467d4..0f54e2d69 100644 --- a/asmcomp/schedgen.mli +++ b/asmcomp/schedgen.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/scheduling.mli b/asmcomp/scheduling.mli index e2ed0fd83..dd24354ad 100644 --- a/asmcomp/scheduling.mli +++ b/asmcomp/scheduling.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/selectgen.ml b/asmcomp/selectgen.ml index fe4269313..e5b257a33 100644 --- a/asmcomp/selectgen.ml +++ b/asmcomp/selectgen.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* en Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/selectgen.mli b/asmcomp/selectgen.mli index 8d59cea06..45c14f0f6 100644 --- a/asmcomp/selectgen.mli +++ b/asmcomp/selectgen.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/selection.mli b/asmcomp/selection.mli index 8888cafcc..ab17b557d 100644 --- a/asmcomp/selection.mli +++ b/asmcomp/selection.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/sparc/arch.ml b/asmcomp/sparc/arch.ml index 6bd4745ee..aa881cd88 100644 --- a/asmcomp/sparc/arch.ml +++ b/asmcomp/sparc/arch.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/sparc/emit.mlp b/asmcomp/sparc/emit.mlp index 8f92c134e..97347d28a 100644 --- a/asmcomp/sparc/emit.mlp +++ b/asmcomp/sparc/emit.mlp @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/sparc/proc.ml b/asmcomp/sparc/proc.ml index 53cd913a1..c4e153da7 100644 --- a/asmcomp/sparc/proc.ml +++ b/asmcomp/sparc/proc.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/sparc/reload.ml b/asmcomp/sparc/reload.ml index 5d676c8c5..a590ba3ff 100644 --- a/asmcomp/sparc/reload.ml +++ b/asmcomp/sparc/reload.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/sparc/scheduling.ml b/asmcomp/sparc/scheduling.ml index 001b2284d..13be8f965 100644 --- a/asmcomp/sparc/scheduling.ml +++ b/asmcomp/sparc/scheduling.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/sparc/selection.ml b/asmcomp/sparc/selection.ml index 60ad6db32..03bc66ca1 100644 --- a/asmcomp/sparc/selection.ml +++ b/asmcomp/sparc/selection.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1997 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/spill.ml b/asmcomp/spill.ml index 06bc3f0f3..29e2bfadb 100644 --- a/asmcomp/spill.ml +++ b/asmcomp/spill.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/spill.mli b/asmcomp/spill.mli index b6b02f1b2..966d471fd 100644 --- a/asmcomp/spill.mli +++ b/asmcomp/spill.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/split.ml b/asmcomp/split.ml index 6a18a1934..51f19238a 100644 --- a/asmcomp/split.ml +++ b/asmcomp/split.ml @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) diff --git a/asmcomp/split.mli b/asmcomp/split.mli index 2cdcf3c0e..67e0956e8 100644 --- a/asmcomp/split.mli +++ b/asmcomp/split.mli @@ -5,7 +5,8 @@ (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) -(* Automatique. Distributed only by permission. *) +(* en Automatique. All rights reserved. This file is distributed *) +(* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) |