-rw-r--r-- | 39 | .gitignore | blob | history | raw |
-rw-r--r-- | 1476 | HACKING | blob | history | raw |
-rw-r--r-- | 7639 | LICENCE | blob | history | raw |
-rw-r--r-- | 4689 | Makefile | blob | history | raw |
-rw-r--r-- | 27303 | OCamlDriver.cpp | blob | history | raw |
-rw-r--r-- | 324 | Utils.h | blob | history | raw |
-rw-r--r-- | 7370 | XMLDocShredder.cpp | blob | history | raw |
-rw-r--r-- | 1651 | XMLDocShredder.h | blob | history | raw |
-rw-r--r-- | 43559 | ata.ml | blob | history | raw |
-rw-r--r-- | 3332 | ata.mli | blob | history | raw |
drwxr-xr-x | - | benchmark | tree | history |
-rw-r--r-- | 3500 | custom.ml | blob | history | raw |
-rw-r--r-- | 899 | debug.ml | blob | history | raw |
-rw-r--r-- | 1697 | depend | blob | history | raw |
-rw-r--r-- | 6642 | finiteCofinite.ml | blob | history | raw |
-rw-r--r-- | 1208 | finiteCofinite.mli | blob | history | raw |
-rw-r--r-- | 1297 | hcons.ml | blob | history | raw |
-rw-r--r-- | 576 | hcons.mli | blob | history | raw |
-rw-r--r-- | 2267 | hlist.ml | blob | history | raw |
-rw-r--r-- | 757 | hlist.mli | blob | history | raw |
-rw-r--r-- | 7582 | html_trace.ml | blob | history | raw |
-rw-r--r-- | 9625 | main.ml | blob | history | raw |
-rw-r--r-- | 1464 | memory.ml | blob | history | raw |
-rw-r--r-- | 557 | memory.mli | blob | history | raw |
-rw-r--r-- | 8133 | myTimeXMLTree.cpp | blob | history | raw |
-rw-r--r-- | 1403 | options.ml | blob | history | raw |
-rw-r--r-- | 345 | options.mli | blob | history | raw |
-rw-r--r-- | 11366 | ptset.ml | blob | history | raw |
-rw-r--r-- | 2957 | ptset.mli | blob | history | raw |
-rw-r--r-- | 6272 | results.c | blob | history | raw |
-rw-r--r-- | 645 | results.h | blob | history | raw |
-rw-r--r-- | 1623 | sigs.mli | blob | history | raw |
-rw-r--r-- | 1845 | tag.ml | blob | history | raw |
-rw-r--r-- | 549 | tag.mli | blob | history | raw |
-rw-r--r-- | 835 | tagSet.ml | blob | history | raw |
-rw-r--r-- | 684 | tagSet.mli | blob | history | raw |
drwxr-xr-x | - | tests | tree | history |
-rw-r--r-- | 12894 | timeSXSI.cpp | blob | history | raw |
-rw-r--r-- | 8103 | timeXMLTree.cpp | blob | history | raw |
-rw-r--r-- | 27665 | tree.ml | blob | history | raw |
-rw-r--r-- | 3736 | tree.mli | blob | history | raw |
-rw-r--r-- | 168 | uid.ml | blob | history | raw |
-rw-r--r-- | 140 | uid.mli | blob | history | raw |
-rw-r--r-- | 7721 | ulexer.ml | blob | history | raw |
-rw-r--r-- | 860 | ulexer.mli | blob | history | raw |
-rw-r--r-- | 1352 | unit_test.ml | blob | history | raw |
-rw-r--r-- | 2469 | utils.ml | blob | history | raw |
-rw-r--r-- | 17119 | xPath.ml | blob | history | raw |
-rw-r--r-- | 1726 | xPath.mli | blob | history | raw |