projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
- Reorder the keys used to cache transitions
[tatoo.git] / src /
2013-03-18 Kim Nguyễn- Reorder the keys used to cache transitions tree | commitdiff
2013-03-16 Kim NguyễnDisplay caching and iteration statistics at the end... tree | commitdiff
2013-03-15 Kim NguyễnSimplify transition instead of evaluating them to true... tree | commitdiff
2013-03-15 Kim NguyễnAdd debugging information to the automaton. tree | commitdiff
2013-03-15 Kim NguyễnCode refactoring: tree | commitdiff
2013-03-15 Kim NguyễnMake the output graph nodes rectangular. tree | commitdiff
2013-03-14 Kim NguyễnAdd a 'trace' mode (must be enabled at build time)... tree | commitdiff
2013-03-14 Kim NguyễnWrite the caching module in a more systematic way. tree | commitdiff
2013-03-14 Kim NguyễnReuse the same cache between different iterations. tree | commitdiff
2013-03-14 Kim NguyễnRework the testing script. tree | commitdiff
2013-03-13 Kim NguyễnMake the program report query execution time and query... tree | commitdiff
2013-03-13 Kim NguyễnStaturate the set of state of the current node to avoid... tree | commitdiff
2013-03-13 Kim NguyễnReplace the Hashtbl.t used for mapping nodes to state... tree | commitdiff
2013-03-13 Kim NguyễnImplement runtime optimisation via Hashing of transitions. tree | commitdiff
2013-03-13 Kim NguyễnAdd a caching module. tree | commitdiff
2013-03-13 Kim NguyễnRemove spurious debugging messages. tree | commitdiff
2013-03-13 Kim NguyễnAdd .. and . to the path syntax. tree | commitdiff
2013-03-13 Kim NguyễnFix a bug in the handling of processing-instruction... tree | commitdiff
2013-03-13 Kim NguyễnAdd support for following and preceding using the usual... tree | commitdiff
2013-03-13 Kim NguyễnAdd a kind element to the node tree. Improve support... tree | commitdiff
2013-03-13 Kim NguyễnPut the node_kind type into a NodeKind module in the... tree | commitdiff
2013-03-10 Kim NguyễnAllow the @id syntax in XPath expressions. tree | commitdiff
2013-03-10 Kim NguyễnFix a nasty bug in PtSet module (intersect function... tree | commitdiff
2013-03-10 Kim NguyễnFix descendant-or-self (which wrongly looked for elemen... tree | commitdiff
2013-03-10 Kim NguyễnMain program output incorrect xml tags tree | commitdiff
2013-03-10 Kim NguyễnAdd a missing ';' and remove some dead code and outdate... tree | commitdiff
2013-03-10 Kim NguyễnMerge branch 'feature/test-suite' tree | commitdiff
2013-03-10 Kim NguyễnMerge branch 'feature/attributes' tree | commitdiff
2013-03-10 Kim NguyễnFix the xml_diff program to also check trailing events... tree | commitdiff
2013-03-09 Kim NguyễnRename the main testing program. tree | commitdiff
2013-03-09 Kim NguyễnFix the handling of attributes: tree | commitdiff
2013-03-09 Kim NguyễnFix the pretty printing of the attribute test. tree | commitdiff
2013-03-09 Kim NguyễnFix a bug in the parser where a leading '//' would... tree | commitdiff
2013-03-09 Kim NguyễnAdd a function to remove unreachable states in the... tree | commitdiff
2013-03-09 Kim NguyễnExtend the interface with a fold function (over the... tree | commitdiff
2013-03-09 Kim NguyễnRework the formula predicates: tree | commitdiff
2013-03-09 Kim NguyễnAdd the inverse string (superscript -1) to the module. tree | commitdiff
2013-03-08 Kim NguyễnActually fix the problems with negation. tree | commitdiff
2013-03-05 Kim NguyễnWorking for element only document (with arbitrary paths... tree | commitdiff
2013-03-05 Kim NguyễnAdd a first runtime function. Positive fragment seems... tree | commitdiff
2013-03-05 Kim NguyễnAdd an abstract generic interface for trees (of which... tree | commitdiff
2013-03-05 Kim NguyễnSplit the sig.ml module in *_sig.ml (one for each module) tree | commitdiff
2013-03-05 Kim NguyễnSilence several warnings (missing _ in records, unused... tree | commitdiff
2013-03-04 Kim NguyễnFix the printing of attributes. tree | commitdiff
2013-03-04 Kim NguyễnRemove dead code. tree | commitdiff
2013-03-04 Kim NguyễnSimply use String.make for Pretty.padding and Pretty... tree | commitdiff
2013-03-04 Kim NguyễnReplace internal use of str_formatter with local buffer... tree | commitdiff
2013-03-04 Kim NguyễnOnly print ∑ instead of ∑-{} when the set is universal. tree | commitdiff
2013-03-04 Kim NguyễnFirst implementation of compilation from XPath to autom... tree | commitdiff
2013-03-04 Kim NguyễnAdd the compilation from existential XPath to automata. tree | commitdiff
2013-03-04 Kim NguyễnAdd a specific prefix for QNames that represent attributes. tree | commitdiff
2013-03-04 Kim NguyễnCompilation of the axis part of an XPath expression. tree | commitdiff
2013-02-08 Kim NguyễnAdd functions to normalize an automaton: tree | commitdiff
2013-02-07 Kim NguyễnRefactor module organisation and build process. tree | commitdiff
2013-02-06 Kim NguyễnImplement formulae parametrized by atomic predicates. tree | commitdiff
2013-02-05 Kim NguyễnRefactor xpath parser and ast in a submodule. tree | commitdiff
2013-02-05 Kim NguyễnAvoid one string concatenation in debug printing function. tree | commitdiff
2013-02-04 Kim NguyễnFinish renaming Move constructor to Atom. tree | commitdiff
2013-02-04 Kim NguyễnSanitize header files and add a timestamp mark in each... tree | commitdiff
2013-02-04 Kim NguyễnRewrite parser using ocamlyacc to remove further depend... tree | commitdiff
2013-02-04 Kim NguyễnRewrite the AST to conform to the W3C grammar tree | commitdiff
2013-02-04 Kim NguyễnAdd automata data structure. tree | commitdiff
2013-02-04 Kim NguyễnRemove AbsoluteDOS from the XPath AST. tree | commitdiff
2012-12-19 Kim NguyễnCompile again. tree | commitdiff
2012-10-26 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo tree | commitdiff
2012-10-26 Kim NguyễnCosmetic changes in the Patricia Tree code. tree | commitdiff
2012-09-24 Kim NguyễnRefactor the code to have a unique place for signature... tree | commitdiff
2012-06-29 Lucca HirschiWith -f, we can read the XPath query in a file. tree | commitdiff
2012-06-28 Kim NguyễnRemove spurious debugging statement. tree | commitdiff
2012-06-28 Kim NguyễnAdd support for attribute nodes. Correctly escape speci... tree | commitdiff
2012-06-28 Kim NguyễnAdd support for text elements in the XML document. tree | commitdiff
2012-06-28 Kim NguyễnUsable version: tree | commitdiff
Tree Automata TOOlkit