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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Tue, 10 Mar 2009 00:30:18 +0000 (00:30 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Tue, 10 Mar 2009 00:30:18 +0000 (00:30 +0000)
commit	dc91851aaeac91a71eba2c266d0227adea0c5815
tree	16aef5c78869b780716c69d9854ef017cd0f1776	tree \| snapshot
parent	5cc0fe57953445af433b00023e5f4b6c1d0fe549	commit \| diff

merge from branch stable-succint-jumping

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

23 files changed:

Makefile		diff \| blob \| history
OCamlDriver.cpp		diff \| blob \| history
ata.ml		diff \| blob \| history
ata.mli		diff \| blob \| history
debug.ml		diff \| blob \| history
finiteCofinite.ml		diff \| blob \| history
finiteCofinite.mli		diff \| blob \| history
main.ml		diff \| blob \| history
options.ml		diff \| blob \| history
options.mli		diff \| blob \| history
ptset.ml		diff \| blob \| history
ptset.mli		diff \| blob \| history
tag.mli		diff \| blob \| history
tagSet.ml		diff \| blob \| history
tagSet.mli		diff \| blob \| history
tests/test.xml		diff \| blob \| history
tests/xpathmark.sh		diff \| blob \| history
tree.ml		diff \| blob \| history
tree.mli		diff \| blob \| history
ulexer.ml		diff \| blob \| history
unit_test.ml		diff \| blob \| history
xPath.ml		diff \| blob \| history
xPath.mli		diff \| blob \| history

XPath Library based on tree automata.