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

projects / SXSI / xpathcomp.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Wed, 14 Mar 2012 18:07:42 +0000 (19:07 +0100)
committer	Kim Nguyễn <kn@lri.fr>
	Fri, 16 Mar 2012 15:08:16 +0000 (16:08 +0100)
commit	95f1e34ef0a9dd4c700c15ae3d5a6054a198b0b1
tree	b1fc889b24f78ec6eb113fc361551bcc99d5c9e9	tree \| snapshot
parent	ae485b9f477ede8c98bef85cc01aec369d285f29	commit \| diff

Finaly clean up formula representation.

src/ata.ml		diff \| blob \| history
src/compile.ml		diff \| blob \| history
src/formula.ml		diff \| blob \| history
src/formula.mli		diff \| blob \| history
src/l2JIT.ml		diff \| blob \| history
src/resJIT.ml		diff \| blob \| history
src/runtime.ml		diff \| blob \| history

XPath Library based on tree automata.