projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43df500) | patch
Full implem BU Oracle + eval_form in Formula (impossible in Asta) + transitions_lab...
authorLucca Hirschi <lucca.hirschi@gmail.com>
Wed, 4 Jul 2012 15:38:21 +0000 (17:38 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Wed, 4 Jul 2012 15:38:21 +0000 (17:38 +0200)
commitc1b43e1dcdb3d0960dbc50db9f226d68ad30c16e
tree9739dc078ab351d5188238a54f86b1677b5300c9tree | snapshot
parent43df500d1441955e3bc932be2e76318f759f7295commit | diff
Full implem BU Oracle + eval_form in Formula (impossible in Asta) + transitions_lab (transitions matching a specific tag)
.gitignore 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/stateSet.ml diff | blob | history
src/test.ml diff | blob | history
tests/results/my.result [deleted file] blob | history
Tree Automata TOOlkit