improved count join for the equals case.

bug fix

added VectorCount index and the MergeJoin over it

put the mergeJoin function into its own class

more print

print function.

added a dummy print function to the lexindex class so that
program terminates now.. :)

version without global variables, one class for
the vectore-based Index now.

Merge branch 'smaneth-devel' of ssh://git.nguyen.vg/SXSI/xpathcomp into smaneth-devel

Merge branch 'smaneth-devel' of ssh://git.nguyen.vg/SXSI/xpathcomp into smaneth-devel

changed from one to two labels for building to lexindexes and
then doing the merge-sort-join on them.
so lextest now called with 3 arguments as in
lextest.native t.xml a b

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

Use the code alignment macro also in lexindex_stub.cpp

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)

Refresh the installation procedure.

Merge branch 'master' into smaneth-devel

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)

i

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

Add the auction.dtd document type definition to the repository.

Rename 'Tracer' module to 'Logger'.

Revert "Remove the need for a NOP operation in automata bytecode."

This reverts commit a6c781462ddca7c25fe95789c81c2265f153203c.
The automata is unsound and returns boggus results for child moves
without the nop case.

Temporary commit

Remove -flto from the linking phase.

Ensure that the c++ flags defined in myocamlbuild_config.ml.in are passed
to ocamlopt for linking.

Change inlining parameter to 1000 again.

Finaly clean up formula representation.