projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5db22d0) | patch
Rename 'Tracer' module to 'Logger'.
authorKim Nguyễn <kn@lri.fr>
Mon, 19 Mar 2012 17:40:25 +0000 (18:40 +0100)
committerKim Nguyễn <kn@lri.fr>
Tue, 20 Mar 2012 20:15:58 +0000 (21:15 +0100)
commit7c4c61cec6fe1ae3a1b83a59b17ce90adcfe9b0b
treeed49588230e7e7ac81496d8b693c311ed517b46atree | snapshot
parent5db22d04b3c81471dd521537a819da9ce541a171commit | diff
Rename 'Tracer' module to 'Logger'.
15 files changed:
include/log.ml [new file with mode: 0644] blob
include/trace.ml [deleted file] blob | history
myocamlbuild.ml diff | blob | history
src/ata.ml diff | blob | history
src/cache.ml diff | blob | history
src/l2JIT.ml diff | blob | history
src/logger.ml [new file with mode: 0644] blob
src/logger.mli [new file with mode: 0644] blob
src/main.ml diff | blob | history
src/options.ml diff | blob | history
src/options.mli diff | blob | history
src/resJIT.ml diff | blob | history
src/runtime.ml diff | blob | history
src/tracer.ml [deleted file] blob | history
src/tracer.mli [deleted file] blob | history
XPath Library based on tree automata.