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

2012-07-17	Lucca Hirschi	Benchmark script.	commit \| commitdiff \| tree
2012-07-17	Lucca Hirschi	Main for benchmarks.	commit \| commitdiff \| tree
2012-07-17	Lucca Hirschi	log, bench, generate: 0.5	commit \| commitdiff \| tree
2012-07-16	Lucca Hirschi	minor	commit \| commitdiff \| tree
2012-07-16	Lucca Hirschi	Add a generator of XML documents, script.	commit \| commitdiff \| tree
2012-07-16	Lucca Hirschi	Test cases from XPath-PT, script.	commit \| commitdiff \| tree
2012-07-13	Lucca Hirschi	solve.ml solves series of queries and ouptut onlt selected...	commit \| commitdiff \| tree
2012-07-05	Lucca Hirschi	Commentaries	commit \| commitdiff \| tree
2012-07-05	Lucca Hirschi	Final test in run_test try my.query on my.xml (from...	commit \| commitdiff \| tree
2012-07-05	Lucca Hirschi	Full implem of BU_over_Max and TP_max (to be tested...	commit \| commitdiff \| tree
2012-07-04	Lucca Hirschi	Full implem BU Oracle + eval_form in Formula (impossible...	commit \| commitdiff \| tree
2012-07-04	Lucca Hirschi	License	commit \| commitdiff \| tree
2012-07-04	Lucca Hirschi	structure of Run.compute + pretty-printing (run+tree...	commit \| commitdiff \| tree
2012-07-04	Lucca Hirschi	result in .gitignore + pretty printing	commit \| commitdiff \| tree
2012-07-04	Lucca Hirschi	Merge branch 'lucca-master' into HEAD	commit \| commitdiff \| tree
2012-07-04	Lucca Hirschi	Structure run + Print run	commit \| commitdiff \| tree
2012-07-04	Lucca Hirschi	Structure of run.	commit \| commitdiff \| tree
2012-07-04	Lucca Hirschi	Minor	commit \| commitdiff \| tree
2012-07-03	Lucca Hirschi	Minors (srry for the noise)	commit \| commitdiff \| tree
2012-07-03	Lucca Hirschi	Merge branch 'lucca-master' of ssh://git.nguyen.vg...	commit \| commitdiff \| tree
2012-07-03	Lucca Hirschi	Found two bugs by rewriting the compilation in the...	commit \| commitdiff \| tree
2012-07-03	Lucca Hirschi	Found two bugs by rewriting the compilation in the...	commit \| commitdiff \| tree
2012-07-03	Lucca Hirschi	Files for the next step: run.ml?	commit \| commitdiff \| tree
2012-07-03	Lucca Hirschi	+ result	commit \| commitdiff \| tree
2012-07-03	Lucca Hirschi	Fix but in test.ml	commit \| commitdiff \| tree
2012-07-03	Lucca Hirschi	Compilation works for all XPath queries from the...	commit \| commitdiff \| tree
2012-07-03	Lucca Hirschi	XPath without predicates are correctly compiled.	commit \| commitdiff \| tree
2012-07-02	Lucca Hirschi	Add queries states	commit \| commitdiff \| tree
2012-07-02	Lucca Hirschi	Print labels (=QName -> qname.ml? )	commit \| commitdiff \| tree
2012-07-02	Lucca Hirschi	Files compil.ml? for compilation XPath -> ASTA	commit \| commitdiff \| tree
2012-07-02	Lucca Hirschi	Implem of Asta.print	commit \| commitdiff \| tree
2012-06-29	Lucca Hirschi	fix ocamldoc	commit \| commitdiff \| tree
2012-06-29	Lucca Hirschi	Merge branch 'lucca-master' of ssh://git.nguyen.vg...	commit \| commitdiff \| tree
2012-06-29	Lucca Hirschi	script ocamldoc for generating html doc and fancy graph ^^	commit \| commitdiff \| tree
2012-06-29	Lucca Hirschi	implem asta	commit \| commitdiff \| tree
2012-06-29	Lucca Hirschi	With -f, we can read the XPath query in a file.	commit \| commitdiff \| tree
2012-06-29	Lucca Hirschi	Queries and script for testing.	commit \| commitdiff \| tree
2012-06-28	Lucca Hirschi	Merge branch 'master' of ssh://git.nguyen.vg/tatoo...	commit \| commitdiff \| tree
2012-06-28	Lucca Hirschi	ignore _build/ and test.native	commit \| commitdiff \| tree
2012-06-28	Lucca Hirschi	.gitignore for test.native and _build	commit \| commitdiff \| tree

Tree Automata TOOlkit

RSS Atom