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

projects / SXSI / xpathcomp.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Thu, 15 Mar 2012 15:07:01 +0000 (16:07 +0100)
committer	Kim Nguyễn <kn@lri.fr>
	Thu, 15 Mar 2012 15:07:01 +0000 (16:07 +0100)
commit	ff99aa3de1810d5607f31f1f7597da78af72b6bf
tree	9facc06cc4b9cca190804414c68cf6349325d3b4	tree \| snapshot
parent	e5684525c6814acc412b582b346d5ee6cb5b6597	commit \| diff

Defunctorize the ResJIT module.

src/main.ml		diff \| blob \| history
src/resJIT.ml		diff \| blob \| history
src/resJIT.mli		diff \| blob \| history
src/runtime.ml		diff \| blob \| history
src/runtime.mli		diff \| blob \| history

XPath Library based on tree automata.