Implement the multiple-starters feature:
- implement automata merging and concatenation
- change the command line parsing to allow multiple queries
- update the output format to denote which query a result set belongs to
- implement full evaluation of automata (associate each selecting state
with its result set)

Given queries Q1 ... QN on the command line, we can now:
- compute Q1, then Q2, ... , then QN on the same document, sequentially
- build one automaton that computes Q1, ..., QN in parallel
- compute QN(... Q2(Q1(root))) sequentially (materializing intermediate
results)
- build one automaton that computes QN(...(Q2(Q1(root)))) in one run.

Change command line options:
       * -d, --doc set the input document (default to stdin)
       * -o, --out set the output file (default to stdout)

Implement copy and composition of automata.

Preliminary work for multiple starters evaluation.

Refactor the Ata module:
         - add a builder class to ensure we only manipulate well-formed automata
         - move all the caching infrastructure to the computation of the run
         - rename the Eval module to Run

Sanitize the representation of formula
- rename the toplevel Formula module to Boolean
- rename Ata.SFormula to Formula
- move the flag saying whether an atom is positive or negative
  to Boolean
- distinguish predicates that are moves from generic predicates.

Add a bullet symbol.

Add an int_of_bool cast function.

Add an interface for the evaluation module.

Make remake change to the directory where ./remake (and the Remakefile) are.

Remove the timestamp header in source files. This information is
better kept in git.

Fix a bug where the content of variables are appended instead of being
overwritten. Thus, when several sub-process send variable A=foo to the
server, the content of A becomes foofoofoofoo instead of just foo.

Fix a typo which causes mis-detection of the ocaml-expat bindings.

Migrate to new remake.

Remove the 'round' counter from the hashconsed configurations.

Add a clean logger infrastructure.

Add a bitmap to keep track of whether a subtree needs to be
recomputed or not.
A subtree needs to be recomputed when:
(1) it's todo transition list is not empty or
(2) one of its subtrees needs to be recomputed.

Introduce a bitvector module to efficiently represent arrays of
booleans.

Update test results.

Make the html trace tools use colors to represent the round at
which an node was satisfied.

Add a new test suite.

Cosmetic changes.

Add generated files to the .gitignore.

Last tweaking of the Remakefile for automated testing.

Tune the Remakefile to re-run tests when the binary changes.

Use the Remakefile to perform non-regression tests.

Implement command line options, clean-up screen output.

Merge branch 'feature/precise-sat'

Hashcons transition evaluation based on node configuration.

Store a summary of the node (kind, topology) in the Ata.Config.t type.

add OCaml object files to .gitignore

Hash-conses each node configuration.

Fix the Remakefile and testing script.

Maintain the set of unsatisfiable states.

Fix the Remakefile and testing script.

Add an INSTALL file.

Re-organize the Remakefile.
Fixes a few typos and make remake.cpp callable from subdirectories.

Make the main target more generic, to allow compilation of
tools/*.native too, instead of only src/*.native.

Add a distclean target that removes every file generated by the
configure/remake scripts.

Modified building instructions.

Remove OCamlbuild related files. Youpi.

Add the remake and configure infrastructure.

Fix remaining compilation bug caused by the refactoring of modules.
(Bug was previously unnoticed because it only touches code that handle
tracing of automaton run)

Add configure and remake generated files to .gitignore

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

* 'master' of ssh://git.nguyen.vg/tatoo:
  Flatten the sources, only leave the XPath module packed.
  Fix the build script.

Flatten the sources, only leave the XPath module packed.

Fix the build script.

Add AUTHORS file

Printout statistics about cache occupation.

Silences the newly introduced K warning (unused functions)

- Reorder the keys used to cache transitions
- Use a new stop condition (gives optimal traversal for filter
  less queries)
- Reorder a variant type so that the hash of some variant becomes
smaller

Display caching and iteration statistics at the end of evaluation.

Simplify transition instead of evaluating them to true/false.

Add the JAXP reference files to the repository.

Rework the test script.

Add debugging information to the automaton.

Modify the testing scripts.

Code refactoring:
    - move the caching tables inside the automaton object
    - add an interface for the ata module
    - make the automaton record type private

Make the output graph nodes rectangular.

Add a 'trace' mode (must be enabled at build time) that saves the
tree and all information to a browsable svg.

Write the caching module in a more systematic way.

Reuse the same cache between different iterations.

Rework the testing script.
Rename the main program.

Make the program report query execution time and query serialization time.

Staturate the set of state of the current node to avoid some traversal.

Replace the Hashtbl.t used for mapping nodes to state-sets by an
array indexed by pre-order.

Implement runtime optimisation via Hashing of transitions.

Add a caching module.

Add xmark benchmarking file.

Remove spurious debugging messages.

Add .. and . to the path syntax.

Remove git bug related files.

Fix a bug in the handling of processing-instruction() test.

Add support for following and preceding using the usual encoding:
axis = ancestor-or-self::node()/axis-sibling::node()/descendant-or-self

Add a kind element to the node tree. Improve support for XPath by
allowing processing-instruction and comment tests.
Fix the handling of attribute nodes.

Rework the java test program to print out attribute nodes too.

Put the node_kind type into a NodeKind module in the Common module.

Remove old test files.

Add a new test case for comments nodes.

Allow the @id syntax in XPath expressions.

Fix a nasty bug in PtSet module (intersect function was the one
for little-endian patricia trees and therefore buggy)

BUG added: [68ad3227c315] following/preceding axes

Initialized bug tracker

Make the test script less verbose

Fix descendant-or-self (which wrongly looked for elements in the
right sibling of self)

Change the path to the root directory before attempting to open
any file in the build script

Main program output incorrect xml tags
Adapt test scripts so that they can be called from the project root

Workaround lame ocamlbuild issues (symlinks are not created for
some reason)

Add .class files to .gitignore

Silence an 'unused variable' warning.

Handle compiling the java test program from ocamlbuild too

Add a missing ';' and remove some dead code and outdated comments.

Merge branch 'feature/test-suite'

* feature/test-suite:
  Fix the xml_diff program to also check trailing events (after </root>)
  Adds a set of testing script

Merge branch 'feature/attributes'

* feature/attributes:
  - Add a new test case.
  - Fix the handling of attributes.
  - Fix the pretty printing of the attribute test.
  - Add a test case for attribute handling.

Fix the xml_diff program to also check trailing events (after </root>)
Reformat output of XML query in test program
Fix testing scripts.

Adds a set of testing script:
     - xml_diff: program to compare two XML files
     - XPathEval.java: reference implementation of XPath 1.0 in Java JAXP
     - gen_test.sh: create reference query results

Rename the main testing program.

Add a new test case.

Fix the handling of attributes:
  - make use of the Is_attribute predicate in formulæ
  - Change the encoding of attributes in the tree structure
    (attributes are now proper children with a particular marker
     in the tag name).

Fix the pretty printing of the attribute test.

Add a test case for attribute handling.