projects
/
SXSI
/
xpathcomp.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
snapshot
Eta expand (land) and (lor) to fun a b -> a land b
-rw-r--r--
7639
LICENCE
blob
|
history
|
raw
-rw-r--r--
3121
Makefile
blob
|
history
|
raw
-rw-r--r--
7001
OCamlDriver.cpp
blob
|
history
|
raw
-rw-r--r--
1414
SXSIStorageInterface.cpp
blob
|
history
|
raw
-rw-r--r--
859
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--
7305
XMLDocShredder.cpp
blob
|
history
|
raw
-rw-r--r--
1481
XMLDocShredder.h
blob
|
history
|
raw
-rw-r--r--
13167
automaton.ml
blob
|
history
|
raw
-rw-r--r--
2570
automaton.mli
blob
|
history
|
raw
drwxr-xr-x
-
benchmark
tree
|
history
-rw-r--r--
1014
debug.ml
blob
|
history
|
raw
-rw-r--r--
757
depend
blob
|
history
|
raw
-rw-r--r--
651
intSet.ml
blob
|
history
|
raw
-rw-r--r--
520
intSet.mli
blob
|
history
|
raw
-rw-r--r--
2553
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--
2329
tag.ml
blob
|
history
|
raw
-rw-r--r--
735
tag.mli
blob
|
history
|
raw
-rw-r--r--
5367
tagSet.ml
blob
|
history
|
raw
-rw-r--r--
1576
tagSet.mli
blob
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history
-rw-r--r--
15996
tree.ml
blob
|
history
|
raw
-rw-r--r--
1299
tree.mli
blob
|
history
|
raw
-rw-r--r--
7556
ulexer.ml
blob
|
history
|
raw
-rw-r--r--
860
ulexer.mli
blob
|
history
|
raw
-rw-r--r--
13005
xPath.ml
blob
|
history
|
raw
-rw-r--r--
1588
xPath.mli
blob
|
history
|
raw