From: Lucca Hirschi <lucca.hirschi@gmail.com>
Date: Tue, 17 Jul 2012 12:56:44 +0000 (+0200)
Subject: Merge branch 'lucca-tests-bench' into lucca-optim
X-Git-Tag: Core+Extentions+Optim-hconsed_V1
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=5e7268fb95cdc7e56fe24f324a710550ade3d851

Merge branch 'lucca-tests-bench' into lucca-optim
---

5e7268fb95cdc7e56fe24f324a710550ade3d851