projects
/
SXSI
/
xpathcomp.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge branch 'handle-stdout'
[SXSI/xpathcomp.git]
/ src
2012-10-26
Kim Nguyễn
Merge branch 'handle-stdout'
master
commit
|
commitdiff
2012-10-26
Kim Nguyễn
Merge branch 'master' of ssh://git.nguyen.vg/SXSI/xpathcomp
commit
|
commitdiff
2012-10-26
Kim Nguyễn
Merge branch 'split-options-config'
commit
|
commitdiff
2012-10-26
Kim Nguyễn
Split the Options module in two to remove a circular...
commit
|
commitdiff
2012-10-26
Kim Nguyễn
Use attribute force_align_arg_pointer only for architec...
commit
|
commitdiff
2012-10-26
Kim Nguyễn
Merge branch 'master' of ssh://git.nguyen.vg/SXSI/xpathcomp
commit
|
commitdiff
2012-10-26
Kim Nguyễn
Merge branch 'pretty-print'
commit
|
commitdiff
2012-10-26
Kim Nguyễn
Merge branch 'reentrent-timing'
commit
|
commitdiff
2012-10-23
Kim Nguyẽn
Fix a subtle bug where OCaml/C function stack are not...
commit
|
commitdiff
2012-10-22
Kim Nguyễn
Change the structure of log messages. Add a new
commit
|
commitdiff
2012-10-21
Kim Nguyễn
Do not unconditionally flush the current formatting...
commit
|
commitdiff
2012-10-21
Kim Nguyễn
Do not print number of runs/average/min/max timing...
commit
|
commitdiff
2012-10-21
Kim Nguyễn
Remove non-reentrant timing function.
commit
|
commitdiff
2012-10-21
Kim Nguyễn
Make the time function re-entrant.
commit
|
commitdiff
2012-10-21
Kim Nguyễn
Fix indentation in the time function.
commit
|
commitdiff
2012-10-21
Kim Nguyễn
Merge branch 'master' into pretty-print
commit
|
commitdiff
2012-10-21
Kim Nguyễn
Forgot to add the new src/config.ml file.
commit
|
commitdiff
2012-10-21
Kim Nguyễn
Merge branch 'master' into pretty-print
commit
|
commitdiff
2012-10-21
Kim Nguyễn
Split the Options module in two to remove a circular...
commit
|
commitdiff
2012-10-21
Kim Nguyễn
WIP on beautyfying the pretty-printing module.
commit
|
commitdiff
2012-10-20
Kim Nguyễn
Support '-' on the command line as an aliase for /dev...
commit
|
commitdiff
2012-10-19
Kim Nguyễn
Add option -nw control the wrapping of results in an...
commit
|
commitdiff
2012-10-19
Kim Nguyễn
Completely silences the output unless -v is given.
commit
|
commitdiff
2012-10-19
Kim Nguyễn
Fix bug in the handling of element-subtree lazy result...
non-regression-tests
commit
|
commitdiff
2012-10-19
Kim Nguyễn
Also serialize results in counting mode (prints the...
commit
|
commitdiff
2012-10-17
Kim Nguyễn
Follow the changes in XMLTree API: xml_tree::subtree_el...
track-xml-tree-better-doc
commit
|
commitdiff
2012-10-17
Kim Nguyễn
Silence a format-related warning (%i -> %lu).
commit
|
commitdiff
2012-10-17
Kim Nguyễn
Fix the path to the #included bp.h (bp/bp.h -> libbp...
commit
|
commitdiff
2012-10-13
Kim Nguyễn
Add runtime assertion to check that values passed to...
commit
|
commitdiff
2012-10-12
Kim Nguyễn
Fix a nasty bug where the wrong pointer was passed...
commit
|
commitdiff
2012-10-12
Kim Nguyễn
Merge branch 'master' of ssh://git.nguyen.vg/home/kim...
commit
|
commitdiff
2012-10-12
Kim Nguyễn
Add a test program for experimenting with lexicographic...
commit
|
commitdiff
2012-07-24
Kim Nguyễn
Remove all traces of Tom's Grammar.
commit
|
commitdiff
2012-07-24
Kim Nguyễn
Change incorrect english in error message.
commit
|
commitdiff
2012-05-29
Kim Nguyễn
Fix typo in debugging message.
commit
|
commitdiff
2012-05-29
Kim Nguyễn
Add command line option to disable caching and jumping
commit
|
commitdiff
2012-05-29
Kim Nguyễn
Bump file format magic number, invalidate all previousl...
commit
|
commitdiff
2012-05-04
Kim Nguyễn
Add -doc-stats options to print document statistics.
commit
|
commitdiff
2012-05-04
Kim Nguyễn
Add support for multiline XPath queries.
commit
|
commitdiff
2012-05-02
Kim Nguyễn
Various fixes for bottom-up run.
commit
|
commitdiff
2012-05-02
Kim Nguyễn
Various improvements:
commit
|
commitdiff
2012-05-02
Kim Nguyễn
Add more logging statements.
commit
|
commitdiff
2012-05-02
Kim Nguyễn
Add 'bottom-up' logging level.
commit
|
commitdiff
2012-05-02
Kim Nguyễn
Add a command line option to disable the indexing of...
commit
|
commitdiff
2012-05-02
Kim Nguyễn
Don't flush the XML printing buffer if nothing was...
commit
|
commitdiff
2012-04-24
Kim Nguyễn
Revert "Call directly the low-level subtree_elements...
commit
|
commitdiff
2012-04-24
Kim Nguyễn
Call directly the low-level subtree_elements function...
commit
|
commitdiff
2012-04-20
Kim Nguyễn
Add hooks to re-initialize hconsed modules.
commit
|
commitdiff
2012-04-20
Kim Nguyễn
Replace \n by @\n in log message.
commit
|
commitdiff
2012-04-20
Kim Nguyễn
Minor code factoring.
commit
|
commitdiff
2012-04-20
Kim Nguyễn
Favor {first,next}_element calls instead of select_...
commit
|
commitdiff
2012-04-20
Kim Nguyễn
Make constant construtors of L2JIT.opcode CACHE and...
commit
|
commitdiff
2012-04-20
Kim Nguyễn
Use better defaults for top-down cache size.
commit
|
commitdiff
2012-04-20
Kim Nguyễn
Add -r <n> option to repeat the query execution n times.
commit
|
commitdiff
2012-04-18
Kim Nguyễn
Add utility header file.
new-xml-tree
commit
|
commitdiff
2012-04-18
Kim Nguyễn
Change from unordered_set<tag> to int array in low...
commit
|
commitdiff
2012-04-18
Kim Nguyễn
Change the ifndef guard from FOO_H_ to FOO_HPP_ to...
commit
|
commitdiff
2012-04-18
Kim Nguyễn
Misc. rewrites:
commit
|
commitdiff
2012-04-12
Kim Nguyễn
Encapsulate serialization results around with <xml_resu...
commit
|
commitdiff
2012-04-12
Kim Nguyễn
More debugging:
commit
|
commitdiff
2012-04-06
Kim Nguyễn
Finish adapting to new libxml-tree API
commit
|
commitdiff
2012-04-04
Kim Nguyễn
Big refactoring of libxml-tree, part (1) (everything...
commit
|
commitdiff
2012-04-02
Kim Nguyễn
Optimize the bottom-up run using a Camlp4 macro instead...
commit
|
commitdiff
2012-04-02
Kim Nguyễn
Silence compiler warning about unused variables.
commit
|
commitdiff
2012-04-02
Kim Nguyễn
Uses the Logger.print function instead of Printf.eprintf
commit
|
commitdiff
2012-04-02
Kim Nguyễn
Add text() and node() tokens in the lexer to allow...
commit
|
commitdiff
2012-04-02
Kim Nguyễn
Fix bug where the Lvl2 Cache got corrupted upon resizing.
commit
|
commitdiff
2012-04-02
Kim Nguyễn
Remove unused memory profiling code.
commit
|
commitdiff
2012-03-20
Kim Nguyễn
Change the logging infrastructure:
commit
|
commitdiff
2012-03-20
Kim Nguyễn
Rename 'Tracer' module to 'Logger'.
commit
|
commitdiff
2012-03-19
Kim Nguyễn
Revert "Remove the need for a NOP operation in automata...
commit
|
commitdiff
2012-03-19
Kim Nguyễn
Temporary commit
commit
|
commitdiff
2012-03-16
Kim Nguyễn
Finaly clean up formula representation.
commit
|
commitdiff
2012-03-14
Kim Nguyễn
Make the tree/text interface more flexible to various...
commit
|
commitdiff
2012-03-14
Kim Nguyễn
Small refactoring:
commit
|
commitdiff
2012-03-14
Kim Nguyễn
Remove the need for a NOP operation in automata bytecode.
commit
|
commitdiff
2012-03-14
Kim Nguyễn
Clean-up Hcons module:
commit
|
commitdiff
2012-03-14
Kim Nguyễn
Add iteri function to traverse cache data structures.
commit
|
commitdiff
2012-03-14
Kim Nguyễn
Sort and remove duplicate from text query results ...
commit
|
commitdiff
2012-03-14
Kim Nguyễn
Add a C implementation of leading_bit and clz to optimi...
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Add text-attribute tags to the star tagset.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Put grammar stuff.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Update parsing of tree.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Cosmetic changes.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Cosmetic changes.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Add grammar related function to result sets (2/2).
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Add grammar related function to result sets.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Update to new caching infrastructure.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Temporary commit for grammar stuff.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Small optimization (replace lor 1 by + 1)
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Pass debugging flags to malloc.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Update caching infrastructure to automatically resize...
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Cosmetic changes.
commit
|
commitdiff
2012-03-01
Kim Nguyễn
Cosmetic change.
commit
|
commitdiff
2012-02-28
Kim Nguyễn
Improve caching table:
commit
|
commitdiff
2012-02-22
Kim Nguyễn
Remove support for outdated libGrammar, replaced by...
commit
|
commitdiff
2012-02-22
Kim Nguyễn
New run function based on rank2 grammars:
commit
|
commitdiff
2012-02-22
Kim Nguyễn
Add function to query the memory usage of the BP structure.
commit
|
commitdiff
2012-02-22
Kim Nguyễn
Finish porting to the Grammar2 API
commit
|
commitdiff
2012-02-22
Kim Nguyễn
Add function to cast tags to integers.
commit
|
commitdiff
next