projects
/
SXSI
/
xpathcomp.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
snapshot
Added benchmarking funtions,
-rw-r--r--
1476
HACKING
blob
|
history
|
raw
-rw-r--r--
7639
LICENCE
blob
|
history
|
raw
-rw-r--r--
4101
Makefile
blob
|
history
|
raw
-rw-r--r--
25524
OCamlDriver.cpp
blob
|
history
|
raw
-rw-r--r--
324
Utils.h
blob
|
history
|
raw
-rw-r--r--
7222
XMLDocShredder.cpp
blob
|
history
|
raw
-rw-r--r--
1651
XMLDocShredder.h
blob
|
history
|
raw
-rw-r--r--
44400
ata.ml
blob
|
history
|
raw
-rw-r--r--
3328
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--
6650
finiteCofinite.ml
blob
|
history
|
raw
-rw-r--r--
1206
finiteCofinite.mli
blob
|
history
|
raw
-rw-r--r--
1047
hcons.ml
blob
|
history
|
raw
-rw-r--r--
493
hcons.mli
blob
|
history
|
raw
-rw-r--r--
2177
hlist.ml
blob
|
history
|
raw
-rw-r--r--
727
hlist.mli
blob
|
history
|
raw
-rw-r--r--
7582
html_trace.ml
blob
|
history
|
raw
-rw-r--r--
7900
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--
1403
options.ml
blob
|
history
|
raw
-rw-r--r--
345
options.mli
blob
|
history
|
raw
-rw-r--r--
11146
ptset.ml
blob
|
history
|
raw
-rw-r--r--
2928
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--
7951
timeXMLTree.cpp
blob
|
history
|
raw
-rw-r--r--
26323
tree.ml
blob
|
history
|
raw
-rw-r--r--
3532
tree.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