projects / tatoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ebe1724) | patch
Tune the Remakefile to re-run tests when the binary changes.
authorKim Nguyễn <kn@lri.fr>
Mon, 22 Apr 2013 16:49:11 +0000 (18:49 +0200)
committerKim Nguyễn <kn@lri.fr>
Mon, 22 Apr 2013 16:49:11 +0000 (18:49 +0200)
commit318ebb395fe3665046b76cf4de6cf8166b94d4cc
tree425ffaed418fd7a0ed8e13ccc8fad2b0131c060dtree | snapshot
parentebe172413cade8d324561a0279b9b8017b9a2fc0commit | diff
Tune the Remakefile to re-run tests when the binary changes.
Remakefile.in diff | blob | history
src/eval.ml diff | blob | history
src/tatoo.ml diff | blob | history
tests/alphabet.xml.summary diff | blob | history
tests/comments00.xml.summary diff | blob | history
tests/xmark_small.xml.summary diff | blob | history
Tree Automata TOOlkit