projects / tatoo.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Simplify transition instead of evaluating them to true/false.
2013-03-15 Kim NguyễnSimplify transition instead of evaluating them to true...
commit | commitdiff | tree
2013-03-15 Kim NguyễnAdd the JAXP reference files to the repository.
 commit | commitdiff | tree
2013-03-15 Kim NguyễnRework the test script.
 commit | commitdiff | tree
2013-03-15 Kim NguyễnAdd debugging information to the automaton.
 commit | commitdiff | tree
2013-03-15 Kim NguyễnModify the testing scripts.
 commit | commitdiff | tree
2013-03-15 Kim NguyễnCode refactoring:
 commit | commitdiff | tree
2013-03-15 Kim NguyễnMake the output graph nodes rectangular.
 commit | commitdiff | tree
2013-03-14 Kim NguyễnAdd a 'trace' mode (must be enabled at build time)...
commit | commitdiff | tree
2013-03-14 Kim NguyễnWrite the caching module in a more systematic way.
 commit | commitdiff | tree
2013-03-14 Kim NguyễnReuse the same cache between different iterations.
 commit | commitdiff | tree
2013-03-14 Kim NguyễnRework the testing script.
 commit | commitdiff | tree
2013-03-13 Kim NguyễnMake the program report query execution time and query...
commit | commitdiff | tree
2013-03-13 Kim NguyễnStaturate the set of state of the current node to avoid...
commit | commitdiff | tree
2013-03-13 Kim NguyễnReplace the Hashtbl.t used for mapping nodes to state...
commit | commitdiff | tree
2013-03-13 Kim NguyễnImplement runtime optimisation via Hashing of transitions.
 commit | commitdiff | tree
2013-03-13 Kim NguyễnAdd a caching module.
 commit | commitdiff | tree
2013-03-13 Kim NguyễnAdd xmark benchmarking file.
 commit | commitdiff | tree
2013-03-13 Kim NguyễnRemove spurious debugging messages.
 commit | commitdiff | tree
2013-03-13 Kim NguyễnAdd .. and . to the path syntax.
 commit | commitdiff | tree
2013-03-13 Kim NguyễnRemove git bug related files.
 commit | commitdiff | tree
2013-03-13 Kim NguyễnFix a bug in the handling of processing-instruction...
commit | commitdiff | tree
2013-03-13 Kim NguyễnAdd support for following and preceding using the usual...
commit | commitdiff | tree
2013-03-13 Kim NguyễnAdd a kind element to the node tree. Improve support...
commit | commitdiff | tree
2013-03-13 Kim NguyễnRework the java test program to print out attribute...
commit | commitdiff | tree
2013-03-13 Kim NguyễnPut the node_kind type into a NodeKind module in the...
commit | commitdiff | tree
2013-03-13 Kim NguyễnRemove old test files.
 commit | commitdiff | tree
2013-03-13 Kim NguyễnAdd a new test case for comments nodes.
 commit | commitdiff | tree
2013-03-10 Kim NguyễnAllow the @id syntax in XPath expressions.
 commit | commitdiff | tree
