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

2012-07-04	Lucca Hirschi	Structure run + Print run	blob \| commitdiff \| raw
2012-07-03	Lucca Hirschi	Minors (srry for the noise)	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	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	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
2012-07-02	Lucca Hirschi	Implem of Asta.print	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	implem asta	blob \| commitdiff \| raw \| diff to current

Tree Automata TOOlkit