From owner-p4-projects@FreeBSD.ORG  Fri Sep  9 10:05:43 2005
Return-Path: <owner-p4-projects@FreeBSD.ORG>
X-Original-To: p4-projects@freebsd.org
Delivered-To: p4-projects@freebsd.org
Received: by hub.freebsd.org (Postfix, from userid 32767)
	id AC75A16A421; Fri,  9 Sep 2005 10:05:42 +0000 (GMT)
X-Original-To: perforce@freebsd.org
Delivered-To: perforce@freebsd.org
Received: from mx1.FreeBSD.org (mx1.freebsd.org [216.136.204.125])
	by hub.freebsd.org (Postfix) with ESMTP id 7D57516A41F
	for <perforce@freebsd.org>; Fri,  9 Sep 2005 10:05:42 +0000 (GMT)
	(envelope-from soc-rugang@freebsd.org)
Received: from repoman.freebsd.org (repoman.freebsd.org [216.136.204.115])
	by mx1.FreeBSD.org (Postfix) with ESMTP id 2EF0343D45
	for <perforce@freebsd.org>; Fri,  9 Sep 2005 10:05:42 +0000 (GMT)
	(envelope-from soc-rugang@freebsd.org)
Received: from repoman.freebsd.org (localhost [127.0.0.1])
	by repoman.freebsd.org (8.13.1/8.13.1) with ESMTP id j89A5fXS024181
	for <perforce@freebsd.org>; Fri, 9 Sep 2005 10:05:42 GMT
	(envelope-from soc-rugang@freebsd.org)
Received: (from perforce@localhost)
	by repoman.freebsd.org (8.13.1/8.13.1/Submit) id j89A5f0S024178
	for perforce@freebsd.org; Fri, 9 Sep 2005 10:05:41 GMT
	(envelope-from soc-rugang@freebsd.org)
Date: Fri, 9 Sep 2005 10:05:41 GMT
Message-Id: <200509091005.j89A5f0S024178@repoman.freebsd.org>
X-Authentication-Warning: repoman.freebsd.org: perforce set sender to
	soc-rugang@freebsd.org using -f
From: soc-rugang <soc-rugang@FreeBSD.org>
To: Perforce Change Reviews <perforce@freebsd.org>
Cc: 
Subject: PERFORCE change 83294 for review
X-BeenThere: p4-projects@freebsd.org
X-Mailman-Version: 2.1.5
Precedence: list
List-Id: p4 projects tree changes <p4-projects.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/listinfo/p4-projects>,
	<mailto:p4-projects-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/p4-projects>
List-Post: <mailto:p4-projects@freebsd.org>
List-Help: <mailto:p4-projects-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/p4-projects>,
	<mailto:p4-projects-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Fri, 09 Sep 2005 10:05:43 -0000

http://perforce.freebsd.org/chv.cgi?CH=83294

Change 83294 by soc-rugang@zap on 2005/09/09 10:04:54

	initial files for K
	
	Submitted by: RuGang	
	Obtained from: RuGang 	

Affected files ...

