| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2025-09-10 | interpret: copy_provenance: avoid large intermediate buffer for large repeat ↵ | Ralf Jung | -2/+7 | |
| counts | ||||
| 2025-09-08 | const-eval: disable pointer fragment support | Ralf Jung | -0/+5 | |
| 2025-07-30 | const-eval: full support for pointer fragments | Ralf Jung | -34/+50 | |
| 2025-07-17 | Report the range of uninit bytes in CTFE errors | Oli Scherer | -2/+5 | |
| 2025-07-10 | interpret/allocation: expose init + write_wildcards on a range | Nia Espera | -18/+15 | |
| 2025-07-07 | compiler: Parse `p-` specs in datalayout string, allow definition of custom ↵ | Edoardo Marangoni | -3/+3 | |
| default data address space | ||||
| 2025-07-02 | interpret: move the native call preparation logic into Miri | Ralf Jung | -8/+1 | |
| 2025-06-29 | give Pointer::into_parts a more scary name and offer a safer alternative | Ralf Jung | -2/+2 | |
| 2025-05-28 | interpret/allocation: make alloc fn be FnOnce | Nia Espera | -1/+1 | |
| 2025-05-26 | extend allocbytes with associated type | Nia Espera | -17/+41 | |
| 2025-03-15 | Move codec module back into middle | Michael Goulet | -6/+5 | |
| 2025-03-13 | Auto merge of #137152 - saethlin:bss-const-allocs, r=wesleywiser | bors | -2/+115 | |
| Add a .bss-like scheme for encoded const allocs This check if all bytes are zero feel like it should be too slow, and instead we should have a flag that we track, but that seems hard. Let's see how this perfs first. Also we can probably stash the "it's all zero actually" flag inside one of the other struct members that's already not using an entire byte. This optimization doesn't fire all that often, so it's possible that by sticking it in the varint length field, this PR actually makes rmeta size worse. | ||||
| 2025-03-11 | miri native_calls: ensure we actually expose *mutable* provenance to the ↵ | Ralf Jung | -0/+5 | |
| memory FFI can access | ||||
| 2025-03-06 | Rollup merge of #137920 - RalfJung:provenance-map-emptiness, r=oli-obk | Michael Goulet | -1/+1 | |
| interpret/provenance_map: consistently use range_is_empty https://github.com/rust-lang/rust/pull/137704 started using this for per-ptr provenance; let's be consistent and use it also for the per-byte provenance check. Also rename the methods to avoid having both "get" and "is_empty" in the name. r? ````@oli-obk```` | ||||
| 2025-03-03 | interpret/provenance_map: consistently use range_is_empty | Ralf Jung | -1/+1 | |
| 2025-03-02 | Revert "Auto merge of #135335 - oli-obk:push-zxwssomxxtnq, r=saethlin" | Michael Goulet | -1/+1 | |
| This reverts commit a7a6c64a657f68113301c2ffe0745b49a16442d1, reversing changes made to ebbe63891f1fae21734cb97f2f863b08b1d44bf8. | ||||
| 2025-02-19 | Add a .bss-like scheme for encoded const allocs | Ben Kimock | -2/+115 | |
| 2025-02-08 | Rustfmt | bjorn3 | -4/+7 | |
| 2025-01-28 | miri: optimize zeroed alloc | SpecificProtagonist | -6/+20 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2025-01-21 | Also generate undef scalars and scalar pairs | Oli Scherer | -1/+1 | |
| 2024-12-05 | extend Miri to correctly pass mutable pointers through FFI | Strophox | -0/+22 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-11-03 | compiler: Directly use rustc_abi in metadata and middle | Jubilee Young | -1/+1 | |
| Stop reexporting ReprOptions from middle::ty | ||||
| 2024-10-19 | interpret errors: add map_err_kind, rename InterpError -> InterpErrorKind | Ralf Jung | -10/+10 | |
| 2024-10-01 | make InterpResult a dedicated type to avoid accidentally discarding the error | Ralf Jung | -7/+8 | |
| 2024-09-22 | Reformat using the new identifier sorting from rustfmt | Michael Goulet | -3/+3 | |
| 2024-09-12 | Rollup merge of #130235 - compiler-errors:nested-if, r=michaelwoerister | Stuart Cook | -16/+14 | |
| Simplify some nested `if` statements Applies some but not all instances of `clippy::collapsible_if`. Some ended up looking worse afterwards, though, so I left those out. Also applies instances of `clippy::collapsible_else_if` Review with whitespace disabled please. | ||||
| 2024-09-11 | Rollup merge of #130114 - eduardosm:needless-returns, r=compiler-errors | Jubilee | -1/+1 | |
| Remove needless returns detected by clippy in the compiler | ||||
| 2024-09-11 | Simplify some nested if statements | Michael Goulet | -16/+14 | |
| 2024-09-09 | Remove needless returns detected by clippy in the compiler | Eduardo Sánchez Muñoz | -1/+1 | |
| 2024-09-08 | interpret: reset provenance on typed copies | Ralf Jung | -0/+6 | |
| 2024-08-30 | enable Miri to pass const pointers through FFI | Strophox | -1/+2 | |
| Co-authored-by: Ralf Jung <post@ralfj.de> | ||||
| 2024-08-14 | use the new Box methods in the interpreter | Ralf Jung | -4/+2 | |
| 2024-07-29 | Reformat `use` declarations. | Nicholas Nethercote | -8/+4 | |
| The previous commit updated `rustfmt.toml` appropriately. This commit is the outcome of running `x fmt --all` with the new formatting options. | ||||
| 2024-06-21 | add as_ptr to trait AllocBytes, fix 2 impls; add pub fn ↵ | Strophox | -3/+23 | |
| get_bytes_unchecked_raw in allocation.rs; add pub fn get_alloc_bytes_unchecked_raw[_mut] in memory.rs | ||||
| 2024-06-17 | interpret: better error when we ran out of memory | Ralf Jung | -2/+5 | |
| 2024-05-27 | miri: avoid making a full copy of all new allocations | Ralf Jung | -22/+21 | |
| 2024-05-03 | remove trait bounds on AllocBytes | Strophox | -3/+1 | |
| 2024-05-03 | Cow::from(&*...) changed to Cow::Owned(Vec::from(...)) | Strophox | -1/+1 | |
| 2024-05-03 | generalize adjust_from_tcx | Strophox | -4/+4 | |
| 2024-04-29 | Remove `extern crate rustc_macros` from `rustc_middle`. | Nicholas Nethercote | -0/+1 | |
| 2024-03-15 | interpret/allocation: fix aliasing issue in interpreter and refactor getters ↵ | Ralf Jung | -11/+31 | |
| a bit - rename mutating functions to be more scary - add a new raw bytes getter | ||||
| 2024-01-10 | Add `DiagCtxt::delayed_bug`. | Nicholas Nethercote | -4/+1 | |
| We have `span_delayed_bug` and often pass it a `DUMMY_SP`. This commit adds `delayed_bug`, which matches pairs like `err`/`span_err` and `warn`/`span_warn`. | ||||
| 2023-12-24 | Remove `Session` methods that duplicate `DiagCtxt` methods. | Nicholas Nethercote | -1/+1 | |
| Also add some `dcx` methods to types that wrap `TyCtxt`, for easier access. | ||||
| 2023-12-07 | ctfe interpreter: extend provenance so that it can track whether a pointer ↵ | Ralf Jung | -8/+8 | |
| is immutable | ||||
| 2023-12-02 | Rename `HandlerInner::delay_span_bug` as `HandlerInner::span_delayed_bug`. | Nicholas Nethercote | -1/+1 | |
| Because the corresponding `Level` is `DelayedBug` and `span_delayed_bug` follows the pattern used everywhere else: `span_err`, `span_warning`, etc. | ||||
| 2023-10-14 | interpret: clean up AllocBytes | Ralf Jung | -13/+5 | |
| 2023-08-09 | Convert Const to Allocation in smir | ouz-a | -0/+3 | |
| 2023-08-02 | const validation: point at where we found a pointer but expected an integer | Ralf Jung | -25/+41 | |
| 2023-07-25 | add some sanity checks in write_immediate_no_validate | Ralf Jung | -1/+1 | |
| 2023-06-01 | Use translatable diagnostics in `rustc_const_eval` | Deadbeef | -19/+29 | |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |