check against k32
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 31 Jan 2011 15:41:27 +0000 (16:41 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 31 Jan 2011 15:41:27 +0000 (16:41 +0100)
commit8c3837ab98cf89b2c962346f433aef864f9bb6b8
treedcb775309996b94be6416ee51c76f05f3c93ae41
parent2640e28aa4291549d224e33f5df1ce710641b6e6
check against k32
check-onelab.sh