git.nguyen.vg Git - tatoo.git/history

2012-07-17	Lucca Hirschi	Merge branch 'lucca-tests-bench' into lucca-extentions lucca-extentions Core+FS+Self_tested	blob \| commitdiff \| raw
2012-07-17	Lucca Hirschi	For testing lucca-extentions.	blob \| commitdiff \| raw
2012-07-16	Lucca Hirschi	Correct TP algorithm with fixed point (to be tested).	blob \| commitdiff \| raw
2012-07-13	Lucca Hirschi	Fix predicates + following_sibling/self + add self...	blob \| commitdiff \| raw \| diff to current
2012-07-13	Lucca Hirschi	Merge branch 'lucca-tests-bench' into lucca-extentions	blob \| commitdiff \| raw \| diff to current
2012-07-12	Lucca Hirschi	fix in Formula + Compil deals with FollowingSibling...	blob \| commitdiff \| raw \| diff to current
2012-07-05	Lucca Hirschi	Commentaries lucca-master Core	blob \| commitdiff \| raw \| diff to current
2012-07-04	Lucca Hirschi	License	blob \| commitdiff \| raw \| diff to current
2012-07-03	Lucca Hirschi	Merge branch 'lucca-master' of ssh://git.nguyen.vg...	blob \| commitdiff \| raw \| diff to current
2012-07-03	Lucca Hirschi	Found two bugs by rewriting the compilation in the...	blob \| commitdiff \| raw \| diff to current
2012-07-03	Lucca Hirschi	Found two bugs by rewriting the compilation in the...	blob \| commitdiff \| raw \| diff to current
2012-07-03	Lucca Hirschi	Files for the next step: run.ml?	blob \| commitdiff \| raw \| diff to current
2012-07-03	Lucca Hirschi	Compilation works for all XPath queries from the...	blob \| commitdiff \| raw \| diff to current
2012-07-03	Lucca Hirschi	XPath without predicates are correctly compiled.	blob \| commitdiff \| raw \| diff to current
2012-07-02	Lucca Hirschi	Add queries states	blob \| commitdiff \| raw \| diff to current
2012-07-02	Lucca Hirschi	Print labels (=QName -> qname.ml? )	blob \| commitdiff \| raw \| diff to current
2012-07-02	Lucca Hirschi	Files compil.ml? for compilation XPath -> ASTA	blob \| commitdiff \| raw \| diff to current

Tree Automata TOOlkit

RSS Atom