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-13	Lucca Hirschi	Merge branch 'lucca-tests-bench' into lucca-extentions	blob \| commitdiff \| raw
2012-07-12	Lucca Hirschi	Buggy version of Run with self transitions (hard part...	blob \| commitdiff \| raw
2012-07-05	Lucca Hirschi	Final test in run_test try my.query on my.xml (from...	blob \| commitdiff \| raw \| diff to current
2012-07-05	Lucca Hirschi	Full implem of BU_over_Max and TP_max (to be tested...	blob \| commitdiff \| raw \| diff to current
2012-07-04	Lucca Hirschi	License	blob \| commitdiff \| raw \| diff to current
2012-07-03	Lucca Hirschi	+ result	blob \| commitdiff \| raw \| diff to current
2012-07-03	Lucca Hirschi	Fix but in test.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-02	Lucca Hirschi	Print labels (=QName -> qname.ml? )	blob \| commitdiff \| raw \| diff to current
2012-06-29	Lucca Hirschi	Merge branch 'lucca-master' of ssh://git.nguyen.vg...	blob \| commitdiff \| raw \| diff to current
2012-06-29	Lucca Hirschi	Queries and script for testing.	blob \| commitdiff \| raw \| diff to current

Tree Automata TOOlkit