Mercurial > hg > truffle
view mx.cmd @ 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 | 4023bae16d02 |
children | 46c51b5d0abb |
author | Lukas Stadler <lukas.stadler@jku.at> |
---|---|
date | Fri, 17 Aug 2012 14:12:00 +0200 |
parents | 4023bae16d02 |
children | 46c51b5d0abb |