projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a3db328) | patch
Compilation works for all XPath queries from the core specified in the thesis
authorLucca Hirschi <lucca.hirschi@gmail.com>
Tue, 3 Jul 2012 12:00:37 +0000 (14:00 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Tue, 3 Jul 2012 12:00:37 +0000 (14:00 +0200)
commit7f20d23e406e81e6e7271d2621cb868d9fe63aae
tree59860db5aea98230d2831bd42f878aa1c20fdffdtree | snapshot
parenta3db3281c936a50107f9e73ec06c3a6171d61dbdcommit | diff
  Compilation works for all XPath queries from the core specified in the thesis
+ split transition set into query transitions and recognising transitions
+ fancier printing of asta
+ my.queries wich contains the test query from the thesis (it works)
run_tests diff | blob | history
src/asta.ml diff | blob | history
src/asta.mli diff | blob | history
src/compil.ml diff | blob | history
src/test.ml diff | blob | history
tests/queries/my.queries [new file with mode: 0644] blob
Tree Automata TOOlkit