| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-03-01 | Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errors | bors | -0/+10 | |
| Add stubs in IR and ABI for `f16` and `f128` This is the very first step toward the changes in https://github.com/rust-lang/rust/pull/114607 and the [`f16` and `f128` RFC](https://rust-lang.github.io/rfcs/3453-f16-and-f128.html). It adds the types to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive`, and just propagates those out as `unimplemented!` stubs where necessary. These types do not parse yet so there is no feature gate, and it should be okay to use `unimplemented!`. The next steps will probably be AST support with parsing and the feature gate. r? `@compiler-errors` cc `@Nilstrieb` suggested breaking the PR up in https://github.com/rust-lang/rust/pull/120645#issuecomment-1925900572 | ||||
| 2024-02-29 | add regression test | Ralf Jung | -0/+25 | |
| 2024-02-29 | Merge from rustc | Ralf Jung | -1/+1 | |
| 2024-02-29 | Preparing for merge from rustc | Ralf Jung | -1/+1 | |
| 2024-02-29 | Merge from rustc | The Miri Conjob Bot | -3/+3 | |
| 2024-02-29 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 | |
| 2024-02-29 | Stop miri if delayed bugs are present. | Nicholas Nethercote | -1/+1 | |
| Seems wise, since it shouldn't proceed in that case. | ||||
| 2024-02-28 | Add stubs for `f16` and `f128` to miri | Trevor Gross | -0/+10 | |
| 2024-02-28 | remove a wrong bitwise negation | Ralf Jung | -1/+1 | |
| 2024-02-28 | Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`. | Nicholas Nethercote | -1/+1 | |
| 2024-02-28 | Rename `DiagnosticBuilder` as `Diag`. | Nicholas Nethercote | -2/+2 | |
| Much better! Note that this involves renaming (and updating the value of) `DIAGNOSTIC_BUILDER` in clippy. | ||||
| 2024-02-27 | Auto merge of #3332 - RalfJung:trophy, r=RalfJung | bors | -0/+1 | |
| add mpsc memory leak to trophy case | ||||
| 2024-02-27 | Auto merge of #3331 - rust-lang:rustup-2024-02-27, r=RalfJung | bors | -77/+49 | |
| Automatic Rustup | ||||
| 2024-02-27 | add mpsc memory leak to trophy case | Ralf Jung | -0/+1 | |
| 2024-02-27 | Merge from rustc | The Miri Conjob Bot | -76/+48 | |
| 2024-02-27 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 | |
| 2024-02-27 | Auto merge of #121655 - matthiaskrgr:rollup-qpx3kks, r=matthiaskrgr | bors | -27/+27 | |
| Rollup of 4 pull requests Successful merges: - #121598 (rename 'try' intrinsic to 'catch_unwind') - #121639 (Update books) - #121648 (Update Vec and String `{from,into}_raw_parts`-family docs) - #121651 (Properly emit `expected ;` on `#[attr] expr`) r? `@ghost` `@rustbot` modify labels: rollup | ||||
| 2024-02-27 | Rollup merge of #121598 - RalfJung:catch_unwind, r=oli-obk | Matthias Krüger | -27/+27 | |
| rename 'try' intrinsic to 'catch_unwind' The intrinsic has nothing to do with `try` blocks, and corresponds to the stable `catch_unwind` function, so this makes a lot more sense IMO. Also rename Miri's special function while we are at it, to reflect the level of abstraction it works on: it's an unwinding mechanism, on which Rust implements panics. | ||||
| 2024-02-26 | Auto merge of #121516 - RalfJung:platform-intrinsics-begone, r=oli-obk | bors | -49/+21 | |
| remove platform-intrinsics ABI; make SIMD intrinsics be regular intrinsics `@Amanieu` `@workingjubilee` I don't think there is any reason these need to be "special"? The [original RFC](https://rust-lang.github.io/rfcs/1199-simd-infrastructure.html) indicated eventually making them stable, but I think that is no longer the plan, so seems to me like we can clean this up a bit. Blocked on https://github.com/rust-lang/stdarch/pull/1538, https://github.com/rust-lang/rust/pull/121542. | ||||
| 2024-02-26 | Fix miri.bat not bailing early on error | Ross Smyth | -1/+4 | |
| 2024-02-26 | Add shim for GetSystemTimePreciseAsFileTime | Chris Denton | -4/+5 | |
| This is exactly the same as GetSystemTimeAsFileTime except that it promises maximum precision. | ||||
| 2024-02-26 | Auto merge of #3328 - RalfJung:many-seeds, r=RalfJung | bors | -7/+14 | |
| ./miri many-seeds: support MIRI_SEED_END to control the end of the seed range | ||||
| 2024-02-26 | ./miri many-seeds: support MIRI_SEED_END to control the end of the tried ↵ | Ralf Jung | -7/+14 | |
| seed range | ||||
| 2024-02-26 | miri: rename miri_start_panic → miri_start_unwind | Ralf Jung | -22/+22 | |
| 2024-02-26 | rename 'try' intrinsic to 'catch_unwind' | Ralf Jung | -5/+5 | |
| 2024-02-26 | tree borrows: add a test to sb_fails | Ralf Jung | -2/+16 | |
| 2024-02-26 | add direct test for new ProcessPrng shim | Ralf Jung | -0/+17 | |
| 2024-02-26 | fix clippy | Ralf Jung | -1/+1 | |
| 2024-02-26 | Merge from rustc | The Miri Conjob Bot | -0/+8 | |
| 2024-02-26 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 | |
| 2024-02-25 | more dealing with macOS being slow | Ralf Jung | -1/+1 | |
| 2024-02-25 | Add ProcessPrng shim to Miri | Chris Denton | -0/+8 | |
| This is essentially the same as SystemFunction036 (aka RtlGenRandom) except that the given length is a usize instead of a u32 | ||||
| 2024-02-25 | Merge from rustc | Ralf Jung | -21/+41 | |
| 2024-02-25 | Preparing for merge from rustc | Ralf Jung | -1/+1 | |
| 2024-02-25 | Auto merge of #121579 - RalfJung:miri, r=RalfJung | bors | -320/+457 | |
| Miri subtree update r? `@ghost` | ||||
| 2024-02-25 | fix use of platform_intrinsics in tests | Ralf Jung | -49/+21 | |
| 2024-02-24 | Auto merge of #3318 - RalfJung:compiletest-rebuilds, r=oli-obk | bors | -10/+7 | |
| compiletest: call cargo-miri directly rather than via 'cargo run' Fixes https://github.com/rust-lang/miri/issues/3297. Thanks to `@bjorn3` for figuring out the cause of this. r? `@oli-obk` | ||||
| 2024-02-24 | Auto merge of #3312 - RossSmyth:miri-clean, r=RalfJung | bors | -16/+84 | |
| Add "cargo miri clean" command My first reaction when my miri cache was messed up was to attempt run this, which obviously failed. This helps paper over platform differences and such. | ||||
| 2024-02-24 | compiletest: call cargo-miri directly rather than via 'cargo run' | Ralf Jung | -10/+7 | |
| 2024-02-24 | Add "cargo miri clean" command | Ross Smyth | -16/+84 | |
| 2024-02-24 | Auto merge of #3316 - RossSmyth:windows-script, r=RalfJung | bors | -0/+10 | |
| Windows miri-script execution egronomics This allows for Windows users to use miri-script without pain. As working on miri earlier I was doing `.\miri-script\target\debug\miri-script.exe { install | build | ... }` which wasn't fun. | ||||
| 2024-02-24 | Windows miri-script execution egronomics | Ross Smyth | -0/+10 | |
| This allows for Windows users to use miri-script without pain | ||||
| 2024-02-24 | Rollup merge of #121522 - RalfJung:insert-extract-boundscheck, r=oli-obk | Matthias Krüger | -6/+27 | |
| check that simd_insert/extract indices are in-bounds Fixes https://github.com/rust-lang/rust/issues/77477 r? `@oli-obk` | ||||
| 2024-02-23 | Auto merge of #3314 - RalfJung:up, r=RalfJung | bors | -272/+248 | |
| cargo update | ||||
| 2024-02-23 | cargo update | Ralf Jung | -272/+248 | |
| 2024-02-23 | interpret: do no ICE on OOB shuffle/insert/extract indices | Ralf Jung | -6/+27 | |
| 2024-02-23 | Get rid of some `#[allow(static_mut_refs)]` | Pavel Grigorenko | -15/+14 | |
| 2024-02-22 | fmt | The Miri Conjob Bot | -3/+5 | |
| 2024-02-22 | Merge from rustc | The Miri Conjob Bot | -25/+25 | |
| 2024-02-22 | Preparing for merge from rustc | The Miri Conjob Bot | -1/+1 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |