projects / tatoo.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Simplify the automaton encoding a bit (remove redundant predicates in formulae).
[tatoo.git] / src / xpath / compile.ml
2016-10-12 Kim NguyễnSimplify the automaton encoding a bit (remove redundant... blob | commitdiff | raw
2016-10-12 Kim Nguyễn* Seal the representation of states blob | commitdiff | raw | diff to current
2013-11-22 Kim NguyễnRemove useless cycles in the generated automaton. A... blob | commitdiff | raw | diff to current
2013-11-07 Kim NguyễnFix a bug in the compilation of * tests. blob | commitdiff | raw | diff to current
2013-07-24 Kim NguyễnImplement the multiple-starters feature: blob | commitdiff | raw | diff to current
2013-07-19 Kim NguyễnPreliminary work for multiple starters evaluation. refactor/sanitize-ata blob | commitdiff | raw | diff to current
2013-07-19 Kim NguyễnRefactor the Ata module: blob | commitdiff | raw | diff to current
2013-07-17 Kim NguyễnSanitize the representation of formula blob | commitdiff | raw | diff to current
2013-07-15 Kim NguyễnRemove the timestamp header in source files. This infor... blob | commitdiff | raw | diff to current
2013-04-04 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo blob | commitdiff | raw | diff to current
2013-04-04 Kim NguyễnFlatten the sources, only leave the XPath module packed. blob | commitdiff | raw | diff to current
2013-03-15 Kim NguyễnCode refactoring: blob | commitdiff | raw | diff to current
2013-03-13 Kim NguyễnAdd a kind element to the node tree. Improve support... blob | commitdiff | raw | diff to current
2013-03-10 Kim NguyễnFix descendant-or-self (which wrongly looked for elemen... blob | commitdiff | raw | diff to current
2013-03-10 Kim NguyễnMerge branch 'feature/test-suite' blob | commitdiff | raw | diff to current
2013-03-10 Kim NguyễnMerge branch 'feature/attributes' blob | commitdiff | raw | diff to current
2013-03-09 Kim NguyễnFix the handling of attributes: blob | commitdiff | raw | diff to current
2013-03-09 Kim NguyễnRework the formula predicates: blob | commitdiff | raw | diff to current
2013-03-05 Kim NguyễnWorking for element only document (with arbitrary paths... blob | commitdiff | raw | diff to current
2013-03-05 Kim NguyễnAdd a first runtime function. Positive fragment seems... blob | commitdiff | raw | diff to current
2013-03-04 Kim NguyễnFirst implementation of compilation from XPath to autom... blob | commitdiff | raw | diff to current
2013-03-04 Kim NguyễnAdd the compilation from existential XPath to automata. blob | commitdiff | raw | diff to current
2013-03-04 Kim NguyễnCompilation of the axis part of an XPath expression. blob | commitdiff | raw | diff to current
Tree Automata TOOlkit