Merge branch 'lucca-tests-bench' into lucca-extentions

Add a big query, log of benchmarks...

For testing lucca-extentions.
Merge branch 'lucca-tests-bench' into HEAD

Conflicts:
bench_test

Benchmark script.

Main for benchmarks.

log, bench, generate: 0.5

minor

Add a generator of XML documents, script.

Test cases from XPath-PT, script.

Test cases from XPath-PT, script.

Correct TP algorithm with fixed point (to be tested).

typo test.ml + Why the old asta is taken for building Compil.trans qu ?

Fix predicates + following_sibling/self + add self in Formula.st + use it in Run

fix a bug: attributes were considered as nodes -> using first_child_x

minor in run + fix infinite loop, must think about an algo here + fix print of solve

Merge branch 'lucca-tests-bench' into lucca-extentions

solve.ml solves series of queries and ouptut onlt selected nodes + examples from XPath-FT

Buggy version of Run with self transitions (hard part is TP_MAX).

fix in Formula + Compil deals with FollowingSibling and Self

Add `Self direction in Formula + compute fixed point in Run.

Commentaries

Final test in run_test try my.query on my.xml (from thesis) + fixs in run.ml ==> Correct answer.

Full implem of BU_over_Max and TP_max (to be tested) + my.xml from thesis + stuffs in formula/asta + selected_nodes in asta.

Full implem BU Oracle + eval_form in Formula (impossible in Asta) + transitions_lab (transitions matching a specific tag)

License

structure of Run.compute + pretty-printing (run+tree with preorder)

result in .gitignore + pretty printing

Merge branch 'lucca-master' into HEAD

Conflicts:
src/run.ml

Structure run + Print run

Structure of run.

Minor

Minors (srry for the noise)

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

Found two bugs by rewriting the compilation in the thesis.
+ minor

Found two bugs by rewriting the compilation in the thesis.

  Files for the next step: run.ml?
+ minors

+ result

  Fix but in test.ml
+ minors

  Compilation works for all XPath queries from the core specified in the thesis
+ split transition set into query transitions and recognising transitions
+ fancier printing of asta
+ my.queries wich contains the test query from the thesis (it works)

XPath without predicates are correctly compiled.

  Add queries states
+ last_step from compilation works (one step paths)
+ print QNameSet works
+ try boxes from Format

Print labels (=QName -> qname.ml? )
+ structure of the translation function in Compil

  Files compil.ml? for compilation XPath -> ASTA
+ test.ml call this function and print the result

Implem of Asta.print

fix ocamldoc

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

script ocamldoc for generating html doc and fancy graph ^^

implem asta

With -f, we can read the XPath query in a file.

Queries and script for testing.

Remove spurious debugging statement.

Add attributes to the test document.

Add support for attribute nodes. Correctly escape special charaters
during printing.

Add support for text elements in the XML document.

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

Conflicts:
.gitignore

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

Conflicts:
.gitignore

Add .gitignore and ignore result of compilation.

ignore _build/ and test.native

.gitignore for test.native and _build

Usable version:
       - use ocamlbuild
       - cherry pick Pretty, State, StateSet and Formula from SXSI
       - Parsing of XML documents

Add autoconf infrastructure, license, and macro files.