projects / tatoo.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
tatoo.git
2012-07-13 Lucca Hirschitypo test.ml + Why the old asta is taken for building... Core+FS_tested commit | commitdiff | tree | snapshot
2012-07-13 Lucca HirschiFix predicates + following_sibling/self + add self... commit | commitdiff | tree | snapshot
2012-07-13 Lucca Hirschifix a bug: attributes were considered as nodes -> using... commit | commitdiff | tree | snapshot
2012-07-13 Lucca Hirschiminor in run + fix infinite loop, must think about... commit | commitdiff | tree | snapshot
2012-07-13 Lucca HirschiMerge branch 'lucca-tests-bench' into lucca-extentions commit | commitdiff | tree | snapshot
2012-07-13 Lucca Hirschisolve.ml solves series of queries and ouptut onlt selec... commit | commitdiff | tree | snapshot
2012-07-12 Lucca HirschiBuggy version of Run with self transitions (hard part... commit | commitdiff | tree | snapshot
2012-07-12 Lucca Hirschifix in Formula + Compil deals with FollowingSibling... commit | commitdiff | tree | snapshot
2012-07-12 Lucca HirschiAdd `Self direction in Formula + compute fixed point... commit | commitdiff | tree | snapshot
2012-07-05 Lucca HirschiCommentaries lucca-master Core commit | commitdiff | tree | snapshot
2012-07-05 Lucca HirschiFinal test in run_test try my.query on my.xml (from... commit | commitdiff | tree | snapshot
2012-07-05 Lucca HirschiFull implem of BU_over_Max and TP_max (to be tested... commit | commitdiff | tree | snapshot
2012-07-04 Lucca HirschiFull implem BU Oracle + eval_form in Formula (impossibl... commit | commitdiff | tree | snapshot
2012-07-04 Lucca HirschiLicense commit | commitdiff | tree | snapshot
2012-07-04 Lucca Hirschistructure of Run.compute + pretty-printing (run+tree... commit | commitdiff | tree | snapshot
2012-07-04 Lucca Hirschiresult in .gitignore + pretty printing commit | commitdiff | tree | snapshot
2012-07-04 Lucca HirschiMerge branch 'lucca-master' into HEAD commit | commitdiff | tree | snapshot
2012-07-04 Lucca HirschiStructure run + Print run commit | commitdiff | tree | snapshot
2012-07-04 Lucca HirschiStructure of run. commit | commitdiff | tree | snapshot
2012-07-04 Lucca HirschiMinor commit | commitdiff | tree | snapshot
2012-07-03 Lucca HirschiMinors (srry for the noise) commit | commitdiff | tree | snapshot
2012-07-03 Lucca HirschiMerge branch 'lucca-master' of ssh://git.nguyen.vg... commit | commitdiff | tree | snapshot
2012-07-03 Lucca HirschiFound two bugs by rewriting the compilation in the... commit | commitdiff | tree | snapshot
2012-07-03 Lucca HirschiFound two bugs by rewriting the compilation in the... commit | commitdiff | tree | snapshot
2012-07-03 Lucca Hirschi Files for the next step: run.ml? commit | commitdiff | tree | snapshot
2012-07-03 Lucca Hirschi+ result commit | commitdiff | tree | snapshot
2012-07-03 Lucca Hirschi Fix but in test.ml commit | commitdiff | tree | snapshot
2012-07-03 Lucca Hirschi Compilation works for all XPath queries from the... commit | commitdiff | tree | snapshot
2012-07-03 Lucca HirschiXPath without predicates are correctly compiled. commit | commitdiff | tree | snapshot
2012-07-02 Lucca Hirschi Add queries states commit | commitdiff | tree | snapshot
2012-07-02 Lucca HirschiPrint labels (=QName -> qname.ml? ) commit | commitdiff | tree | snapshot
2012-07-02 Lucca Hirschi Files compil.ml? for compilation XPath -> ASTA commit | commitdiff | tree | snapshot
2012-07-02 Lucca HirschiImplem of Asta.print commit | commitdiff | tree | snapshot
2012-06-29 Lucca Hirschifix ocamldoc commit | commitdiff | tree | snapshot
2012-06-29 Lucca HirschiMerge branch 'lucca-master' of ssh://git.nguyen.vg... commit | commitdiff | tree | snapshot
2012-06-29 Lucca Hirschiscript ocamldoc for generating html doc and fancy graph ^^ commit | commitdiff | tree | snapshot
2012-06-29 Lucca Hirschiimplem asta commit | commitdiff | tree | snapshot
2012-06-29 Lucca HirschiWith -f, we can read the XPath query in a file. commit | commitdiff | tree | snapshot
2012-06-29 Lucca HirschiQueries and script for testing. commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnRemove spurious debugging statement. commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnAdd attributes to the test document. commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnAdd support for attribute nodes. Correctly escape speci... commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnAdd support for text elements in the XML document. commit | commitdiff | tree | snapshot
2012-06-28 Lucca HirschiMerge branch 'master' of ssh://git.nguyen.vg/tatoo... commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnAdd .gitignore and ignore result of compilation. commit | commitdiff | tree | snapshot
2012-06-28 Lucca Hirschiignore _build/ and test.native commit | commitdiff | tree | snapshot
2012-06-28 Lucca Hirschi.gitignore for test.native and _build commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnUsable version: commit | commitdiff | tree | snapshot
2012-06-12 Kim NguyễnAdd autoconf infrastructure, license, and macro files. commit | commitdiff | tree | snapshot
Tree Automata TOOlkit