projects / SXSI / xpathcomp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'handle-stdout'
[SXSI/xpathcomp.git] / src / utils.ml
2012-10-26 Kim NguyễnMerge branch 'handle-stdout' master commit | commitdiff
2012-10-26 Kim NguyễnMerge branch 'split-options-config' commit | commitdiff
2012-10-26 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/SXSI/xpathcomp commit | commitdiff
2012-10-26 Kim NguyễnMerge branch 'pretty-print' commit | commitdiff
2012-10-26 Kim NguyễnMerge branch 'reentrent-timing' commit | commitdiff
2012-10-22 Kim NguyễnChange the structure of log messages. Add a new commit | commitdiff
2012-10-21 Kim NguyễnDo not unconditionally flush the current formatting... commit | commitdiff
2012-10-21 Kim NguyễnDo not print number of runs/average/min/max timing... commit | commitdiff
2012-10-21 Kim NguyễnRemove non-reentrant timing function. commit | commitdiff
2012-10-21 Kim NguyễnMake the time function re-entrant. commit | commitdiff
2012-10-21 Kim NguyễnFix indentation in the time function. commit | commitdiff
2012-10-21 Kim NguyễnMerge branch 'master' into pretty-print commit | commitdiff
2012-10-21 Kim NguyễnMerge branch 'master' into pretty-print commit | commitdiff
2012-10-21 Kim NguyễnWIP on beautyfying the pretty-printing module. commit | commitdiff
2012-02-05 kimCreate branch trace-refactor commit | commitdiff
2012-02-05 kimAdd tracing infrastructure. commit | commitdiff
XPath Library based on tree automata.