| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-21 | Mark float intrinsics with no preconditions as safe | ltdk | -8/+8 | |
| 2025-09-06 | Change stdlib float tests to account for miri nondet floats. | LorrensP-2158466 | -5/+5 | |
| 2025-06-08 | De-duplicate f16 & f128 doctest attributes | Urgau | -66/+1 | |
| 2025-05-29 | Make `std/src/num` mirror `core/src/num` | Trevor Gross | -0/+1107 | |
| The float modules in `std` are currently top-level but for `core`, they are nested within the `num` directory and referenced by `#[path = ...]`. For consistency, adjust `std` to use the same structure as `core`. Also change the `f16` and `f128` gates from outer attributes to inner attributes like `core` has. | ||||
