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

projects / SXSI / xpathcomp.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: b8aa8e7) | patch

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Sun, 26 Apr 2009 15:10:41 +0000 (15:10 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Sun, 26 Apr 2009 15:10:41 +0000 (15:10 +0000)
commit	2676d5a3bbb1e6f6a5af66477edfe3b4c849f4e7
tree	bab843d957a8d5c35c89f387404a6870ecf47909	tree \| snapshot
parent	b8aa8e7f1036cf00d0fadc75ccbe0264bae6c1b2	commit \| diff

Some more optimisations

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@358 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

Makefile		diff \| blob \| history
ata.ml		diff \| blob \| history
hcons.ml		diff \| blob \| history
hcons.mli		diff \| blob \| history
ptset.ml		diff \| blob \| history
tree.ml		diff \| blob \| history
utils.ml		diff \| blob \| history

XPath Library based on tree automata.