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

projects / SXSI / xpathcomp.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Wed, 22 Feb 2012 15:01:05 +0000 (16:01 +0100)
committer	Kim Nguyễn <kn@lri.fr>
	Wed, 22 Feb 2012 15:01:05 +0000 (16:01 +0100)
commit	071e25c710e9a48116f66ddf51bfdca25e20502b
tree	7d1e4e00572062a6266170588e30989a3bd44fd2	tree \| snapshot
parent	791c8ffadb7e65fc61d18e6ad8e497f1cfe46fb3	commit \| diff

Finish porting to the Grammar2 API

src/OCamlDriver.cpp		diff \| blob \| history
src/grammar2.ml		diff \| blob \| history
src/grammar2.mli		diff \| blob \| history
src/main.ml		diff \| blob \| history
src/runtime.ml		diff \| blob \| history
src/runtime.mli		diff \| blob \| history

XPath Library based on tree automata.