summary refs log tree commit diff
path: root/src/tools/miri/tests/pass/float.rs
AgeCommit message (Expand)AuthorLines
2025-02-26fmtThe Miri Cronjob Bot-1/+0
2025-02-25disable float non-determinism for now to be able to complete the syncRalf Jung-1/+3
2025-02-24add missing float non-determinism tests and skip some on i686-pc-windows-msvc...Ralf Jung-10/+24
2025-02-16add erf and erfc to nondet tests, and reduce how much we're changing the floa...Ralf Jung-111/+27
2025-02-16apply random float error to most floating-point operationsLorrensP-2158466-56/+267
2025-02-14miri: shims for `erf` & friendsPavel Grigorenko-0/+6
2025-01-31miri: make float min/max non-deterministicRalf Jung-0/+28
2024-11-20miri: implement square root without relying on host floatsEduardo Sánchez Muñoz-2/+12
2024-10-17miri: improve support for `f16` and `f128`Eduardo Sánchez Muñoz-9/+151
2024-10-11intrinsics.fmuladdf{16,32,64,128}: expose llvm.fmuladd.* semanticsJed Brown-0/+18
2024-07-04Add casting tests for `f16` and `f128`Trevor Gross-0/+66
2024-07-04Refactor float casting testsTrevor Gross-186/+390
2024-06-14Add `f16` and `f128` support to MiriTrevor Gross-98/+51
2024-05-12merge float tests into oneRalf Jung-0/+67
2024-01-19Stabilize `round_ties_even`Jules Bertholet-1/+0
2024-01-06these should be exactRalf Jung-8/+8
2024-01-06merge intrinsics-math into float testsRalf Jung-2/+161
2023-09-29add tests for '%' sign on floatsRalf Jung-0/+10
2023-03-11Implement intrinsics for round_ties_evenBen Kimock-0/+30
2022-09-27Stabilize bench_black_boxUrgau-1/+1
2022-09-21Add 'src/tools/miri/' from commit '75dd959a3a40eb5b4574f8d2e23aa6efbeb33573'Oli Scherer-0/+555