projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9522266) | patch
Rework the testing script.
authorKim Nguyễn <kn@lri.fr>
Thu, 14 Mar 2013 07:20:05 +0000 (08:20 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 14 Mar 2013 07:20:05 +0000 (08:20 +0100)
commit6733babef61a4e4dc18eca834577b6359f0a1345
tree4d7690931dc436fe6f8196e2ebc4bac8ca9a1d8btree | snapshot
parent9522266372edb18327f96b21213b4efc3798ee98commit | diff
Rework the testing script.
Rename the main program.
main.itarget diff | blob | history
src/main.ml [deleted file] blob | history
src/tatoo.ml [new file with mode: 0644] blob
tools/do_jaxp.sh [new file with mode: 0755] blob
tools/do_tatoo.sh [new file with mode: 0755] blob
tools/do_test.sh [deleted file] blob | history
tools/gen_test.sh [deleted file] blob | history
tools/gen_test_results.sh [new file with mode: 0755] blob
Tree Automata TOOlkit