projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
typo test.ml + Why the old asta is taken for building Compil.trans qu ?
[tatoo.git] / src / test.ml
2012-07-13 Lucca Hirschitypo test.ml + Why the old asta is taken for building... Core+FS_tested blob | commitdiff | raw
2012-07-13 Lucca HirschiFix predicates + following_sibling/self + add self... blob | commitdiff | raw | diff to current
2012-07-05 Lucca HirschiFull implem of BU_over_Max and TP_max (to be tested... blob | commitdiff | raw
2012-07-04 Lucca HirschiFull implem BU Oracle + eval_form in Formula (impossibl... blob | commitdiff | raw | diff to current
2012-07-04 Lucca Hirschistructure of Run.compute + pretty-printing (run+tree... blob | commitdiff | raw | diff to current
2012-07-04 Lucca HirschiMerge branch 'lucca-master' into HEAD blob | commitdiff | raw | diff to current
2012-07-04 Lucca HirschiStructure run + Print run blob | commitdiff | raw | diff to current
2012-07-04 Lucca HirschiStructure of run. blob | commitdiff | raw | diff to current
2012-07-04 Lucca HirschiMinor blob | commitdiff | raw | diff to current
2012-07-03 Lucca HirschiMinors (srry for the noise) blob | commitdiff | raw | diff to current
2012-07-03 Lucca Hirschi Files for the next step: run.ml? blob | commitdiff | raw | diff to current
2012-07-03 Lucca Hirschi Fix but in test.ml blob | commitdiff | raw | diff to current
2012-07-03 Lucca Hirschi Compilation works for all XPath queries from the... blob | commitdiff | raw | diff to current
2012-07-02 Lucca Hirschi Add queries states blob | commitdiff | raw | diff to current
2012-07-02 Lucca HirschiPrint labels (=QName -> qname.ml? ) blob | commitdiff | raw | diff to current
2012-07-02 Lucca Hirschi Files compil.ml? for compilation XPath -> ASTA blob | commitdiff | raw | diff to current
2012-07-02 Lucca HirschiImplem of Asta.print blob | commitdiff | raw | diff to current
2012-06-29 Lucca HirschiMerge branch 'lucca-master' of ssh://git.nguyen.vg... blob | commitdiff | raw | diff to current
2012-06-29 Lucca HirschiWith -f, we can read the XPath query in a file. blob | commitdiff | raw | diff to current
2012-06-28 Kim NguyễnUsable version: blob | commitdiff | raw | diff to current
Tree Automata TOOlkit