diff options
Diffstat (limited to 'testasmcomp')
33 files changed, 90 insertions, 31 deletions
diff --git a/testasmcomp/Makefile b/testasmcomp/Makefile index 28be7445a..ef6f42676 100644 --- a/testasmcomp/Makefile +++ b/testasmcomp/Makefile @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + include ../config/Makefile CAMLC=../boot/ocamlrun ../boot/ocamlc -I ../boot diff --git a/testasmcomp/Makefile.nt b/testasmcomp/Makefile.nt index 3b07dbc0d..c8a9f2999 100644 --- a/testasmcomp/Makefile.nt +++ b/testasmcomp/Makefile.nt @@ -1,3 +1,17 @@ +######################################################################### +# # +# Objective Caml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 1999 Institut National de Recherche en Informatique et # +# en Automatique. All rights reserved. This file is distributed # +# under the terms of the Q Public License version 1.0. # +# # +######################################################################### + +# $Id$ + !include ..\config\Makefile.nt CAMLC=..\boot\ocamlrun ..\boot\ocamlc -I ..\boot diff --git a/testasmcomp/alpha.S b/testasmcomp/alpha.S index d71dd7e38..88bc3c932 100644 --- a/testasmcomp/alpha.S +++ b/testasmcomp/alpha.S @@ -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/testasmcomp/arith.cmm b/testasmcomp/arith.cmm index 5ec4068c7..906edfda8 100644 --- a/testasmcomp/arith.cmm +++ b/testasmcomp/arith.cmm @@ -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/testasmcomp/arm.S b/testasmcomp/arm.S index 96772fb06..64b94a12e 100644 --- a/testasmcomp/arm.S +++ b/testasmcomp/arm.S @@ -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/testasmcomp/checkbound.cmm b/testasmcomp/checkbound.cmm index 159aa4b9c..995b74f8a 100644 --- a/testasmcomp/checkbound.cmm +++ b/testasmcomp/checkbound.cmm @@ -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/testasmcomp/fib.cmm b/testasmcomp/fib.cmm index 001957e3e..b7e64d302 100644 --- a/testasmcomp/fib.cmm +++ b/testasmcomp/fib.cmm @@ -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/testasmcomp/hppa.S b/testasmcomp/hppa.S index b741c4cf9..2b1ab21c6 100644 --- a/testasmcomp/hppa.S +++ b/testasmcomp/hppa.S @@ -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/testasmcomp/i386.S b/testasmcomp/i386.S index 1cd08eef5..f4b65e57a 100644 --- a/testasmcomp/i386.S +++ b/testasmcomp/i386.S @@ -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/testasmcomp/i386nt.asm b/testasmcomp/i386nt.asm index 51272b58c..66550eb8b 100644 --- a/testasmcomp/i386nt.asm +++ b/testasmcomp/i386nt.asm @@ -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/testasmcomp/integr.cmm b/testasmcomp/integr.cmm index 4dde4e684..6dca566ce 100644 --- a/testasmcomp/integr.cmm +++ b/testasmcomp/integr.cmm @@ -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/testasmcomp/lexcmm.mli b/testasmcomp/lexcmm.mli index f84a3a835..a28a57c52 100644 --- a/testasmcomp/lexcmm.mli +++ b/testasmcomp/lexcmm.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/testasmcomp/lexcmm.mll b/testasmcomp/lexcmm.mll index d7f12c3de..75e71d175 100644 --- a/testasmcomp/lexcmm.mll +++ b/testasmcomp/lexcmm.mll @@ -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/testasmcomp/m68k.S b/testasmcomp/m68k.S index 3c11af5b2..436e65e69 100644 --- a/testasmcomp/m68k.S +++ b/testasmcomp/m68k.S @@ -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/testasmcomp/main.c b/testasmcomp/main.c index eeec31653..38a847787 100644 --- a/testasmcomp/main.c +++ b/testasmcomp/main.c @@ -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/testasmcomp/main.ml b/testasmcomp/main.ml index a438dc14f..a37e85dc7 100644 --- a/testasmcomp/main.ml +++ b/testasmcomp/main.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/testasmcomp/mainarith.c b/testasmcomp/mainarith.c index a44d9d951..b5c180b59 100644 --- a/testasmcomp/mainarith.c +++ b/testasmcomp/mainarith.c @@ -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/testasmcomp/mips.s b/testasmcomp/mips.s index 64a5d5063..d32fb4126 100644 --- a/testasmcomp/mips.s +++ b/testasmcomp/mips.s @@ -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/testasmcomp/parsecmm.mly b/testasmcomp/parsecmm.mly index 0c00ee60e..5ad29f2d4 100644 --- a/testasmcomp/parsecmm.mly +++ b/testasmcomp/parsecmm.mly @@ -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/testasmcomp/parsecmmaux.ml b/testasmcomp/parsecmmaux.ml index 371f210a0..8c46888c6 100644 --- a/testasmcomp/parsecmmaux.ml +++ b/testasmcomp/parsecmmaux.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/testasmcomp/parsecmmaux.mli b/testasmcomp/parsecmmaux.mli index 186f7d9df..558996552 100644 --- a/testasmcomp/parsecmmaux.mli +++ b/testasmcomp/parsecmmaux.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/testasmcomp/power-aix.S b/testasmcomp/power-aix.S index b2acafb3c..8d8efa4b6 100644 --- a/testasmcomp/power-aix.S +++ b/testasmcomp/power-aix.S @@ -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/testasmcomp/power-elf.S b/testasmcomp/power-elf.S index 76e984615..994a9fa7b 100644 --- a/testasmcomp/power-elf.S +++ b/testasmcomp/power-elf.S @@ -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/testasmcomp/power-rhapsody.S b/testasmcomp/power-rhapsody.S index fed465203..b45610586 100644 --- a/testasmcomp/power-rhapsody.S +++ b/testasmcomp/power-rhapsody.S @@ -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/testasmcomp/quicksort.cmm b/testasmcomp/quicksort.cmm index cca6eb3d4..7b41aca0d 100644 --- a/testasmcomp/quicksort.cmm +++ b/testasmcomp/quicksort.cmm @@ -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/testasmcomp/quicksort2.cmm b/testasmcomp/quicksort2.cmm index ca41dae71..9352b0e3a 100644 --- a/testasmcomp/quicksort2.cmm +++ b/testasmcomp/quicksort2.cmm @@ -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/testasmcomp/soli.cmm b/testasmcomp/soli.cmm index f44859dc9..93864232d 100644 --- a/testasmcomp/soli.cmm +++ b/testasmcomp/soli.cmm @@ -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/testasmcomp/sparc.S b/testasmcomp/sparc.S index 254875e14..9a829e173 100644 --- a/testasmcomp/sparc.S +++ b/testasmcomp/sparc.S @@ -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/testasmcomp/tagged-fib.cmm b/testasmcomp/tagged-fib.cmm index 5d18a5ea0..e5e45b0fb 100644 --- a/testasmcomp/tagged-fib.cmm +++ b/testasmcomp/tagged-fib.cmm @@ -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/testasmcomp/tagged-integr.cmm b/testasmcomp/tagged-integr.cmm index cce79ebdc..faf33c4cc 100644 --- a/testasmcomp/tagged-integr.cmm +++ b/testasmcomp/tagged-integr.cmm @@ -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/testasmcomp/tagged-quicksort.cmm b/testasmcomp/tagged-quicksort.cmm index 500e49a66..597ed1adc 100644 --- a/testasmcomp/tagged-quicksort.cmm +++ b/testasmcomp/tagged-quicksort.cmm @@ -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/testasmcomp/tagged-tak.cmm b/testasmcomp/tagged-tak.cmm index 667566600..3a6a82a8e 100644 --- a/testasmcomp/tagged-tak.cmm +++ b/testasmcomp/tagged-tak.cmm @@ -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/testasmcomp/tak.cmm b/testasmcomp/tak.cmm index 639956699..34ad5ab54 100644 --- a/testasmcomp/tak.cmm +++ b/testasmcomp/tak.cmm @@ -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. *) (* *) (***********************************************************************) |