projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f481ede) | patch
New run function based on rank2 grammars:
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 16:54:15 +0000 (17:54 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 17:06:22 +0000 (18:06 +0100)
commit960e4daabcffa00ab73a9b0edb7366f16df284ba
tree411a32399075d9ca9f790ea411784ea11729f8b4tree | snapshot
parentf481ede5e31e02fad95d3d0659afb905ed9e03c9commit | diff
New run function based on rank2 grammars:
    - hard-code the fact that there are 7 possible shape for bCNF rules of rank 2
    - avoid allocating arrays to pass parametters around
    - run the Gc less often.
src/grammar2.ml diff | blob | history
src/grammar2.mli diff | blob | history
src/runtime.ml diff | blob | history
XPath Library based on tree automata.