projects / tatoo.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fixpoint in BU_over_max is now hconsed (37% better).
2012-07-16 Lucca HirschiFixpoint in BU_over_max is now hconsed (37% better).
 commit | commitdiff | tree
2012-07-16 Lucca HirschiFst fixpoint is now hconsed.
 commit | commitdiff | tree
2012-07-16 Lucca HirschiTest cases from XPath-PT, script.
 commit | commitdiff | tree
2012-07-16 Lucca HirschiCorrect TP algorithm with fixed point (to be tested).
 commit | commitdiff | tree
2012-07-13 Lucca Hirschitypo test.ml + Why the old asta is taken for building...
commit | commitdiff | tree
2012-07-13 Lucca HirschiFix predicates + following_sibling/self + add self...
commit | commitdiff | tree
2012-07-13 Lucca Hirschifix a bug: attributes were considered as nodes -> using...
commit | commitdiff | tree
2012-07-13 Lucca Hirschiminor in run + fix infinite loop, must think about...
commit | commitdiff | tree
2012-07-13 Lucca HirschiMerge branch 'lucca-tests-bench' into lucca-extentions
 commit | commitdiff | tree
2012-07-13 Lucca Hirschisolve.ml solves series of queries and ouptut onlt selected...
commit | commitdiff | tree
2012-07-12 Lucca HirschiBuggy version of Run with self transitions (hard part...
commit | commitdiff | tree
2012-07-12 Lucca Hirschifix in Formula + Compil deals with FollowingSibling...
commit | commitdiff | tree
2012-07-12 Lucca HirschiAdd `Self direction in Formula + compute fixed point...
commit | commitdiff | tree
2012-07-05 Lucca HirschiCommentaries
 commit | commitdiff | tree
2012-07-05 Lucca HirschiFinal test in run_test try my.query on my.xml (from...
commit | commitdiff | tree
2012-07-05 Lucca HirschiFull implem of BU_over_Max and TP_max (to be tested...
commit | commitdiff | tree
2012-07-04 Lucca HirschiFull implem BU Oracle + eval_form in Formula (impossible...
commit | commitdiff | tree
2012-07-04 Lucca HirschiLicense
 commit | commitdiff | tree
2012-07-04 Lucca Hirschistructure of Run.compute + pretty-printing (run+tree...
commit | commitdiff | tree
2012-07-04 Lucca Hirschiresult in .gitignore + pretty printing
 commit | commitdiff | tree
2012-07-04 Lucca HirschiMerge branch 'lucca-master' into HEAD
 commit | commitdiff | tree
2012-07-04 Lucca HirschiStructure run + Print run
 commit | commitdiff | tree
2012-07-04 Lucca HirschiStructure of run.
 commit | commitdiff | tree
2012-07-04 Lucca HirschiMinor
 commit | commitdiff | tree
2012-07-03 Lucca HirschiMinors (srry for the noise)
 commit | commitdiff | tree
2012-07-03 Lucca HirschiMerge branch 'lucca-master' of ssh://git.nguyen.vg...
commit | commitdiff | tree
2012-07-03 Lucca HirschiFound two bugs by rewriting the compilation in the...
commit | commitdiff | tree
2012-07-03 Lucca HirschiFound 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 HirschiXPath without predicates are correctly compiled.
 commit | commitdiff | tree
2012-07-02 Lucca Hirschi Add queries states
 commit | commitdiff | tree
2012-07-02 Lucca HirschiPrint 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 HirschiImplem of Asta.print
 commit | commitdiff | tree
2012-06-29 Lucca Hirschifix ocamldoc
 commit | commitdiff | tree
2012-06-29 Lucca HirschiMerge branch 'lucca-master' of ssh://git.nguyen.vg...
commit | commitdiff | tree
2012-06-29 Lucca Hirschiscript ocamldoc for generating html doc and fancy graph ^^
 commit | commitdiff | tree
2012-06-29 Lucca Hirschiimplem asta
 commit | commitdiff | tree
2012-06-29 Lucca HirschiWith -f, we can read the XPath query in a file.
 commit | commitdiff | tree
2012-06-29 Lucca HirschiQueries and script for testing.
 commit | commitdiff | tree
2012-06-28 Lucca HirschiMerge branch 'master' of ssh://git.nguyen.vg/tatoo...
commit | commitdiff | tree
2012-06-28 Lucca Hirschiignore _build/ and test.native
 commit | commitdiff | tree
2012-06-28 Lucca Hirschi.gitignore for test.native and _build
 commit | commitdiff | tree
Tree Automata TOOlkit