Merge branch 'handle-stdout'

Allows to pass - as stdout.

Merge branch 'master' of ssh://git.nguyen.vg/SXSI/xpathcomp

Merge branch 'split-options-config'

Conflicts:
src/main.ml
src/runtime.ml

Split the Options module in two to remove a circular dependency in
the pretty-printing module:
    Options depends on Logger to have the list of all logs levels
    Logger depends on Options to check whether we are in verbose mode
    or not.
Split:
      Config options holds the references storing the options
      Options only handles the parsing of the command line

Use attribute force_align_arg_pointer only for architectures where it
is defined (currently x86).

Merge branch 'master' of ssh://git.nguyen.vg/SXSI/xpathcomp
Incorporate changes needed to make the code behave on x86.

Merge branch 'pretty-print'

This branch reworks the pretty-printing infrastructure. This allows to give
the printer of log messages more control on format's boxes (which is necessary
for proper display).

Merge branch 'reentrent-timing'

The work in this branch makes the timing function re-entrant. It is now
possible to do (Utils.time f x ~msg:"Timing f") where f does
(Utils.time g y ~msg:"Timing g") and time will properly print out the timing
for g and f (in that order) when f returns.

Fix a subtle bug where OCaml/C function stack are not aligned on a 16 byte
boundary. This causes problem when calling optimized C code (in e.g. libcds)
where g++ assumed that all stacks are alligned on a 16 byte boundary (to use
instructions such as movaps freely).

Do not pass -fno-PIC when compiling for x86 (since the option is
only valid for amd64)

Change the structure of log messages. Add a new
Logger.start_msg/Logger.msg/Logger.end_msg to have more controle about
box/opening/closing.

Do not unconditionally flush the current formatting in logger.
Leave that responsibility to the caller.

Do not print number of runs/average/min/max timing when a function
is only timed once.

Remove non-reentrant timing function.

Make the time function re-entrant.

Fix indentation in the time function.
Use Utils.time instead of the one INCLUDED "utils.ml"

Merge branch 'master' into pretty-print
      New merge to add the forgotten src/config.ml

Forgot to add the new src/config.ml file.

Merge branch 'master' into pretty-print

Split the Options module in two to remove a circular dependency in
the pretty-printing module:
    Options depends on Logger to have the list of all logs levels
    Logger depends on Options to check whether we are in verbose mode
    or not.
Split:
      Config options holds the references storing the options
      Options only handles the parsing of the command line

WIP on beautyfying the pretty-printing module.
    move the reading of /proc/<pid>/status in the Utils module
    work to move the timing function in there too.

Support '-' on the command line as an aliase for /dev/stdout.

Clean-up temporary files after testing.

Make the non-regression testing more robust by feeding the output
of the reference XML engine into SXSI to produce the output of
'/child::*'. This allows to serialize again the XML document in
the exact same way as SXSI, allowing to use a simple diff to check
for differences in the output.

Add option -nw control the wrapping of results in an <xml_result/> node.

Completely silences the output unless -v is given.

Fix bug in the handling of element-subtree lazy result sets.

Also serialize results in counting mode (prints the count in the output file)

Add test docs.

Add non-regression testing infrastructures and first tests.

Add explicitely index files in the main .gitignore
remove directory local gitignore file.

Remove the tests directory from the .gitignore file.

Fix the xpath script to enclose results in an <xml_result></xml_result> element

Rename directory non_regression_tests to comparison_tests

Follow the changes in XMLTree API: xml_tree::subtree_elements() does
not require an extra array of attributes anymore.

Silence a format-related warning (%i -> %lu).

Fix the path to the #included bp.h (bp/bp.h -> libbp/bp.h)

Change configure to reflect name change in the bp library
(bp become libbp).

Add runtime assertion to check that values passed to Obj_val()
are indeed custom blocks.

Fix a nasty bug where the wrong pointer was passed to the C side.

BUG closed: [fc7c30b] Wrong display of empty attributes.

BUG added: [fc7c30b28705] Wrong display of empty attributes.

BUG closed: [59c2eb8] Wrong result for jumping from root

