projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4b5e86c) | patch
Add a script to output the number of states/running time/number of traversal for...
authorKim Nguyễn <kn@lri.fr>
Fri, 8 Nov 2013 20:43:29 +0000 (21:43 +0100)
committerKim Nguyễn <kn@lri.fr>
Fri, 8 Nov 2013 20:43:29 +0000 (21:43 +0100)
commit70f2c64d258b045055bc885826e3804b5f2315cb
tree380760bb49459a5bd4979a27b46e7d626dc109c6tree | snapshot
parent4b5e86cc5fa3e62a1cb7d29acf79ffb314194efacommit | diff
Add a script to output the number of states/running time/number of traversal for increasing query sizes.
tests/test_complexity.sh [new file with mode: 0755] blob
Tree Automata TOOlkit