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 / ulexer.ml
2016-10-12 Kim NguyễnSimplify the automaton encoding a bit (remove redundant... blob | commitdiff | raw
2013-07-15 Kim NguyễnRemove the timestamp header in source files. This infor... blob | commitdiff | raw | diff to current
2013-03-13 Kim NguyễnAdd .. and . to the path syntax. 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ễnAllow the @id syntax in XPath expressions. 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-02-07 Kim NguyễnRefactor module organisation and build process. blob | commitdiff | raw | diff to current
Tree Automata TOOlkit