projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cb90d64) | patch
Update caching infrastructure to automatically resize when needed.
authorKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:25:56 +0000 (14:25 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:25:56 +0000 (14:25 +0100)
commit895a134ffb8274e9abba18fec9780142fcb5a937
tree922d1f33989955295edd798b774cc97f875f78d5tree | snapshot
parentcb90d64919eb8ebe56aecfec3a1a8af86642df04commit | diff
Update caching infrastructure to automatically resize when needed.
src/cache.ml diff | blob | history
src/cache.mli diff | blob | history
XPath Library based on tree automata.