projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Print detailed statisticts of the run.
[tatoo.git] / src /
2013-02-07 Kim NguyễnRefactor module organisation and build process. tree | commitdiff
2013-02-06 Kim NguyễnImplement formulae parametrized by atomic predicates. tree | commitdiff
2013-02-05 Kim NguyễnRefactor xpath parser and ast in a submodule. tree | commitdiff
2013-02-05 Kim NguyễnAvoid one string concatenation in debug printing function. tree | commitdiff
2013-02-04 Kim NguyễnFinish renaming Move constructor to Atom. tree | commitdiff
2013-02-04 Kim NguyễnSanitize header files and add a timestamp mark in each... tree | commitdiff
2013-02-04 Kim NguyễnRewrite parser using ocamlyacc to remove further depend... tree | commitdiff
2013-02-04 Kim NguyễnRewrite the AST to conform to the W3C grammar tree | commitdiff
2013-02-04 Kim NguyễnAdd automata data structure. tree | commitdiff
2013-02-04 Kim NguyễnRemove AbsoluteDOS from the XPath AST. tree | commitdiff
2012-12-19 Kim NguyễnCompile again. tree | commitdiff
2012-10-26 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo tree | commitdiff
2012-10-26 Kim NguyễnCosmetic changes in the Patricia Tree code. tree | commitdiff
2012-09-24 Kim NguyễnRefactor the code to have a unique place for signature... tree | commitdiff
2012-06-29 Lucca HirschiWith -f, we can read the XPath query in a file. tree | commitdiff
2012-06-28 Kim NguyễnRemove spurious debugging statement. tree | commitdiff
2012-06-28 Kim NguyễnAdd support for attribute nodes. Correctly escape speci... tree | commitdiff
2012-06-28 Kim NguyễnAdd support for text elements in the XML document. tree | commitdiff
2012-06-28 Kim NguyễnUsable version: tree | commitdiff
Tree Automata TOOlkit