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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Thu, 19 Jan 2012 09:48:50 +0000 (09:48 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Thu, 19 Jan 2012 09:48:50 +0000 (09:48 +0000)
commit	a84e4fba7daf4f600958487d88f0b733fb19042e
tree	c013c0345304e2adc851b0f446e020249963ae02	tree \| snapshot
parent	3627fb7a0e81c5104ab7d776ded6433349194990	commit \| diff

Add performances counter option

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

include/utils.ml		diff \| blob \| history
src/main.ml		diff \| blob \| history
src/options.ml		diff \| blob \| history
src/options.mli		diff \| blob \| history

XPath Library based on tree automata.