Repository navigation

add float semantics RFC - #3514

Merged

traviscross merged 30 commits into

rust-lang:masterfrom

RalfJung:float-semantics

Jul 27, 2024

Merged

add float semantics RFC#3514
traviscross merged 30 commits into
rust-lang:masterfrom
RalfJung:float-semantics

Commits on Oct 14, 2023
- add float semantics RFC
  RalfJung
  committed
  b9ff02a
- fix typo
  
  RalfJung
  and
  slanterns
  authored
  ac910ce
- fix another typo
  
  RalfJung
  and
  PatchMixolydic
  authored
  b45d7f3
- copysign can also expose the sign of a NaN
  RalfJung
  committed
  44fc10d
Commits on Oct 17, 2023
- explain that this is a spec-only RFC
  RalfJung
  committed
  c62f40f
Commits on Oct 19, 2023
- terminology; LLVM doesn't document IEEE
  RalfJung
  committed
  af10c3a
- mention that float-to-int casts round towards zero
  RalfJung
  committed
  449e016
Commits on Oct 20, 2023
- mention the C FENV_ pragmas
  RalfJung
  committed
  8d46e0b
- mention the problem with FreeBSD
  RalfJung
  committed
  c64f06d
Commits on Nov 4, 2023
- add note on platform intrinsics
  RalfJung
  committed
  e3cbc64
Commits on Nov 8, 2023
- update C comparison
  RalfJung
  committed
  5219ac5
- add note on MSVC
  RalfJung
  committed
  2f8b973
Commits on Nov 9, 2023
- update on what C does
  RalfJung
  committed
  4380d1c
Commits on Jan 5, 2024
- concrete example for lack of precision monotonicity
  RalfJung
  committed
  f059e94
- mention fast-math intrinsics as a future possibility
  RalfJung
  committed
  1bce3f7
Commits on Jan 26, 2024
- clarify the role of non-determinism for float in const
  RalfJung
  committed
  41ec0fc
- link to some prior Rust discussion
  RalfJung
  committed
  f9e39f1
- typo
  RalfJung
  committed
  fbd54b6
Commits on Feb 1, 2024
- formatting
  RalfJung
  committed
  ce3c694
- minor tweaks
  RalfJung
  committed
  a61a7f5
- format the list of cases
  RalfJung
  committed
  ee105a1
- list all deviations from IEEE more centrally
  RalfJung
  committed
  0e84131
- future possibility: deterministic sign for SNaN
  RalfJung
  committed
  48eeb5b
Commits on Feb 6, 2024
- link to LLVM issue for lack of documented float semantics
  RalfJung
  committed
  71a5f3c
Commits on Feb 14, 2024
- clarify the scope of non-determinism
  
  RalfJung
  and
  joshtriplett
  authored
  ef1b0bf
Commits on Mar 2, 2024
- add another example for what this means for const
  RalfJung
  committed
  0b79630
Commits on Jul 18, 2024
- add some notes and comments from the lang team discussion
  RalfJung
  committed
  9042b9e
- add a paragraph on NaN debugging
  RalfJung
  committed
  7b66fc7
Commits on Jul 27, 2024
- set RFC number
  RalfJung
  committed
  f953191
- Prepare RFC 3514 to be merged
  traviscross
  committed
  ad1ec3a

Commits

Commits on Oct 14, 2023

Commits on Oct 17, 2023

Commits on Oct 19, 2023

Commits on Oct 20, 2023

Commits on Nov 4, 2023

Commits on Nov 8, 2023

Commits on Nov 9, 2023

Commits on Jan 5, 2024

Commits on Jan 26, 2024

Commits on Feb 1, 2024

Commits on Feb 6, 2024

Commits on Feb 14, 2024

Commits on Mar 2, 2024

Commits on Jul 18, 2024

Commits on Jul 27, 2024