projects / tatoo.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
tatoo.git
2013-03-10 Kim NguyễnAdd a missing ';' and remove some dead code and outdate... commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnMerge branch 'feature/test-suite' commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnMerge branch 'feature/attributes' commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnFix the xml_diff program to also check trailing events... commit | commitdiff | tree | snapshot
2013-03-10 Kim NguyễnAdds a set of testing script: commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnRename the main testing program. commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnAdd a new test case. commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnFix the handling of attributes: commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnFix the pretty printing of the attribute test. commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnAdd a test case for attribute handling. commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnFix a bug in the parser where a leading '//' would... commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnAdd a function to remove unreachable states in the... commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnExtend the interface with a fold function (over the... commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnRework the formula predicates: commit | commitdiff | tree | snapshot
2013-03-09 Kim NguyễnAdd the inverse string (superscript -1) to the module. commit | commitdiff | tree | snapshot
2013-03-08 Kim NguyễnAdd another test case. commit | commitdiff | tree | snapshot
2013-03-08 Kim NguyễnActually fix the problems with negation. commit | commitdiff | tree | snapshot
2013-03-05 Kim NguyễnWorking for element only document (with arbitrary paths... commit | commitdiff | tree | snapshot
2013-03-05 Kim NguyễnAdd a first runtime function. Positive fragment seems... commit | commitdiff | tree | snapshot
2013-03-05 Kim NguyễnAdd an abstract generic interface for trees (of which... commit | commitdiff | tree | snapshot
2013-03-05 Kim NguyễnSplit the sig.ml module in *_sig.ml (one for each module) commit | commitdiff | tree | snapshot
2013-03-05 Kim NguyễnSilence several warnings (missing _ in records, unused... commit | commitdiff | tree | snapshot
2013-03-05 Kim NguyễnForce compilation with -w @A-4 (all warnings but warnin... commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnFix the printing of attributes. commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnRemove dead code. commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnAllow one to pass several targets to the build script. commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnUpdate hacking instructions. commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnSimply use String.make for Pretty.padding and Pretty... commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnReplace internal use of str_formatter with local buffer... commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnOnly print ∑ instead of ∑-{} when the set is universal. commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnFirst implementation of compilation from XPath to autom... commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnAdd the compilation from existential XPath to automata. commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnAdd a specific prefix for QNames that represent attributes. commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnSynchronise build script with master. commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnCompilation of the axis part of an XPath expression. commit | commitdiff | tree | snapshot
2013-03-04 Kim NguyễnMake the build script compatible with emacs compile... commit | commitdiff | tree | snapshot
2013-02-08 Kim NguyễnAdd functions to normalize an automaton: commit | commitdiff | tree | snapshot
2013-02-08 Kim NguyễnBuild script can be called from a subdirectory of the... commit | commitdiff | tree | snapshot
2013-02-07 Kim NguyễnClean-up the build system. commit | commitdiff | tree | snapshot
2013-02-07 Kim NguyễnUse ocamlbuild's built-in support for ocamlfind (requir... commit | commitdiff | tree | snapshot
2013-02-07 Kim NguyễnSilences the Makefile. commit | commitdiff | tree | snapshot
2013-02-07 Kim NguyễnRefactor module organisation and build process. commit | commitdiff | tree | snapshot
2013-02-06 Kim NguyễnImplement formulae parametrized by atomic predicates. commit | commitdiff | tree | snapshot
2013-02-05 Kim NguyễnRefactor xpath parser and ast in a submodule. commit | commitdiff | tree | snapshot
2013-02-05 Kim NguyễnAvoid one string concatenation in debug printing function. commit | commitdiff | tree | snapshot
2013-02-04 Kim NguyễnFinish renaming Move constructor to Atom. commit | commitdiff | tree | snapshot
2013-02-04 Kim NguyễnSanitize header files and add a timestamp mark in each... commit | commitdiff | tree | snapshot
2013-02-04 Kim NguyễnRewrite parser using ocamlyacc to remove further depend... commit | commitdiff | tree | snapshot
2013-02-04 Kim NguyễnRewrite the AST to conform to the W3C grammar commit | commitdiff | tree | snapshot
2013-02-04 Kim NguyễnAdd automata data structure. commit | commitdiff | tree | snapshot
2013-02-04 Kim NguyễnRemove AbsoluteDOS from the XPath AST. commit | commitdiff | tree | snapshot
2012-12-21 Kim NguyễnUse ocamlfind to invoke pa_macro appropriately. commit | commitdiff | tree | snapshot
2012-12-19 Kim NguyễnCompile again. commit | commitdiff | tree | snapshot
2012-12-12 Kim NguyễnModify the run_test script. commit | commitdiff | tree | snapshot
2012-10-26 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo commit | commitdiff | tree | snapshot
2012-10-26 Kim NguyễnCosmetic changes in the Patricia Tree code. commit | commitdiff | tree | snapshot
2012-09-24 Kim NguyễnRefactor the code to have a unique place for signature... commit | commitdiff | tree | snapshot
2012-06-29 Lucca HirschiWith -f, we can read the XPath query in a file. commit | commitdiff | tree | snapshot
2012-06-29 Lucca HirschiQueries and script for testing. commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnRemove spurious debugging statement. commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnAdd attributes to the test document. commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnAdd support for attribute nodes. Correctly escape speci... commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnAdd support for text elements in the XML document. commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnAdd .gitignore and ignore result of compilation. commit | commitdiff | tree | snapshot
2012-06-28 Lucca Hirschi.gitignore for test.native and _build commit | commitdiff | tree | snapshot
2012-06-28 Kim NguyễnUsable version: commit | commitdiff | tree | snapshot
2012-06-12 Kim NguyễnAdd autoconf infrastructure, license, and macro files. commit | commitdiff | tree | snapshot
Tree Automata TOOlkit