Commits

camlspotter  committed 1f2e2b1

svn rev 11009 3.12.1+dev6 (2011-03-06) from svn (not from tarball)

  • Participants
  • Parent commits 0a3fcc6
  • Branches ocaml-svn-copy

Comments (0)

Files changed (1265)

 
 * First public release.
 
-$Id$
+$Id: Changes 10980 2011-03-13 13:33:17Z xleroy $
 #                                                                       #
 #########################################################################
 
-# $Id$
+# $Id: Makefile 10566 2010-06-16 01:32:26Z garrigue $
 
 # The main Makefile
 
 #                                                                       #
 #########################################################################
 
-# $Id$
+# $Id: Makefile.nt 10616 2010-07-06 10:02:53Z doligez $
 
 # The main Makefile
 
 
 
 ----
-$Id$
+$Id: README 9547 2010-01-22 12:48:24Z doligez $
 # The version string is the first line of this file.
 # It must be in the format described in stdlib/sys.mli
 
-# $Id$
+# $Id: VERSION 10973 2011-03-06 16:17:46Z weis $

File asmcomp/alpha/arch.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: arch.ml 5304 2002-11-29 15:03:37Z xleroy $ *)
 
 (* Specific operations for the Alpha processor *)
 

File asmcomp/alpha/emit.mlp

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: emit.mlp 9547 2010-01-22 12:48:24Z doligez $ *)
 
 module LabelSet =
   Set.Make(struct type t = Linearize.label let compare = compare end)

File asmcomp/alpha/proc.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: proc.ml 10268 2010-04-18 09:02:40Z xleroy $ *)
 
 (* Description of the Alpha processor *)
 

File asmcomp/alpha/reload.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: reload.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
 
 (* Reloading for the Alpha *)
 

File asmcomp/alpha/scheduling.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: scheduling.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
 
 open Arch
 open Mach

File asmcomp/alpha/selection.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: selection.ml 10296 2010-04-22 12:51:06Z xleroy $ *)
 
 (* Instruction selection for the Alpha processor *)
 

File asmcomp/amd64/arch.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: arch.ml 7784 2007-01-01 13:07:35Z xleroy $ *)
 
 (* Machine-specific command-line options *)
 

File asmcomp/amd64/emit.mlp

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: emit.mlp 10980 2011-03-13 13:33:17Z xleroy $ *)
 
 (* Emission of x86-64 (AMD 64) assembly code *)
 

File asmcomp/amd64/emit_nt.mlp

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: emit_nt.mlp 10862 2010-11-27 17:19:24Z xleroy $ *)
 
 (* Emission of x86-64 (AMD 64) assembly code, MASM syntax *)
 

File asmcomp/amd64/proc.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: proc.ml 9547 2010-01-22 12:48:24Z doligez $ *)
 
 (* Description of the AMD64 processor *)
 

File asmcomp/amd64/proc_nt.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: proc_nt.ml 9547 2010-01-22 12:48:24Z doligez $ *)
 
 (* Description of the AMD64 processor with Win64 conventions *)
 

File asmcomp/amd64/reload.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: reload.ml 10460 2010-05-24 15:26:23Z xleroy $ *)
 
 open Cmm
 open Arch

File asmcomp/amd64/scheduling.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: scheduling.ml 5634 2003-06-30 08:28:48Z xleroy $ *)
 
 open Schedgen (* to create a dependency *)
 

File asmcomp/amd64/selection.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: selection.ml 10250 2010-04-08 03:58:41Z garrigue $ *)
 
 (* Instruction selection for the AMD64 *)
 

File asmcomp/arm/arch.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: arch.ml 5304 2002-11-29 15:03:37Z xleroy $ *)
 
 (* Specific operations for the ARM processor *)
 

File asmcomp/arm/emit.mlp

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: emit.mlp 10293 2010-04-22 09:33:18Z xleroy $ *)
 
 (* Emission of ARM assembly code *)
 

File asmcomp/arm/proc.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: proc.ml 9252 2009-05-04 13:46:46Z xleroy $ *)
 
 (* Description of the ARM processor *)
 

File asmcomp/arm/reload.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: reload.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
 
 (* Reloading for the ARM *)
 

File asmcomp/arm/scheduling.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: scheduling.ml 2553 1999-11-17 18:59:06Z xleroy $ *)
 
 open Mach
 

File asmcomp/arm/selection.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: selection.ml 10295 2010-04-22 12:39:40Z xleroy $ *)
 
 (* Instruction selection for the ARM processor *)
 

File asmcomp/asmgen.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: asmgen.ml 9547 2010-01-22 12:48:24Z doligez $ *)
 
 (* From lambda to assembly code *)
 

File asmcomp/asmgen.mli

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: asmgen.mli 8477 2007-11-06 15:16:56Z frisch $ *)
 
 (* From lambda to assembly code *)
 

File asmcomp/asmlibrarian.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: asmlibrarian.ml 10424 2010-05-19 11:29:38Z xleroy $ *)
 
 (* Build libraries of .cmx files *)
 

File asmcomp/asmlibrarian.mli

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: asmlibrarian.mli 3123 2000-04-21 08:13:22Z weis $ *)
 
 (* Build libraries of .cmx files *)
 

File asmcomp/asmlink.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: asmlink.ml 10424 2010-05-19 11:29:38Z xleroy $ *)
 
 (* Link a set of .cmx/.o files and produce an executable *)
 

File asmcomp/asmlink.mli

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: asmlink.mli 10424 2010-05-19 11:29:38Z xleroy $ *)
 
 (* Link a set of .cmx/.o files and produce an executable or a plugin *)
 

File asmcomp/asmpackager.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: asmpackager.ml 10424 2010-05-19 11:29:38Z xleroy $ *)
 
 (* "Package" a set of .cmx/.o files into one .cmx/.o file having the
    original compilation units as sub-modules. *)

File asmcomp/asmpackager.mli

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: asmpackager.mli 7003 2005-08-01 15:51:09Z xleroy $ *)
 
 (* "Package" a set of .cmx/.o files into one .cmx/.o file having the
    original compilation units as sub-modules. *)

File asmcomp/clambda.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: clambda.ml 7812 2007-01-29 12:11:18Z xleroy $ *)
 
 (* A variant of the "lambda" code with direct / indirect calls explicit
    and closures explicit too *)

File asmcomp/clambda.mli

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: clambda.mli 7812 2007-01-29 12:11:18Z xleroy $ *)
 
 (* A variant of the "lambda" code with direct / indirect calls explicit
    and closures explicit too *)

File asmcomp/closure.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: closure.ml 10667 2010-09-02 13:29:21Z xclerc $ *)
 
 (* Introduction of closures, uncurrying, recognition of direct calls *)
 

File asmcomp/closure.mli

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: closure.mli 9547 2010-01-22 12:48:24Z doligez $ *)
 
 (* Introduction of closures, uncurrying, recognition of direct calls *)
 

File asmcomp/cmm.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: cmm.ml 9547 2010-01-22 12:48:24Z doligez $ *)
 
 type machtype_component =
     Addr

File asmcomp/cmm.mli

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: cmm.mli 9547 2010-01-22 12:48:24Z doligez $ *)
 
 (* Second intermediate language (machine independent) *)
 

File asmcomp/cmmgen.ml

 (*                                                                     *)
 (***********************************************************************)
 
-(* $Id$ *)
+(* $Id: cmmgen.ml 10794 2010-11-11 17:08:07Z xleroy $ *)
 
 (* Translation from closed lambda to C-- *)