projects / SXSI / xpathcomp.git / tree
? search:


970ca12838c762471dea7377a40e81510f0aea9b
-rw-r--r-- 874 Makefile blob | raw
-rw-r--r-- 8726 benchmark.ml blob | raw
-rw-r--r-- 2080 benchmark.mli blob | raw
-rw-r--r-- 655 config.ml.in blob | raw
-rw-r--r-- 60 depend blob | raw
-rw-r--r-- 3673 main.ml blob | raw
XPath Library based on tree automata.