git.nguyen.vg Git - tatoo.git/search

2013-02-07	Kim Nguyễn	Use ocamlbuild's built-in support for ocamlfind (requires...	commit \| commitdiff \| tree
2013-02-07	Kim Nguyễn	Silences the Makefile.	commit \| commitdiff \| tree
2013-02-07	Kim Nguyễn	Refactor module organisation and build process.	commit \| commitdiff \| tree
2013-02-06	Kim Nguyễn	Implement formulae parametrized by atomic predicates.	commit \| commitdiff \| tree
2013-02-05	Kim Nguyễn	Refactor xpath parser and ast in a submodule.	commit \| commitdiff \| tree
2013-02-05	Kim Nguyễn	Avoid one string concatenation in debug printing function.	commit \| commitdiff \| tree
2013-02-04	Kim Nguyễn	Finish renaming Move constructor to Atom.	commit \| commitdiff \| tree
2013-02-04	Kim Nguyễn	Sanitize header files and add a timestamp mark in each...	commit \| commitdiff \| tree
2013-02-04	Kim Nguyễn	Rewrite parser using ocamlyacc to remove further dependencies	commit \| commitdiff \| tree
2013-02-04	Kim Nguyễn	Rewrite the AST to conform to the W3C grammar	commit \| commitdiff \| tree
2013-02-04	Kim Nguyễn	Add automata data structure.	commit \| commitdiff \| tree
2013-02-04	Kim Nguyễn	Remove AbsoluteDOS from the XPath AST.	commit \| commitdiff \| tree
2012-12-21	Kim Nguyễn	Use ocamlfind to invoke pa_macro appropriately.	commit \| commitdiff \| tree
2012-12-19	Kim Nguyễn	Compile again.	commit \| commitdiff \| tree
2012-12-12	Kim Nguyễn	Modify the run_test script.	commit \| commitdiff \| tree
2012-10-26	Kim Nguyễn	Merge branch 'master' of ssh://git.nguyen.vg/tatoo	commit \| commitdiff \| tree
2012-10-26	Kim Nguyễn	Cosmetic changes in the Patricia Tree code.	commit \| commitdiff \| tree
2012-09-24	Kim Nguyễn	Refactor the code to have a unique place for signature...	commit \| commitdiff \| tree
2012-06-28	Kim Nguyễn	Remove spurious debugging statement.	commit \| commitdiff \| tree
2012-06-28	Kim Nguyễn	Add attributes to the test document.	commit \| commitdiff \| tree
2012-06-28	Kim Nguyễn	Add support for attribute nodes. Correctly escape special...	commit \| commitdiff \| tree
2012-06-28	Kim Nguyễn	Add support for text elements in the XML document.	commit \| commitdiff \| tree
2012-06-28	Kim Nguyễn	Merge branch 'master' of ssh://git.nguyen.vg/tatoo	commit \| commitdiff \| tree
2012-06-28	Kim Nguyễn	Add .gitignore and ignore result of compilation.	commit \| commitdiff \| tree
2012-06-28	Kim Nguyễn	Usable version:	commit \| commitdiff \| tree
2012-06-12	Kim Nguyễn	Add autoconf infrastructure, license, and macro files.	commit \| commitdiff \| tree

Tree Automata TOOlkit

RSS Atom