projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 83c90cb) | patch
Final test in run_test try my.query on my.xml (from thesis) + fixs in run.ml ==>...
authorLucca Hirschi <lucca.hirschi@gmail.com>
Thu, 5 Jul 2012 14:03:18 +0000 (16:03 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Thu, 5 Jul 2012 14:03:18 +0000 (16:03 +0200)
commitd0dc6fbd661c7a79a2d8f875a204f587e6a5162d
treeaa7a69cd8cd07afb956693c5e541212cc2696123tree | snapshot
parent83c90cb5eeebfffa05d0383430eb80e7905b46a0commit | diff
Final test in run_test try my.query on my.xml (from thesis) + fixs in run.ml ==> Correct answer.
run_tests diff | blob | history
src/asta.ml diff | blob | history
src/asta.mli diff | blob | history
src/formula.ml diff | blob | history
src/run.ml diff | blob | history
Tree Automata TOOlkit