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

2012-07-18	Lucca Hirschi	Pretty print of counters.	commit \| commitdiff \| tree
2012-07-18	Lucca Hirschi	Add counter for the tree hash-cons level 0.	commit \| commitdiff \| tree
2012-07-18	Lucca Hirschi	Add a counter for eval/infer.	commit \| commitdiff \| tree
2012-07-18	Lucca Hirschi	Merge branch 'lucca-tests-bench' into lucca-optim	commit \| commitdiff \| tree
2012-07-18	Lucca Hirschi	time_run	commit \| commitdiff \| tree
2012-07-18	Lucca Hirschi	Merge branch 'lucca-tests-bench' into lucca-optim	commit \| commitdiff \| tree
2012-07-17	Lucca Hirschi	add detail	commit \| commitdiff \| tree
2012-07-17	Lucca Hirschi	Merge branch 'lucca-tests-bench' into lucca-optim	commit \| commitdiff \| tree
2012-07-17	Lucca Hirschi	Add a big query, log of benchmarks...	commit \| commitdiff \| tree
2012-07-17	Lucca Hirschi	For testing.	commit \| commitdiff \| tree
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-17	Lucca Hirschi	Evaluation anf inference of formulas are now hconsed...	commit \| commitdiff \| tree
2012-07-16	Lucca Hirschi	Second fixpoint of TP_Max is now hconsed.	commit \| commitdiff \| tree
2012-07-16	Lucca Hirschi	Fixpoint in BU_over_max is now hconsed (37% better).	commit \| commitdiff \| tree
2012-07-16	Lucca Hirschi	Fst fixpoint is now hconsed.	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-16	Lucca Hirschi	Test cases from XPath-PT, script.	commit \| commitdiff \| tree
2012-07-16	Lucca Hirschi	Correct TP algorithm with fixed point (to be tested).	commit \| commitdiff \| tree
2012-07-13	Lucca Hirschi	typo test.ml + Why the old asta is taken for building...	commit \| commitdiff \| tree
2012-07-13	Lucca Hirschi	Fix predicates + following_sibling/self + add self...	commit \| commitdiff \| tree
2012-07-13	Lucca Hirschi	fix a bug: attributes were considered as nodes -> using...	commit \| commitdiff \| tree
2012-07-13	Lucca Hirschi	minor in run + fix infinite loop, must think about...	commit \| commitdiff \| tree
2012-07-13	Lucca Hirschi	Merge branch 'lucca-tests-bench' into lucca-extentions	commit \| commitdiff \| tree
2012-07-13	Lucca Hirschi	solve.ml solves series of queries and ouptut onlt selected...	commit \| commitdiff \| tree
2012-07-12	Lucca Hirschi	Buggy version of Run with self transitions (hard part...	commit \| commitdiff \| tree
2012-07-12	Lucca Hirschi	fix in Formula + Compil deals with FollowingSibling...	commit \| commitdiff \| tree
2012-07-12	Lucca Hirschi	Add `Self direction in Formula + compute fixed point...	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