projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e13f5de) | patch
First implementation of compilation from XPath to automata using
authorKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 15:49:36 +0000 (16:49 +0100)
committerKim Nguyễn <kn@lri.fr>
Mon, 4 Mar 2013 18:02:01 +0000 (19:02 +0100)
commitf49a93deba13602e16a3923695281e9a20215ac8
treeeb3ed46b62e41768c4e32584f5c3cddde8f8337atree | snapshot
parente13f5deae217f945b44fa345ef4f0008e1780787commit | diff
First implementation of compilation from XPath to automata using
the reverse axes technique.
src/auto/ata.ml diff | blob | history
src/test.ml diff | blob | history
src/xpath/ast.ml diff | blob | history
src/xpath/ast.mli diff | blob | history
src/xpath/compile.ml diff | blob | history
src/xpath/compile.mli [new file with mode: 0644] blob
Tree Automata TOOlkit