Repository navigation

add sqrt from miri + tests v2 - #45

Open

miroo-i-dont-want-to-use-gh wants to merge 32 commits into

rust-lang:mainfrom

miroo-i-dont-want-to-use-gh:continue_sqrt_imlementation

Open

add sqrt from miri + tests v2#45
miroo-i-dont-want-to-use-gh wants to merge 32 commits into
rust-lang:mainfrom
miroo-i-dont-want-to-use-gh:continue_sqrt_imlementation

Commits on Mar 27, 2026
- add sqrt from miri + tests
  ValorZard
  committed
  cec3240
- actually test double
  ValorZard
  committed
  9108da8
- formatting
  ValorZard
  committed
  0a204b9
- remove unnecessary variables
  ValorZard
  committed
  b16d17f
- add check against host cpu sqrt
  ValorZard
  committed
  816b4ea
- check all float versions
  ValorZard
  committed
  b2fe989
- minor formatting
  ValorZard
  committed
  3fc058a
Commits on Apr 1, 2026
- added comment documenting sqrt behavior
  ValorZard
  committed
  f08e8be
- push and hope fuzz gets triggered by CI
  ValorZard
  committed
  059fc87
- formatting
  ValorZard
  committed
  1deb61a
Commits on Apr 2, 2026
- add comment
  ValorZard
  committed
  b6404fe
- code cleanup, make sqrt function ieee only
  ValorZard
  committed
  64387f7
Commits on Apr 3, 2026
- add rounding mode as parameter
  ValorZard
  committed
  562f7ef
- move code around to downstream.rs
  ValorZard
  committed
  c13103d
- nan improvement
  ValorZard
  committed
  d0a2760
- gonna push this and hope it fuzzes correctly
  ValorZard
  committed
  d645d5f
- add dead code check
  ValorZard
  committed
  fa1f260
- remove copy sign, hope this fuzzes correctly
  ValorZard
  committed
  23db47a
Commits on Oct 6, 2026
- merged main, added various files needed to fuzz on NixOS, and attempted to implemented sqrt fuzzing (which currently causes compile time errors
  miro
  committed
  865834b
Commits on Oct 7, 2026
- fixed compiler errors
  miro
  committed
  a14e94e
- made fuzz_sqrt parallel
  miro
  committed
  f0c1078
- fixed sqrt of a negative number NaNs having the wrong NaN sign
  miro
  committed
  cfb4c01
Commits on Oct 8, 2026
- undid making NaNs negative as that's just x86 behaviour, fixed fuzz_sqrt comparing NaN signs on non-NaN inputs, and fixed Op::ALL not containing all Op variants
  miro
  committed
  0972132
- fixed the intentional panic in ieee_sqrt counting as a crash when fuzzing and the fuzzer attempting to run the C++ implementation of sqrt (which doesn't exist)
  miro
  committed
  bed837a
Commits on Oct 9, 2026
- added correct host sqrt fuzzing using asm
  miro
  committed
  22c7757
- removed files I used to make the fuzzer build
  miro
  committed
  9a8771d
- this one also needs to be deleted
  miro
  committed
  4d5a351
Commits on Oct 10, 2026
- rustfmt
  miro
  committed
  7c00892
- added f16 sqrt
  miro
  committed
  a70a540
- renamed sqrt asm registers
  miro
  committed
  c08dbde
- removed unused import
  miro
  committed
  40a41e9
- ignored fuzz_sqrt by default as its very slow
  miro
  committed
  28d1339

Commits

Commits on Mar 27, 2026

Commits on Apr 1, 2026

Commits on Apr 2, 2026

Commits on Apr 3, 2026

Commits on Oct 6, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026

Commits on Oct 9, 2026

Commits on Oct 10, 2026