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


c004d221eee1df6a5a3e682bbadd2b70feac4397
-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-- 126 depend blob | raw
-rw-r--r-- 3673 main.ml blob | raw
XPath Library based on tree automata.