projects / SXSI / xpathcomp.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Various fixes for bottom-up run.
[SXSI/xpathcomp.git] / src / runtime.ml
2012-05-02 Kim NguyễnVarious fixes for bottom-up run. blob | commitdiff | raw
2012-04-20 Kim NguyễnMinor code factoring. blob | commitdiff | raw | diff to current
2012-04-20 Kim NguyễnMake constant construtors of L2JIT.opcode CACHE and... blob | commitdiff | raw | diff to current
2012-04-18 Kim NguyễnMisc. rewrites: blob | commitdiff | raw | diff to current
2012-04-06 Kim NguyễnFinish adapting to new libxml-tree API blob | commitdiff | raw | diff to current
2012-04-04 Kim NguyễnBig refactoring of libxml-tree, part (1) (everything... blob | commitdiff | raw | diff to current
2012-04-02 Kim NguyễnOptimize the bottom-up run using a Camlp4 macro instead... blob | commitdiff | raw | diff to current
2012-04-02 Kim NguyễnSilence compiler warning about unused variables. blob | commitdiff | raw | diff to current
2012-04-02 Kim NguyễnUses the Logger.print function instead of Printf.eprintf blob | commitdiff | raw | diff to current
2012-03-20 Kim NguyễnChange the logging infrastructure: blob | commitdiff | raw | diff to current
2012-03-20 Kim NguyễnRename 'Tracer' module to 'Logger'. blob | commitdiff | raw | diff to current
2012-03-19 Kim NguyễnRevert "Remove the need for a NOP operation in automata... blob | commitdiff | raw | diff to current
2012-03-19 Kim NguyễnTemporary commit blob | commitdiff | raw | diff to current
2012-03-16 Kim NguyễnFinaly clean up formula representation. blob | commitdiff | raw | diff to current
2012-03-14 Kim NguyễnSmall refactoring: blob | commitdiff | raw | diff to current
2012-03-14 Kim NguyễnRemove the need for a NOP operation in automata bytecode. blob | commitdiff | raw | diff to current
2012-02-28 Kim NguyễnImprove caching table: blob | commitdiff | raw | diff to current
2012-02-22 Kim NguyễnNew run function based on rank2 grammars: blob | commitdiff | raw | diff to current
2012-02-22 Kim NguyễnFinish porting to the Grammar2 API blob | commitdiff | raw | diff to current
2012-02-22 Kim NguyễnAdds new tracing points in the grammar runtime. blob | commitdiff | raw | diff to current
2012-02-16 Kim NguyễnFirst attempt at having a grammar runtime. blob | commitdiff | raw | diff to current
2012-02-14 kimMerge branch 'local-library-split' into local-trunk trunk blob | commitdiff | raw | diff to current
2012-02-13 kimRevert changes for following-sibling jumping function... blob | commitdiff | raw | diff to current
2012-02-07 kimTemporary commit. blob | commitdiff | raw | diff to current
2012-02-05 kimCreate branch trace-refactor blob | commitdiff | raw | diff to current
2012-02-05 kimAdd tracing infrastructure. blob | commitdiff | raw | diff to current
2012-01-19 kimAdd backward moves in the syntax of the automaton. blob | commitdiff | raw | diff to current
2011-09-09 kimMerge branch 'local-ocamlbuild' into local-trunk blob | commitdiff | raw | diff to current
XPath Library based on tree automata.