projects / tatoo.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
tatoo.git
2012-07-18 lucca hirschilog with real time (run). lucca-tests-bench commit | commitdiff | tree | snapshot
2012-07-18 Lucca HirschiLog formatted. commit | commitdiff | tree | snapshot
2012-07-18 Lucca HirschiMerge remote-tracking branch 'origin/lucca-tests-bench... commit | commitdiff | tree | snapshot
2012-07-18 lucca hirschiLog files from the PCRI machine commit | commitdiff | tree | snapshot
2012-07-18 Lucca Hirschitime_run commit | commitdiff | tree | snapshot
2012-07-17 Lucca Hirschiadd detail commit | commitdiff | tree | snapshot
2012-07-17 Lucca HirschiAdd a big query, log of benchmarks... commit | commitdiff | tree | snapshot
2012-07-17 Lucca HirschiBenchmark script. commit | commitdiff | tree | snapshot
2012-07-17 Lucca HirschiMain for benchmarks. commit | commitdiff | tree | snapshot
2012-07-17 Lucca Hirschilog, bench, generate: 0.5 commit | commitdiff | tree | snapshot
2012-07-16 Lucca Hirschiminor commit | commitdiff | tree | snapshot
2012-07-16 Lucca HirschiAdd a generator of XML documents, script. commit | commitdiff | tree | snapshot
2012-07-16 Lucca HirschiTest cases from XPath-PT, script. commit | commitdiff | tree | snapshot
2012-07-13 Lucca Hirschisolve.ml solves series of queries and ouptut onlt selec... 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