projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 05eaaee 574beb8)
For testing.
authorLucca Hirschi <lucca.hirschi@gmail.com>
Tue, 17 Jul 2012 11:35:07 +0000 (13:35 +0200)
committerLucca Hirschi <lucca.hirschi@gmail.com>
Tue, 17 Jul 2012 11:35:07 +0000 (13:35 +0200)
Merge branch 'lucca-tests-bench' into HEAD

Conflicts:
.gitignore
bench_test
benchmark
src/solve.ml


Trivial merge
Tree Automata TOOlkit