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

projects / SXSI / xpathcomp.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Fri, 20 Apr 2012 14:54:22 +0000 (16:54 +0200)
committer	Kim Nguyễn <kn@lri.fr>
	Fri, 20 Apr 2012 14:54:22 +0000 (16:54 +0200)
commit	35b9abd60699383b0cebf25e905049d3d7027271
tree	dd7dd3cf932c3405ce303bbabbd18b98bd8741d5	tree \| snapshot
parent	689b47b109dc54a78008f589f2c55f98672ab61d	commit \| diff

Add hooks to re-initialize hconsed modules.

src/hcons.ml		diff \| blob \| history
src/hcons.mli		diff \| blob \| history
src/hlist.ml		diff \| blob \| history
src/hlist.mli		diff \| blob \| history
src/nodeSet.ml		diff \| blob \| history
src/ptset.ml		diff \| blob \| history
src/ptset.mli		diff \| blob \| history
src/stateSet.ml		diff \| blob \| history
src/transition.mli		diff \| blob \| history
src/tree.ml		diff \| blob \| history
src/tree.mli		diff \| blob \| history

XPath Library based on tree automata.