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

projects / SXSI / xpathcomp.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Fri, 19 Oct 2012 13:06:54 +0000 (15:06 +0200)
committer	Kim Nguyễn <kn@lri.fr>
	Fri, 19 Oct 2012 13:06:54 +0000 (15:06 +0200)
commit	7d5e0a2c14a95a1fda05bf5c7f8bc7393e9116be
tree	d7ea77317b71e51177e722fc20defc7c1ad91e5d	tree \| snapshot
parent	499800c88fd2cb1b19891f34faf8b52d920630ef	commit \| diff

Also serialize results in counting mode (prints the count in the output file)

src/main.ml		diff \| blob \| history
src/nodeSet.ml		diff \| blob \| history

XPath Library based on tree automata.