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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 28 Apr 2010 06:45:56 +0000 (06:45 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 28 Apr 2010 06:45:56 +0000 (06:45 +0000)
commit	92fa1dfd894ed2903541d665bd40919ae154f285
tree	555e6e875cb404606329b90a14da13c8f8493f07	tree \| snapshot
parent	53691cf70378877961b99828f006399801ad4968	commit \| diff

Exception less mainloop in ata.ml

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

14 files changed:

Makefile		diff \| blob \| history
ata.ml		diff \| blob \| history
hcons.ml		diff \| blob \| history
hcons.mli		diff \| blob \| history
hlist.ml		diff \| blob \| history
hlist.mli		diff \| blob \| history
main.ml		diff \| blob \| history
ptset.ml		diff \| blob \| history
ptset.mli		diff \| blob \| history
tag.ml		diff \| blob \| history
tag.mli		diff \| blob \| history
tree.ml		diff \| blob \| history
uid.ml		diff \| blob \| history
uid.mli		diff \| blob \| history

XPath Library based on tree automata.