tree b7d19a98e8a824616717005f59bea592f195b1b9
parent 740812e0d83c7cfc767e4faf9bac4045ac92e1be
author Davide Pesavento <davide.pesavento@lip6.fr> 1425060915 +0100
committer Davide Pesavento <davide.pesavento@lip6.fr> 1425086680 +0100

Fix signed-unsigned comparison warnings, plus lots of other cleanups.

Change-Id: I09a5c0e97dd40c6f321948e2304883e53aafe0d4