Merge branch 'master' of ssh://git.nguyen.vg/home/kim/repository/SXSI/xpathcomp

Ignore everything under test.

Add a test program for experimenting with lexicographic indices.

Remove all traces of Tom's Grammar.

Change incorrect english in error message.

BUG added: [59c2eb816cf4] Wrong result for jumping from root

Add tests for wordbased index.

Fix bug in commandline parsing.

Rework test scripts

Fix typo in debugging message.

Add command line option to disable caching and jumping

Bump file format magic number, invalidate all previously generated indexes.

Add -doc-stats options to print document statistics.

Add support for multiline XPath queries.

BUG added: [2c899aa21af4] OCamlbuild dependencies

Fixes on queries and test scripts to handle old versions of SXSI.

Various fixes for bottom-up run.

Various improvements:
- Store the set of attributes in a TLIST instead of a Ptset.Int.t
- Add a C trim function for string (to remove whitespaces left and right)
- Rewrite the text_query wrappers.

Add more logging statements.

Add 'bottom-up' logging level.

Add a command line option to disable the indexing of ignorable whitespaces.

Don't flush the XML printing buffer if nothing was printed.

Add word-based index auxiliary index files to .gitignore.

Revert "Call directly the low-level subtree_elements function instead of"

This reverts commit d6c57f01eabebe2b11e1c701835562c2efc2fd92.
The tentative fix for performance regression is buggy and make things slower.

BUG reopened: [a3fdf1a] Performance regression

BUG closed: [a3fdf1a] Performance regression

Call directly the low-level subtree_elements function instead of
re-implementing it in ocaml.
Fixes bug: a3fdf1a5  Performance regression

BUG added: [2a89b3b569f4] duplicate interface definitions

BUG added: [a3fdf1a569f4] Performance regression

Initialized bug tracker

Add hooks to re-initialize hconsed modules.

Replace \n by @\n in log message.
Remove the tracing code around exec (ocaml generate less efficient code
even for noops).

Minor code factoring.
Call Ata.init() before a global top-down run to clear global cache.

Favor {first,next}_element calls instead of select_{descendant,following_below},
when the set of target tags is large (esp. it contains everything but attributes).

Make constant construtors of L2JIT.opcode CACHE and RETURN be take a
dummy unit argument. This improves the code generated for the pattern
matching in l2jit_dispatch (in runtime.ml).
Replaces inline macros LOOP and LOOP_TAG with function calls.

Use better defaults for top-down cache size.

Add -r <n> option to repeat the query execution n times.

Change the read_procmem function to return the stack size of the process
not the heap size.

Add performance regression test script.

Change the inlining
Remove dependency on pkg-config

Add utility header file.

Change from unordered_set<tag> to int array in low-level select_* functions.

Change the ifndef guard from FOO_H_ to FOO_HPP_ to keep it consistent with
the filename.

Misc. rewrites:
      - cosmetic changes tab -> whitespaces
      - more logging

Encapsulate serialization results around with <xml_result>...</xml_result>

More debugging:
     remove progress printing during parsing
     add debuging trace in resJIT (show which node is added to the result set)

Finish adapting to new libxml-tree API
       - Code is much cleaner
       - Speed is mostly the same, often faster but two offenders:
       Q9 : 155 -> 190ms
       Q28: 2s -> 3.5 s
       Need to be investigated.

Big refactoring of libxml-tree, part (1) (everything compiles)

Optimize the bottom-up run using a Camlp4 macro instead of an
(un-inlined) recursive call.

Silence compiler warning about unused variables.

Uses the Logger.print function instead of Printf.eprintf

Add text() and node() tokens in the lexer to allow node test and
text node test in XPath expression.

Fix bug where the Lvl2 Cache got corrupted upon resizing.

Remove unused memory profiling code.

Add efficient compare_int in INCLUDED .ml files.

Change the logging infrastructure:
       - rely on the Format module to correctly indent log messages
       - re-use the Pretty module has much as possible to print
       sequences and arrays.
       - add version of print_list and print_array that take a printer
       as optional argument to print the separator (rather than a string).

Rename flags for build script from -foo to -enable-foo