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

projects / SXSI / xpathcomp.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Thu, 16 Feb 2012 18:08:19 +0000 (19:08 +0100)
committer	Kim Nguyễn <kn@lri.fr>
	Thu, 16 Feb 2012 18:08:19 +0000 (19:08 +0100)
commit	0578813dc7114276daf382d47661f027c973eb35
tree	89374edf9f7270661eb80903df603ec2f0024613	tree \| snapshot
parent	6df6ad6cf27e57872bd5891b49354acb0a5ce6a4	commit \| diff

First attempt at having a grammar runtime.
Needs more work to optimize array allocation.

src/cache.ml		diff \| blob \| history
src/grammar.ml		diff \| blob \| history
src/grammar.mli		diff \| blob \| history
src/main.ml		diff \| blob \| history
src/ocaml.ml		diff \| blob \| history
src/runtime.ml		diff \| blob \| history
src/runtime.mli		diff \| blob \| history
utils/alarm.ml		diff \| blob \| history

XPath Library based on tree automata.