Code

Apply random float error#4156

Code

Merged

RalfJung merged 2 commits intorust-lang:masterrust-lang/miri:masterfrom LorrensP-2158466:apply-random-float-errorLorrensP-2158466/miri:apply-random-float-errorCopy head branch name to clipboardFeb 16, 2025

+316-74

Commits

Commits on Feb 16, 2025

• apply random float error to most floating-point operations

  

  LorrensP-2158466

  authored and

  RalfJung

  committed
  f5330d0

  Copy full SHA for f5330d0

• add erf and erfc to nondet tests, and reduce how much we're changing the float test

  RalfJung

  committed
  5c9eaa3

  Copy full SHA for 5c9eaa3