projects / SXSI / xpathcomp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'handle-stdout'
[SXSI/xpathcomp.git] / include /
2012-10-26 Kim NguyễnMerge branch 'handle-stdout' master tree | commitdiff
2012-10-26 Kim NguyễnMerge branch 'split-options-config' tree | commitdiff
2012-10-26 Kim NguyễnSplit the Options module in two to remove a circular... tree | commitdiff
2012-10-21 Kim NguyễnMerge branch 'master' into pretty-print tree | commitdiff
2012-10-21 Kim NguyễnMerge branch 'master' into pretty-print tree | commitdiff
2012-10-21 Kim NguyễnSplit the Options module in two to remove a circular... tree | commitdiff
2012-10-21 Kim NguyễnWIP on beautyfying the pretty-printing module. tree | commitdiff
2012-10-19 Kim NguyễnCompletely silences the output unless -v is given. tree | commitdiff
2012-04-20 Kim NguyễnChange the read_procmem function to return the stack... tree | commitdiff
2012-04-02 Kim NguyễnAdd efficient compare_int in INCLUDED .ml files. tree | commitdiff
2012-03-20 Kim NguyễnChange the logging infrastructure: tree | commitdiff
2012-03-20 Kim NguyễnRename 'Tracer' module to 'Logger'. tree | commitdiff
2012-02-14 kimMerge branch 'local-library-split' into local-trunk trunk tree | commitdiff
2012-02-14 Kim NguyễnFix compile error in debug mode. tree | commitdiff
2012-02-07 kimTemporary commit. tree | commitdiff
2012-02-05 kimCreate branch trace-refactor tree | commitdiff
2012-02-05 kimAdd tracing infrastructure. tree | commitdiff
2012-01-19 kimAdd performances counter option tree | commitdiff
2011-09-09 kimMerge branch 'local-ocamlbuild' into local-trunk tree | commitdiff
XPath Library based on tree automata.