projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fed343e) | patch
Simplify the automaton encoding a bit (remove redundant predicates in formulae).
authorKim Nguyễn <kim.nguyen@lri.fr>
Wed, 12 Oct 2016 15:44:32 +0000 (17:44 +0200)
committerKim Nguyễn <kim.nguyen@lri.fr>
Wed, 12 Oct 2016 15:44:32 +0000 (17:44 +0200)
commitfe2ba1820282783ae8c10fbbbd2b65d3dc4c67f2
tree566fa1c40eeb7f5eb83d2df8c539885caae37e4atree | snapshot
parentfed343e8df1900043dc993ac5458c757d3ac2ee0commit | diff
Simplify the automaton encoding a bit (remove redundant predicates in formulae).
src/naive_tree.ml diff | blob | history
src/qName.mli diff | blob | history
src/xpath/ast.ml diff | blob | history
src/xpath/ast.mli diff | blob | history
src/xpath/compile.ml diff | blob | history
src/xpath/ulexer.ml diff | blob | history
src/xpath/xpath_internal_parser.mly diff | blob | history
Tree Automata TOOlkit