projects / SXSI / xpathcomp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Major optimization, rewrite to avoid deep recursion if possible.
[SXSI/xpathcomp.git] / finiteCofinite.ml
2010-04-28 kimSafety commit blob | commitdiff | raw
2009-05-26 kimadded optimisations in the run function blob | commitdiff | raw | diff to current
2009-05-20 kimAdded correct decision procedure blob | commitdiff | raw | diff to current
2009-03-10 kimmerge from branch stable-succint-jumping blob | commitdiff | raw | diff to current
2009-02-09 kimAdded missing files blob | commitdiff | raw | diff to current
XPath Library based on tree automata.