projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Commentaries
[tatoo.git] / tests /
2012-07-05 Lucca HirschiFull implem of BU_over_Max and TP_max (to be tested... tree | commitdiff
2012-07-04 Lucca HirschiFull implem BU Oracle + eval_form in Formula (impossibl... tree | commitdiff
2012-07-04 Lucca HirschiLicense tree | commitdiff
2012-07-04 Lucca Hirschistructure of Run.compute + pretty-printing (run+tree... tree | commitdiff
2012-07-04 Lucca Hirschiresult in .gitignore + pretty printing tree | commitdiff
2012-07-04 Lucca HirschiMerge branch 'lucca-master' into HEAD tree | commitdiff
2012-07-04 Lucca HirschiStructure run + Print run tree | commitdiff
2012-07-04 Lucca HirschiStructure of run. tree | commitdiff
2012-07-03 Lucca HirschiMinors (srry for the noise) tree | commitdiff
2012-07-03 Lucca HirschiFound two bugs by rewriting the compilation in the... tree | commitdiff
2012-07-03 Lucca HirschiFound two bugs by rewriting the compilation in the... tree | commitdiff
2012-07-03 Lucca Hirschi Files for the next step: run.ml? tree | commitdiff
2012-07-03 Lucca Hirschi+ result tree | commitdiff
2012-07-03 Lucca Hirschi Compilation works for all XPath queries from the... tree | commitdiff
2012-06-29 Lucca HirschiMerge branch 'lucca-master' of ssh://git.nguyen.vg... tree | commitdiff
2012-06-29 Lucca HirschiQueries and script for testing. tree | commitdiff
2012-06-28 Kim NguyễnAdd attributes to the test document. tree | commitdiff
2012-06-28 Kim NguyễnUsable version: tree | commitdiff
Tree Automata TOOlkit