Simplify the automaton encoding a bit (remove redundant predicates in formulae).
[tatoo.git] / src / xpath / xpath_internal_parser.mly
2016-10-12 Kim NguyễnSimplify the automaton encoding a bit (remove redundant...
2014-04-29 Kim NguyễnRevert the integration of menhir for the time being.
2014-03-17 Kim NguyễnCherry pick use of menhir features from branch feature...
2013-11-07 Kim NguyễnFix a bug in the compilation of * tests.
2013-07-15 Kim NguyễnRemove the timestamp header in source files. This infor...
2013-04-04 Kim NguyễnMerge branch 'master' of ssh://git.nguyen.vg/tatoo
2013-04-04 Kim NguyễnFlatten the sources, only leave the XPath module packed.
2013-03-13 Kim NguyễnAdd .. and . to the path syntax.
2013-03-13 Kim NguyễnFix a bug in the handling of processing-instruction...
2013-03-13 Kim NguyễnAdd support for following and preceding using the usual...
2013-03-13 Kim NguyễnAdd a kind element to the node tree. Improve support...
2013-03-10 Kim NguyễnAllow the @id syntax in XPath expressions.
2013-03-10 Kim NguyễnMerge branch 'feature/test-suite'
2013-03-10 Kim NguyễnMerge branch 'feature/attributes'
2013-03-09 Kim NguyễnFix the handling of attributes:
2013-03-09 Kim NguyễnFix a bug in the parser where a leading '//' would...
2013-03-04 Kim NguyễnAdd the compilation from existential XPath to automata.
2013-02-07 Kim NguyễnRefactor module organisation and build process.