-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-- | 4713 | Makefile | blob | history | raw |
-rw-r--r-- | 27273 | 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-- | 46197 | 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-- | 997 | hcons.ml | blob | history | raw |
-rw-r--r-- | 502 | hcons.mli | blob | history | raw |
-rw-r--r-- | 2204 | hlist.ml | blob | history | raw |
-rw-r--r-- | 729 | hlist.mli | blob | history | raw |
-rw-r--r-- | 7582 | html_trace.ml | blob | history | raw |
-rw-r--r-- | 9650 | 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-- | 11266 | ptset.ml | blob | history | raw |
-rw-r--r-- | 2931 | 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-- | 1827 | tag.ml | blob | history | raw |
-rw-r--r-- | 536 | 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-- | 27650 | tree.ml | blob | history | raw |
-rw-r--r-- | 3736 | tree.mli | blob | history | raw |
-rw-r--r-- | 105 | uid.ml | blob | history | raw |
-rw-r--r-- | 83 | 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-- | 2367 | utils.ml | blob | history | raw |
-rw-r--r-- | 17119 | xPath.ml | blob | history | raw |
-rw-r--r-- | 1726 | xPath.mli | blob | history | raw |