Adapt perf values due to [cbde8627/integer-gmp]

Authored by hvr on Jan 13 2014, 10:32 AM.

Description

Adapt perf values due to [cbde8627/integer-gmp]

These are slight improvements due to optimizations in integer-gmp (Trac #8647)

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Details

Committed
hvrJan 13 2014, 10:32 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFa3616cd624e8: Lower T4830/allocated_bytes due to [7bdcadda7/integer-gmp] (#8647)
Branches
Unknown
Tags
Unknown