git.nguyen.vg Git - SXSI/xpathcomp.git/tree

-rw-r--r--	1476	HACKING	blob \| history \| raw
-rw-r--r--	7639	LICENCE	blob \| history \| raw
-rw-r--r--	4095	Makefile	blob \| history \| raw
-rw-r--r--	13061	OCamlDriver.cpp	blob \| history \| raw
-rw-r--r--	324	Utils.h	blob \| history \| raw
-rw-r--r--	7222	XMLDocShredder.cpp	blob \| history \| raw
-rw-r--r--	1651	XMLDocShredder.h	blob \| history \| raw
-rw-r--r--	31247	ata.ml	blob \| history \| raw
-rw-r--r--	2778	ata.mli	blob \| history \| raw
drwxr-xr-x	-	benchmark	tree \| history
-rw-r--r--	3500	custom.ml	blob \| history \| raw
-rw-r--r--	899	debug.ml	blob \| history \| raw
-rw-r--r--	1563	depend	blob \| history \| raw
-rw-r--r--	5695	finiteCofinite.ml	blob \| history \| raw
-rw-r--r--	1119	finiteCofinite.mli	blob \| history \| raw
-rw-r--r--	794	hcons.ml	blob \| history \| raw
-rw-r--r--	245	hcons.mli	blob \| history \| raw
-rw-r--r--	1993	hlist.ml	blob \| history \| raw
-rw-r--r--	515	hlist.mli	blob \| history \| raw
-rw-r--r--	7574	html_trace.ml	blob \| history \| raw
-rw-r--r--	4689	main.ml	blob \| history \| raw
-rw-r--r--	1795	memoizer.ml	blob \| history \| raw
-rw-r--r--	143	memoizer.mli	blob \| history \| raw
-rw-r--r--	1464	memory.ml	blob \| history \| raw
-rw-r--r--	557	memory.mli	blob \| history \| raw
-rw-r--r--	8133	myTimeXMLTree.cpp	blob \| history \| raw
-rw-r--r--	1403	options.ml	blob \| history \| raw
-rw-r--r--	345	options.mli	blob \| history \| raw
-rw-r--r--	11145	ptset.ml	blob \| history \| raw
-rw-r--r--	2928	ptset.mli	blob \| history \| raw
-rw-r--r--	5876	results.c	blob \| history \| raw
-rw-r--r--	606	results.h	blob \| history \| raw
-rw-r--r--	1623	sigs.mli	blob \| history \| raw
-rw-r--r--	1722	tag.ml	blob \| history \| raw
-rw-r--r--	434	tag.mli	blob \| history \| raw
-rw-r--r--	417	tagSet.ml	blob \| history \| raw
-rw-r--r--	642	tagSet.mli	blob \| history \| raw
drwxr-xr-x	-	tests	tree \| history
-rw-r--r--	7951	timeXMLTree.cpp	blob \| history \| raw
-rw-r--r--	20220	tree.ml	blob \| history \| raw
-rw-r--r--	2896	tree.mli	blob \| history \| raw
-rw-r--r--	7682	ulexer.ml	blob \| history \| raw
-rw-r--r--	860	ulexer.mli	blob \| history \| raw
-rw-r--r--	1352	unit_test.ml	blob \| history \| raw
-rw-r--r--	2005	utils.ml	blob \| history \| raw
-rw-r--r--	16805	xPath.ml	blob \| history \| raw
-rw-r--r--	1674	xPath.mli	blob \| history \| raw