Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on May 27, 2024

• also add type aliases for the pointer types

  RalfJung

  committed
  524de9f

• avoid repeating the Provenance parameter everywhere

  RalfJung

  committed
  9204c07

• fmt

  RalfJung

  committed
  885ea23

• Merge from rustc

  RalfJung

  committed
  c2be1ac

• interpret: get rid of 'mir lifetime everywhere

  RalfJung

  committed
  d5d5b45

• interpret: the MIR is actually at lifetime 'tcx

  RalfJung

  committed
  ad582fd

Commits on May 26, 2024

• avoid using macro_use

  RalfJung

  committed
  321a3f0

Commits on May 22, 2024

• clippy

  RalfJung

  committed
  a1aed15

Commits on May 18, 2024

• Fix typos (taking into account review comments)

  blyxyas

  committed
  81f85ec

Commits on May 10, 2024

• Make builtin_deref just return a Ty

  compiler-errors

  committed
  fb34667

Commits on May 2, 2024

• Tree Borrows: first apply transition, then check protector with new 'initialized'

  RalfJung

  committed
  dc1709a

Commits on Apr 23, 2024

• chore: fix some typos in comments

  Show description for e1a868f
  forcedebug

  committed
  e1a868f

Commits on Apr 20, 2024

• fix clippy warning

  RalfJung

  committed
  ba56347

Commits on Apr 17, 2024

• Merge from rustc

  RalfJung

  committed
  ec6cf3c

• interpret: rename base_pointer -> root_pointer

  Show description for 444a440
  RalfJung

  committed
  444a440

• Merge from rustc

  

  The Miri Cronjob Bot

  committed
  79ad2f6

Commits on Apr 16, 2024

• interpret: pass MemoryKind to before_memory_deallocation

  RalfJung

  committed
  2962277

• deadlock: show backtrace for all threads

  RalfJung

  committed
  03b6dae

Commits on Apr 6, 2024

• chore: fix some typos

  Show description for ca445b9
  

  findseat

  committed
  ca445b9

Commits on Mar 30, 2024

• cotrol stacked borrows consistency check with its own feature flag

  RalfJung

  committed
  4a055be

• make some doc comments not doc tests

  RalfJung

  committed
  278869b

Commits on Mar 26, 2024

• Tree Borrows: Make tree root always be Active and initialized

  Show description for 5b208c4
  JoJoDeveloping

  committed
  5b208c4

Commits on Mar 23, 2024

• Auto merge of rust-lang#3385 - Zoxc:read-types, r=RalfJung

  Show description for 3670823
  bors

  committed
  3670823

• Report retags as distinct from real memory accesses for data races

  Zoxc

  committed
  3cf20a2

Commits on Mar 22, 2024

• And the tools too

  compiler-errors

  committed
  a048b16

• Programmatically convert some of the pat ctors

  compiler-errors

  committed
  9bc75fd

Commits on Mar 18, 2024

• remove retag_box_to_raw, it is no longer needed

  RalfJung

  committed
  324b928

• add_retag: ensure box-to-raw-ptr casts are preserved for Miri

  RalfJung

  committed
  f361080

Commits on Mar 13, 2024

• Auto merge of #122240 - RalfJung:miri-addr-reuse, r=oli-obk

  Show description for 7285311
  bors

  committed
  7285311

Commits on Mar 9, 2024

• interpret: pass Size and Align to before_memory_deallocation

  RalfJung

  committed
  aae9f90

• miri: do not apply aliasing restrictions to Box with custom allocator

  RalfJung

  committed
  fcb8d60

Commits on Mar 2, 2024

• Tree Borrows: print where the forbidden access happens; make tag tracking less verbose

  RalfJung

  committed
  2982438

• add option to track all read/write accesses to tracked allocations

  RalfJung

  committed
  61b58bd

Commits on Feb 17, 2024

• Merge from rustc

  

  The Miri Conjob Bot

  committed
  f9c8ad5

Commits on Feb 15, 2024

• Replace NonZero::<_>::new with NonZero::new.

  reitermarkus

  committed
  fc4253f

Pagination

PreviousNext