git.nguyen.vg Git - SXSI/xpathcomp.git/commit - src/tree.ml

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Tue, 7 Feb 2012 17:23:28 +0000 (17:23 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Tue, 7 Feb 2012 17:23:28 +0000 (17:23 +0000)
commit	a6baedc6c67cb1de0587a779f8bcddf276b0bf4c
tree	c6f5aac92c8652bb9c7adfdcdff273e6bd900c08	tree \| snapshot
parent	63db110485e97e189313abd1a6ce1bedf941d76d	commit \| diff

Temporary commit.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/branches/xpathcomp/trace-refactor@1197 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

include/trace.ml		diff \| blob \| history
src/OCamlDriver.cpp		diff \| blob \| history
src/ata.ml		diff \| blob \| history
src/l2JIT.ml		diff \| blob \| history
src/resJIT.ml		diff \| blob \| history
src/runtime.ml		diff \| blob \| history
src/tracer.ml		diff \| blob \| history
src/tree.ml		diff \| blob \| history
src/tree.mli		diff \| blob \| history

XPath Library based on tree automata.