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--	4149	Makefile	blob \| history \| raw
-rw-r--r--	13879	OCamlDriver.cpp	blob \| history \| raw
-rw-r--r--	1457	SXSIStorageInterface.cpp	blob \| history \| raw
-rw-r--r--	1066	SXSIStorageInterface.h	blob \| history \| raw
-rw-r--r--	290	StorageInterface.cpp	blob \| history \| raw
-rw-r--r--	709	StorageInterface.h	blob \| history \| raw
-rw-r--r--	324	Utils.h	blob \| history \| raw
-rw-r--r--	7412	XMLDocShredder.cpp	blob \| history \| raw
-rw-r--r--	1552	XMLDocShredder.h	blob \| history \| raw
-rw-r--r--	30160	ata.ml	blob \| history \| raw
-rw-r--r--	2805	ata.mli	blob \| history \| raw
drwxr-xr-x	-	benchmark	tree \| history
-rw-r--r--	3500	custom.ml	blob \| history \| raw
-rw-r--r--	849	debug.ml	blob \| history \| raw
-rw-r--r--	1465	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--	823	hcons.ml	blob \| history \| raw
-rw-r--r--	386	hcons.mli	blob \| history \| raw
-rw-r--r--	5497	html_header.ml	blob \| history \| raw
-rw-r--r--	4893	main.ml	blob \| history \| raw
-rw-r--r--	1800	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--	1400	options.ml	blob \| history \| raw
-rw-r--r--	345	options.mli	blob \| history \| raw
-rw-r--r--	10943	ptset.ml	blob \| history \| raw
-rw-r--r--	2811	ptset.mli	blob \| history \| raw
-rw-r--r--	10470	ptset_include.ml	blob \| history \| raw
-rw-r--r--	1623	sigs.mli	blob \| history \| raw
-rw-r--r--	1583	tag.ml	blob \| history \| raw
-rw-r--r--	386	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--	24313	tree.ml	blob \| history \| raw
-rw-r--r--	1676	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--	942	utils.ml	blob \| history \| raw
-rw-r--r--	16805	xPath.ml	blob \| history \| raw
-rw-r--r--	1674	xPath.mli	blob \| history \| raw