projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1b43e1) | patch
Full implem of BU_over_Max and TP_max (to be tested) + my.xml from thesis + stuffs...
authorLucca Hirschi <lucca.hirschi@gmail.com>
Thu, 5 Jul 2012 13:27:49 +0000 (15:27 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Thu, 5 Jul 2012 13:27:49 +0000 (15:27 +0200)
commit83c90cb5eeebfffa05d0383430eb80e7905b46a0
tree877ab4662c04e69845ac638db95141cb25dbef37tree | snapshot
parentc1b43e1dcdb3d0960dbc50db9f226d68ad30c16ecommit | diff
Full implem of BU_over_Max and TP_max (to be tested) + my.xml from thesis + stuffs in formula/asta + selected_nodes in asta.
12 files changed:
run_tests diff | blob | history
src/asta.ml diff | blob | history
src/asta.mli diff | blob | history
src/formula.ml diff | blob | history
src/formula.mli diff | blob | history
src/run.ml diff | blob | history
src/run.mli diff | blob | history
src/stateSet.ml diff | blob | history
src/test.ml diff | blob | history
tests/docs/my.xml diff | blob | history
tests/queries/my.queries diff | blob | history
tests/queries/my.queries.old [new file with mode: 0644] blob
Tree Automata TOOlkit