diff mxtool/.project @ 5884:347fad1ea1d0

increase full unrolling budget for fixed-size loops
author Lukas Stadler <lukas.stadler@jku.at>
date Fri, 17 Aug 2012 14:12:00 +0200
parents 527724d26036
children
line wrap: on
line diff