Merge branch 'handle-stdout'
[SXSI/xpathcomp.git] / src / l2JIT.ml
2012-10-26 Kim NguyễnMerge branch 'handle-stdout' master
2012-10-26 Kim NguyễnSplit the Options module in two to remove a circular...
2012-10-21 Kim NguyễnMerge branch 'master' into pretty-print
2012-10-21 Kim NguyễnSplit the Options module in two to remove a circular...
2012-10-19 Kim NguyễnCompletely silences the output unless -v is given.
2012-05-29 Kim NguyễnAdd command line option to disable caching and jumping
2012-04-20 Kim NguyễnFavor {first,next}_element calls instead of select_...
2012-04-20 Kim NguyễnMake constant construtors of L2JIT.opcode CACHE and...
2012-04-20 Kim NguyễnUse better defaults for top-down cache size.
2012-04-18 Kim NguyễnChange from unordered_set<tag> to int array in low...
2012-04-04 Kim NguyễnBig refactoring of libxml-tree, part (1) (everything...
2012-03-20 Kim NguyễnChange the logging infrastructure:
2012-03-20 Kim NguyễnRename 'Tracer' module to 'Logger'.
2012-03-19 Kim NguyễnRevert "Remove the need for a NOP operation in automata...
2012-03-16 Kim NguyễnFinaly clean up formula representation.
2012-03-14 Kim NguyễnRemove the need for a NOP operation in automata bytecode.
2012-02-28 Kim NguyễnImprove caching table:
2012-02-14 kimMerge branch 'local-library-split' into local-trunk trunk
2012-02-07 kimTemporary commit.
2011-09-09 kimMerge branch 'local-ocamlbuild' into local-trunk