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

2013-03-09	Kim Nguyễn	Fix a bug in the parser where a leading '//' would...	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Add a function to remove unreachable states in the...	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Extend the interface with a fold function (over the...	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Rework the formula predicates:	commit \| commitdiff \| tree
2013-03-09	Kim Nguyễn	Add the inverse string (superscript -1) to the module.	commit \| commitdiff \| tree
2013-03-08	Kim Nguyễn	Add another test case.	commit \| commitdiff \| tree
2013-03-08	Kim Nguyễn	Actually fix the problems with negation.	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Working for element only document (with arbitrary paths...	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Add a first runtime function. Positive fragment seems...	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Add an abstract generic interface for trees (of which...	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Split the sig.ml module in *_sig.ml (one for each module)	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Silence several warnings (missing _ in records, unused...	commit \| commitdiff \| tree
2013-03-05	Kim Nguyễn	Force compilation with -w @A-4 (all warnings but warning...	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Fix the printing of attributes.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Remove dead code.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Allow one to pass several targets to the build script.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Update hacking instructions.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Simply use String.make for Pretty.padding and Pretty...	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Replace internal use of str_formatter with local buffered...	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Only print ∑ instead of ∑-{} when the set is universal.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	First implementation of compilation from XPath to automata...	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Add the compilation from existential XPath to automata.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Add a specific prefix for QNames that represent attributes.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Synchronise build script with master.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Compilation of the axis part of an XPath expression.	commit \| commitdiff \| tree
2013-03-04	Kim Nguyễn	Make the build script compatible with emacs compile...	commit \| commitdiff \| tree
2013-02-08	Kim Nguyễn	Add functions to normalize an automaton:	commit \| commitdiff \| tree
2013-02-08	Kim Nguyễn	Build script can be called from a subdirectory of the...	commit \| commitdiff \| tree
2013-02-07	Kim Nguyễn	Clean-up the build system.	commit \| commitdiff \| tree
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