Commits

Breadcrumbs

History for

onrustdoc-js-less-expect-error-part5

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 20, 2025

• interpret memory access hooks: also pass through the Pointer used for the access

  RalfJung

  committed
  b9f59f6

  Copy full SHA for b9f59f6

Commits on Mar 12, 2025

• minor interpret cleanups

  RalfJung

  committed
  03c1b43

  Copy full SHA for 03c1b43

Commits on Mar 11, 2025

• miri native_calls: ensure we actually expose *mutable* provenance to the memory FFI can access

  RalfJung

  committed
  3846f94

  Copy full SHA for 3846f94

Commits on Feb 28, 2025

• miri native-call support: all previously exposed provenance is accessible to the callee

  RalfJung

  committed
  50a37ca

  Copy full SHA for 50a37ca

Commits on Jan 30, 2025

• Auto merge of #136035 - SpecificProtagonist:miri-zeroed-alloc, r=oli-obk

  Show description for 5e55679
  bors

  committed
  5e55679

  Copy full SHA for 5e55679

Commits on Jan 28, 2025

• miri: optimize zeroed alloc

  Show description for eee9df4
  

  SpecificProtagonist

  and

  RalfJung

  committed
  eee9df4

  Copy full SHA for eee9df4

• interpret: is_alloc_live: check global allocs last

  RalfJung

  committed
  bc135aa

  Copy full SHA for bc135aa

Commits on Jan 18, 2025

• const-eval: detect more pointers as definitely not-null

  RalfJung

  committed
  e1dda10

  Copy full SHA for e1dda10

Commits on Dec 21, 2024

• ptr::copy: fix docs for the overlapping case

  RalfJung

  committed
  526d298

  Copy full SHA for 526d298

Commits on Dec 6, 2024

• Rollup merge of #133211 - Strophox:miri-correct-state-update-ffi, r=RalfJung

  Show description for 576176d
  matthiaskrgr

  authored
  576176d

  Copy full SHA for 576176d

Commits on Dec 5, 2024

• extend Miri to correctly pass mutable pointers through FFI

  Show description for 712ceab
  

  Strophox

  and

  RalfJung

  committed
  712ceab

  Copy full SHA for 712ceab

Commits on Nov 19, 2024

• `InterpCx` store `TypingEnv` instead of a `ParamEnv`

  lcnr

  committed
  7a90e84

  Copy full SHA for 7a90e84

• move `fn is_item_raw` to `TypingEnv`

  lcnr

  committed
  948cec0

  Copy full SHA for 948cec0

Commits on Nov 18, 2024

• use `TypingEnv` when no `infcx` is available

  Show description for 9cba14b
  lcnr

  committed
  9cba14b

  Copy full SHA for 9cba14b

Commits on Nov 9, 2024

• make return type of get_alloc_info a struct, and reduce some code duplication with validity checking

  RalfJung

  committed
  4a54ec8

  Copy full SHA for 4a54ec8

• interpret: get_alloc_info: also return mutability

  RalfJung

  committed
  30a2ae6

  Copy full SHA for 30a2ae6

Commits on Nov 3, 2024

• compiler: Directly use rustc_abi in const_eval

  workingjubilee

  committed
  bbd18e2

  Copy full SHA for bbd18e2

Commits on Oct 12, 2024

• miri: avoid cloning AllocExtra

  RalfJung

  committed
  bc4366b

  Copy full SHA for bc4366b

Commits on Oct 1, 2024

• make InterpResult a dedicated type to avoid accidentally discarding the error

  RalfJung

  committed
  c4ce8c1

  Copy full SHA for c4ce8c1

Commits on Sep 23, 2024

• Check vtable projections for validity in miri

  compiler-errors

  committed
  702a644

  Copy full SHA for 702a644

Commits on Sep 22, 2024

• Reformat using the new identifier sorting from rustfmt

  compiler-errors

  committed
  c682aa1

  Copy full SHA for c682aa1

Commits on Sep 15, 2024

• Rollup merge of #130342 - RalfJung:slice-idx-overflow, r=saethlin

  Show description for 96195a5
  matthiaskrgr

  authored
  96195a5

  Copy full SHA for 96195a5

• Rollup merge of #129828 - RalfJung:miri-data-race, r=saethlin

  Show description for 6ac598a
  matthiaskrgr

  authored
  6ac598a

  Copy full SHA for 6ac598a

• interpret: get_ptr_alloc_mut: lookup allocation only once

  RalfJung

  committed
  f16f09d

  Copy full SHA for f16f09d

• also use compute_size_in_bytes for relevant multiplications in Miri

  RalfJung

  committed
  268f6cf

  Copy full SHA for 268f6cf

Commits on Sep 13, 2024

• Rename and reorder lots of lifetimes.

  Show description for 8d32578
  nnethercote

  committed
  8d32578

  Copy full SHA for 8d32578

Commits on Sep 10, 2024

• miri: treat non-memory local variables properly for data race detection

  RalfJung

  committed
  a888905

  Copy full SHA for a888905

Commits on Sep 8, 2024

• interpret: reset padding during validation

  RalfJung

  committed
  8cd982c

  Copy full SHA for 8cd982c

• interpret: reset provenance on typed copies

  RalfJung

  committed
  cbdcbf0

  Copy full SHA for cbdcbf0

Commits on Sep 2, 2024

• chore: Fix typos in 'compiler' (batch 1)

  Sajjon

  committed
  ac69544

  Copy full SHA for ac69544

Commits on Aug 27, 2024

• Rollup merge of #128942 - RalfJung:interpret-weak-memory, r=saethlin

  Show description for 427019e
  tgross35

  authored
  427019e

  Copy full SHA for 427019e

Commits on Aug 12, 2024

• miri weak memory emulation: initialize store buffer only on atomic writes; pre-fill with previous value

  RalfJung

  committed
  8b18c6b

  Copy full SHA for 8b18c6b

Commits on Aug 6, 2024

• miri: make vtable addresses not globally unique

  RalfJung

  committed
  5cab8ae

  Copy full SHA for 5cab8ae

Commits on Aug 3, 2024

• Miri: add a flag to do recursive validity checking

  RalfJung

  committed
  21c0251

  Copy full SHA for 21c0251

Commits on Aug 1, 2024

• interpret: simplify pointer arithmetic logic

  RalfJung

  committed
  5d5c97a

  Copy full SHA for 5d5c97a

Pagination

Previous

Next