PERFORCE change 83294 for review

[soc-rugang]

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

Change 83294 by soc-rugang at 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 ...