projects / tatoo.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Silences the Makefile.
2013-02-07 Kim NguyễnSilences the Makefile.
 commit | commitdiff | tree
2013-02-07 Kim NguyễnRefactor module organisation and build process.
 commit | commitdiff | tree
2013-02-06 Kim NguyễnImplement formulae parametrized by atomic predicates.
 commit | commitdiff | tree
2013-02-05 Kim NguyễnRefactor xpath parser and ast in a submodule.
 commit | commitdiff | tree
2013-02-05 Kim NguyễnAvoid one string concatenation in debug printing function.
 commit | commitdiff | tree
2013-02-04 Kim NguyễnFinish renaming Move constructor to Atom.
 commit | commitdiff | tree
2013-02-04 Kim NguyễnSanitize header files and add a timestamp mark in each...
commit | commitdiff | tree
2013-02-04 Kim NguyễnRewrite parser using ocamlyacc to remove further dependencies
 commit | commitdiff | tree
2013-02-04 Kim NguyễnRewrite the AST to conform to the W3C grammar
 commit | commitdiff | tree
2013-02-04 Kim NguyễnAdd automata data structure.
 commit | commitdiff | tree
2013-02-04 Kim NguyễnRemove AbsoluteDOS from the XPath AST.
 commit | commitdiff | tree
2012-12-21 Kim NguyễnUse ocamlfind to invoke pa_macro appropriately.
 commit | commitdiff | tree
2012-12-19 Kim NguyễnCompile again.
 commit | commitdiff | tree
2012-12-12 Kim NguyễnModify the run_test script.
 commit | commitdiff | tree
2012-10-26 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo
 commit | commitdiff | tree
2012-10-26 Kim NguyễnCosmetic changes in the Patricia Tree code.
 commit | commitdiff | tree
2012-09-24 Kim NguyễnRefactor the code to have a unique place for signature...
commit | commitdiff | tree
2012-06-28 Kim NguyễnRemove spurious debugging statement.
 commit | commitdiff | tree
2012-06-28 Kim NguyễnAdd attributes to the test document.
 commit | commitdiff | tree
2012-06-28 Kim NguyễnAdd support for attribute nodes. Correctly escape special...
commit | commitdiff | tree
2012-06-28 Kim NguyễnAdd support for text elements in the XML document.
 commit | commitdiff | tree
2012-06-28 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo
 commit | commitdiff | tree
2012-06-28 Kim NguyễnAdd .gitignore and ignore result of compilation.
 commit | commitdiff | tree
2012-06-28 Kim NguyễnUsable version:
 commit | commitdiff | tree
2012-06-12 Kim NguyễnAdd autoconf infrastructure, license, and macro files.
 commit | commitdiff | tree
Tree Automata TOOlkit