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