projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2fac8e) | patch
Fix the Remakefile and testing script.
authorKim Nguyễn <kn@lri.fr>
Thu, 18 Apr 2013 16:14:29 +0000 (18:14 +0200)
committerKim Nguyễn <kn@lri.fr>
Thu, 18 Apr 2013 16:14:29 +0000 (18:14 +0200)
commit8aee3aeab119fc323d0c15b2134b22cdcc130063
tree15a6f1968f0ac2fa6e1362b50fd98b3583c12f8ftree | snapshot
parente2fac8eed2912bba4ebca0b349bf1b665fd3273fcommit | diff
Fix the Remakefile and testing script.
Remakefile.in diff | blob | history
tools/do_tatoo.sh diff | blob | history
tools/gen_test_results.sh diff | blob | history
Tree Automata TOOlkit