projects
/
SXSI
/
xpathcomp.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
snapshot
Further optimisations, changed the prototype of Tree.mli
-rw-r--r--
1476
HACKING
blob
|
history
|
raw
-rw-r--r--
7639
LICENCE
blob
|
history
|
raw
-rw-r--r--
4265
Makefile
blob
|
history
|
raw
-rw-r--r--
15358
OCamlDriver.cpp
blob
|
history
|
raw
-rw-r--r--
1379
SXSIStorageInterface.cpp
blob
|
history
|
raw
-rw-r--r--
1115
SXSIStorageInterface.h
blob
|
history
|
raw
-rw-r--r--
290
StorageInterface.cpp
blob
|
history
|
raw
-rw-r--r--
709
StorageInterface.h
blob
|
history
|
raw
-rw-r--r--
324
Utils.h
blob
|
history
|
raw
-rw-r--r--
7415
XMLDocShredder.cpp
blob
|
history
|
raw
-rw-r--r--
1552
XMLDocShredder.h
blob
|
history
|
raw
-rw-r--r--
31351
ata.ml
blob
|
history
|
raw
-rw-r--r--
2756
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--
1563
depend
blob
|
history
|
raw
-rw-r--r--
5695
finiteCofinite.ml
blob
|
history
|
raw
-rw-r--r--
1119
finiteCofinite.mli
blob
|
history
|
raw
-rw-r--r--
794
hcons.ml
blob
|
history
|
raw
-rw-r--r--
245
hcons.mli
blob
|
history
|
raw
-rw-r--r--
1993
hlist.ml
blob
|
history
|
raw
-rw-r--r--
515
hlist.mli
blob
|
history
|
raw
-rw-r--r--
7318
html_trace.ml
blob
|
history
|
raw
-rw-r--r--
4905
main.ml
blob
|
history
|
raw
-rw-r--r--
1795
memoizer.ml
blob
|
history
|
raw
-rw-r--r--
143
memoizer.mli
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--
1400
options.ml
blob
|
history
|
raw
-rw-r--r--
345
options.mli
blob
|
history
|
raw
-rw-r--r--
10877
ptset.ml
blob
|
history
|
raw
-rw-r--r--
2865
ptset.mli
blob
|
history
|
raw
-rw-r--r--
1623
sigs.mli
blob
|
history
|
raw
-rw-r--r--
1722
tag.ml
blob
|
history
|
raw
-rw-r--r--
434
tag.mli
blob
|
history
|
raw
-rw-r--r--
417
tagSet.ml
blob
|
history
|
raw
-rw-r--r--
642
tagSet.mli
blob
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history
-rw-r--r--
7951
timeXMLTree.cpp
blob
|
history
|
raw
-rw-r--r--
14476
tree.ml
blob
|
history
|
raw
-rw-r--r--
2414
tree.mli
blob
|
history
|
raw
-rw-r--r--
7682
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--
1082
utils.ml
blob
|
history
|
raw
-rw-r--r--
16805
xPath.ml
blob
|
history
|
raw
-rw-r--r--
1674
xPath.mli
blob
|
history
|
raw