projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83e9f9d) | patch
More debugging:
authorKim Nguyễn <kn@lri.fr>
Thu, 12 Apr 2012 14:32:33 +0000 (16:32 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 12 Apr 2012 14:32:33 +0000 (16:32 +0200)
commit1e5a0a6e72f96cf139b6da5511fab850f5da5b84
tree004425bfa8ee6f43466bda4badf29fe0d0ff1602tree | snapshot
parent83e9f9d8f219fece86afbedd1332d5ad97971d1ccommit | diff
More debugging:
     remove progress printing during parsing
     add debuging trace in resJIT (show which node is added to the result set)
src/resJIT.ml diff | blob | history
src/tree.ml diff | blob | history
XPath Library based on tree automata.