Forked from
Core Modules / dune-common
1376 commits behind the upstream repository.
-
Oliver Sander authored
seem to change much when compiled with optimization (besides the shorter code), but leads to a 50% run-time reduction when compiled without optimization. [[Imported from SVN: r5996]]
Oliver Sander authoredseem to change much when compiled with optimization (besides the shorter code), but leads to a 50% run-time reduction when compiled without optimization. [[Imported from SVN: r5996]]
