projects
/
SXSI
/
xpathcomp.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
|
snapshot
Add .gitignore file in tests/docs/, since git does not support having
[SXSI/xpathcomp.git]
/
src
/
drwxr-xr-x
..
-rw-r--r--
27493
OCamlDriver.cpp
blob
|
history
|
raw
-rw-r--r--
324
Utils.h
blob
|
history
|
raw
-rw-r--r--
7531
XMLDocShredder.cpp
blob
|
history
|
raw
-rw-r--r--
1768
XMLDocShredder.h
blob
|
history
|
raw
-rw-r--r--
6587
ata.ml
blob
|
history
|
raw
-rw-r--r--
637
ata.mli
blob
|
history
|
raw
-rw-r--r--
2811
cache.ml
blob
|
history
|
raw
-rw-r--r--
742
cache.mli
blob
|
history
|
raw
-rw-r--r--
6686
compile.ml
blob
|
history
|
raw
-rw-r--r--
134
compile.mli
blob
|
history
|
raw
-rw-r--r--
3500
custom.ml
blob
|
history
|
raw
-rw-r--r--
6617
finiteCofinite.ml
blob
|
history
|
raw
-rw-r--r--
1207
finiteCofinite.mli
blob
|
history
|
raw
-rw-r--r--
5461
formula.ml
blob
|
history
|
raw
-rw-r--r--
961
formula.mli
blob
|
history
|
raw
-rw-r--r--
1834
hcons.ml
blob
|
history
|
raw
-rw-r--r--
559
hcons.mli
blob
|
history
|
raw
-rw-r--r--
2578
hlist.ml
blob
|
history
|
raw
-rw-r--r--
756
hlist.mli
blob
|
history
|
raw
-rw-r--r--
8961
l2JIT.ml
blob
|
history
|
raw
-rw-r--r--
1350
l2JIT.mli
blob
|
history
|
raw
-rw-r--r--
31
libcamlshredder.clib
blob
|
history
|
raw
-rw-r--r--
4472
main.ml
blob
|
history
|
raw
-rw-r--r--
1460
memory.ml
blob
|
history
|
raw
-rw-r--r--
557
memory.mli
blob
|
history
|
raw
-rw-r--r--
389
node.ml
blob
|
history
|
raw
-rw-r--r--
305
node.mli
blob
|
history
|
raw
-rw-r--r--
6606
nodeSet.ml
blob
|
history
|
raw
-rw-r--r--
1063
nodeSet.mli
blob
|
history
|
raw
-rw-r--r--
1140
ocaml.ml
blob
|
history
|
raw
-rw-r--r--
70
ocaml.mli
blob
|
history
|
raw
-rw-r--r--
1738
options.ml
blob
|
history
|
raw
-rw-r--r--
421
options.mli
blob
|
history
|
raw
-rw-r--r--
2917
pretty.ml
blob
|
history
|
raw
-rw-r--r--
1041
pretty.mli
blob
|
history
|
raw
-rw-r--r--
343
profile.ml
blob
|
history
|
raw
-rw-r--r--
105
profile.mli
blob
|
history
|
raw
-rw-r--r--
12106
ptset.ml
blob
|
history
|
raw
-rw-r--r--
3146
ptset.mli
blob
|
history
|
raw
-rw-r--r--
9552
resJIT.ml
blob
|
history
|
raw
-rw-r--r--
1401
resJIT.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--
12045
runtime.ml
blob
|
history
|
raw
-rw-r--r--
251
runtime.mli
blob
|
history
|
raw
-rw-r--r--
1623
sigs.mli
blob
|
history
|
raw
-rw-r--r--
366
state.ml
blob
|
history
|
raw
-rw-r--r--
70
state.mli
blob
|
history
|
raw
-rw-r--r--
573
stateSet.ml
blob
|
history
|
raw
-rw-r--r--
80
stateSet.mli
blob
|
history
|
raw
-rw-r--r--
2100
tag.ml
blob
|
history
|
raw
-rw-r--r--
573
tag.mli
blob
|
history
|
raw
-rw-r--r--
844
tagSet.ml
blob
|
history
|
raw
-rw-r--r--
684
tagSet.mli
blob
|
history
|
raw
-rw-r--r--
2082
transition.ml
blob
|
history
|
raw
-rw-r--r--
631
transition.mli
blob
|
history
|
raw
-rw-r--r--
215
translist.ml
blob
|
history
|
raw
-rw-r--r--
19960
tree.ml
blob
|
history
|
raw
-rw-r--r--
2289
tree.mli
blob
|
history
|
raw
-rw-r--r--
238
uid.ml
blob
|
history
|
raw
-rw-r--r--
182
uid.mli
blob
|
history
|
raw
-rw-r--r--
7511
ulexer.ml
blob
|
history
|
raw
-rw-r--r--
860
ulexer.mli
blob
|
history
|
raw
-rw-r--r--
8928
xPath.ml
blob
|
history
|
raw
-rw-r--r--
1050
xPath.mli
blob
|
history
|
raw