2013-03-10 Kim NguyễnFix a nasty bug in PtSet module (intersect function...
commit | commitdiff | tree
2013-03-10 Kim NguyễnBUG added: [68ad3227c315] following/preceding axes
 commit | commitdiff | tree
2013-03-10 Kim NguyễnInitialized bug tracker
 commit | commitdiff | tree
2013-03-10 Kim NguyễnMake the test script less verbose
 commit | commitdiff | tree
2013-03-10 Kim NguyễnFix descendant-or-self (which wrongly looked for elements...
commit | commitdiff | tree
2013-03-10 Kim NguyễnChange the path to the root directory before attempting...
commit | commitdiff | tree
2013-03-10 Kim NguyễnMain program output incorrect xml tags
 commit | commitdiff | tree
2013-03-10 Kim NguyễnWorkaround lame ocamlbuild issues (symlinks are not...
commit | commitdiff | tree
2013-03-10 Kim NguyễnAdd .class files to .gitignore
 commit | commitdiff | tree
2013-03-10 Kim NguyễnSilence an 'unused variable' warning.
 commit | commitdiff | tree
2013-03-10 Kim NguyễnHandle compiling the java test program from ocamlbuild too
 commit | commitdiff | tree
2013-03-10 Kim NguyễnAdd a missing ';' and remove some dead code and outdated...
commit | commitdiff | tree
2013-03-10 Kim NguyễnMerge branch 'feature/test-suite'
 commit | commitdiff | tree
2013-03-10 Kim NguyễnMerge branch 'feature/attributes'
 commit | commitdiff | tree
2013-03-10 Kim NguyễnFix the xml_diff program to also check trailing events...
commit | commitdiff | tree
2013-03-10 Kim NguyễnAdds a set of testing script:
 commit | commitdiff | tree
2013-03-09 Kim NguyễnRename the main testing program.
 commit | commitdiff | tree
2013-03-09 Kim NguyễnAdd a new test case.
 commit | commitdiff | tree
2013-03-09 Kim NguyễnFix the handling of attributes:
 commit | commitdiff | tree
2013-03-09 Kim NguyễnFix the pretty printing of the attribute test.
 commit | commitdiff | tree
2013-03-09 Kim NguyễnAdd a test case for attribute handling.
 commit | commitdiff | tree
2013-03-09 Kim NguyễnFix a bug in the parser where a leading '//' would...
commit | commitdiff | tree
2013-03-09 Kim NguyễnAdd a function to remove unreachable states in the...
commit | commitdiff | tree
2013-03-09 Kim NguyễnExtend the interface with a fold function (over the...
commit | commitdiff | tree
2013-03-09 Kim NguyễnRework the formula predicates:
 commit | commitdiff | tree
2013-03-09 Kim NguyễnAdd the inverse string (superscript -1) to the module.
 commit | commitdiff | tree
2013-03-08 Kim NguyễnAdd another test case.
 commit | commitdiff | tree
2013-03-08 Kim NguyễnActually fix the problems with negation.
 commit | commitdiff | tree
2013-03-05 Kim NguyễnWorking for element only document (with arbitrary paths...
commit | commitdiff | tree
2013-03-05 Kim NguyễnAdd a first runtime function. Positive fragment seems...
commit | commitdiff | tree
2013-03-05 Kim NguyễnAdd an abstract generic interface for trees (of which...
commit | commitdiff | tree
2013-03-05 Kim NguyễnSplit the sig.ml module in *_sig.ml (one for each module)
 commit | commitdiff | tree
2013-03-05 Kim NguyễnSilence several warnings (missing _ in records, unused...
commit | commitdiff | tree
2013-03-05 Kim NguyễnForce compilation with -w @A-4 (all warnings but warning...
commit | commitdiff | tree
2013-03-04 Kim NguyễnFix the printing of attributes.
 commit | commitdiff | tree
2013-03-04 Kim NguyễnRemove dead code.
 commit | commitdiff | tree
2013-03-04 Kim NguyễnAllow one to pass several targets to the build script.
 commit | commitdiff | tree
2013-03-04 Kim NguyễnUpdate hacking instructions.
 commit | commitdiff | tree
2013-03-04 Kim NguyễnSimply use String.make for Pretty.padding and Pretty...
commit | commitdiff | tree
2013-03-04 Kim NguyễnReplace internal use of str_formatter with local buffered...
commit | commitdiff | tree
2013-03-04 Kim NguyễnOnly print ∑ instead of ∑-{} when the set is universal.
 commit | commitdiff | tree
2013-03-04 Kim NguyễnFirst implementation of compilation from XPath to automata...
commit | commitdiff | tree
2013-03-04 Kim NguyễnAdd the compilation from existential XPath to automata.
 commit | commitdiff | tree
2013-03-04 Kim NguyễnAdd a specific prefix for QNames that represent attributes.
 commit | commitdiff | tree
2013-03-04 Kim NguyễnSynchronise build script with master.
 commit | commitdiff | tree
2013-03-04 Kim NguyễnCompilation of the axis part of an XPath expression.
 commit | commitdiff | tree
2013-03-04 Kim NguyễnMake the build script compatible with emacs compile...
commit | commitdiff | tree
2013-02-08 Kim NguyễnAdd functions to normalize an automaton:
 commit | commitdiff | tree
2013-02-08 Kim NguyễnBuild script can be called from a subdirectory of the...
commit | commitdiff | tree
2013-02-07 Kim NguyễnClean-up the build system.
 commit | commitdiff | tree
2013-02-07 Kim NguyễnUse ocamlbuild's built-in support for ocamlfind (requires...
commit | commitdiff | tree
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
next
Tree Automata TOOlkit