.. //depot/projects/soc2005/K/breaks/Makefile#1 add
.. //depot/projects/soc2005/K/breaks/Makefile.ocaml#1 add
.. //depot/projects/soc2005/K/breaks/Makefile.ocaml.build#1 add
.. //depot/projects/soc2005/K/breaks/doBreaks.ml#1 add
.. //depot/projects/soc2005/K/breaks/main.ml#1 add
.. //depot/projects/soc2005/K/breaks/test/loops.c#1 add
.. //depot/projects/soc2005/K/coupled/Makefile#1 add
.. //depot/projects/soc2005/K/coupled/Makefile.ocaml#1 add
.. //depot/projects/soc2005/K/coupled/Makefile.ocaml.build#1 add
.. //depot/projects/soc2005/K/coupled/doCoupled.ml#1 add
.. //depot/projects/soc2005/K/coupled/main.ml#1 add
.. //depot/projects/soc2005/K/coupled/test/a.out#1 add
.. //depot/projects/soc2005/K/coupled/test/coupled-macros.c#1 add
.. //depot/projects/soc2005/K/coupled/test/coupled.c#1 add
.. //depot/projects/soc2005/K/coupled/test/coupled2.c#1 add
.. //depot/projects/soc2005/K/coupled/test/macro.c#1 add
.. //depot/projects/soc2005/K/coupled/test/test.txt#1 add
.. //depot/projects/soc2005/K/magic/Makefile#1 add
.. //depot/projects/soc2005/K/magic/Makefile.ocaml#1 add
.. //depot/projects/soc2005/K/magic/Makefile.ocaml.build#1 add
.. //depot/projects/soc2005/K/magic/doMagic.ml#1 add
.. //depot/projects/soc2005/K/magic/main.ml#1 add
.. //depot/projects/soc2005/K/magic/test/t1.c#1 add
.. //depot/projects/soc2005/K/magic/test/t2.c#1 add
.. //depot/projects/soc2005/K/magic/test/t3.c#1 add
.. //depot/projects/soc2005/K/pkttypes/Makefile#1 add
.. //depot/projects/soc2005/K/pkttypes/Makefile.ocaml#1 add
.. //depot/projects/soc2005/K/pkttypes/Makefile.ocaml.build#1 add
.. //depot/projects/soc2005/K/pkttypes/alias.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/all-pred.txt#1 add
.. //depot/projects/soc2005/K/pkttypes/blast-trace.cvc#1 add
.. //depot/projects/soc2005/K/pkttypes/cilutils.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/cogent.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/deprecated/CVS/Entries#1 add
.. //depot/projects/soc2005/K/pkttypes/deprecated/CVS/Repository#1 add
.. //depot/projects/soc2005/K/pkttypes/deprecated/CVS/Root#1 add
.. //depot/projects/soc2005/K/pkttypes/deprecated/idom.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/deprecated/pktTypes.ml.stringrep#1 add
.. //depot/projects/soc2005/K/pkttypes/main.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/myDataflow.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/myDom.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/obj/.depend/CVS/Entries#1 add
.. //depot/projects/soc2005/K/pkttypes/obj/.depend/CVS/Repository#1 add
.. //depot/projects/soc2005/K/pkttypes/obj/.depend/CVS/Root#1 add
.. //depot/projects/soc2005/K/pkttypes/obj/CVS/Entries#1 add
.. //depot/projects/soc2005/K/pkttypes/obj/CVS/Repository#1 add
.. //depot/projects/soc2005/K/pkttypes/obj/CVS/Root#1 add
.. //depot/projects/soc2005/K/pkttypes/obj/tmp.txt#1 add
.. //depot/projects/soc2005/K/pkttypes/pktTypes.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/pktTypes.ml.rugang#1 add
.. //depot/projects/soc2005/K/pkttypes/predicate.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/ssaConvert.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/ssaConvert.orig#1 add
.. //depot/projects/soc2005/K/pkttypes/test.cogent#1 add
.. //depot/projects/soc2005/K/pkttypes/testPred.txt#1 add
.. //depot/projects/soc2005/K/pkttypes/theoremProver.ml#1 add
.. //depot/projects/soc2005/K/pkttypes/tmp.txt#1 add
.. //depot/projects/soc2005/K/pkttypes/typescript#1 add
.. //depot/projects/soc2005/K/utils/Makefile#1 add
.. //depot/projects/soc2005/K/utils/biDirectionalLabeledGraph.cmi#1 add
.. //depot/projects/soc2005/K/utils/biDirectionalLabeledGraph.ml#1 add
.. //depot/projects/soc2005/K/utils/biDirectionalLabeledGraph.mli#1 add
.. //depot/projects/soc2005/K/utils/biDirectionalLabeledTree.cmi#1 add
.. //depot/projects/soc2005/K/utils/biDirectionalLabeledTree.ml#1 add
.. //depot/projects/soc2005/K/utils/biDirectionalLabeledTree.mli#1 add
.. //depot/projects/soc2005/K/utils/bstats.cmi#1 add
.. //depot/projects/soc2005/K/utils/bstats.ml#1 add
.. //depot/projects/soc2005/K/utils/bstats.mli#1 add
.. //depot/projects/soc2005/K/utils/heap.cmi#1 add
.. //depot/projects/soc2005/K/utils/heap.ml#1 add
.. //depot/projects/soc2005/K/utils/jniUtils.ml#1 add
.. //depot/projects/soc2005/K/utils/libutils.a#1 add
.. //depot/projects/soc2005/K/utils/libutils.cma#1 add
.. //depot/projects/soc2005/K/utils/libutils.cmxa#1 add
.. //depot/projects/soc2005/K/utils/message.cmi#1 add
.. //depot/projects/soc2005/K/utils/message.ml#1 add
.. //depot/projects/soc2005/K/utils/message.mli#1 add
.. //depot/projects/soc2005/K/utils/misc.cmi#1 add
.. //depot/projects/soc2005/K/utils/misc.ml#1 add
.. //depot/projects/soc2005/K/utils/misc.mli#1 add
.. //depot/projects/soc2005/K/utils/options.cmi#1 add
.. //depot/projects/soc2005/K/utils/options.ml#1 add
.. //depot/projects/soc2005/K/utils/options.mli#1 add
.. //depot/projects/soc2005/K/utils/search.cmi#1 add
.. //depot/projects/soc2005/K/utils/search.ml#1 add

Differences ...