projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
log with real time (run).
[tatoo.git] / tests / queries /
2012-07-17 Lucca HirschiAdd a big query, log of benchmarks... tree | commitdiff
2012-07-16 Lucca HirschiTest cases from XPath-PT, script. tree | commitdiff
2012-07-13 Lucca Hirschisolve.ml solves series of queries and ouptut onlt selec... tree | commitdiff
2012-07-05 Lucca HirschiFull implem of BU_over_Max and TP_max (to be tested... 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
Tree Automata TOOlkit