-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-- | 4712 | Makefile | blob | history | raw |
-rw-r--r-- | 27394 | 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-- | 54395 | ata.ml | blob | history | raw |
-rw-r--r-- | 3465 | 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-- | 1298 | 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-- | 9021 | 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-- | 12266 | ptset.ml | blob | history | raw |
-rw-r--r-- | 3156 | ptset.mli | blob | history | raw |
-rw-r--r-- | 6239 | 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-- | 27678 | tree.ml | blob | history | raw |
-rw-r--r-- | 3722 | 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-- | 2536 | utils.ml | blob | history | raw |
-rw-r--r-- | 17119 | xPath.ml | blob | history | raw |
-rw-r--r-- | 1726 | xPath.mli | blob | history | raw |