rust-lang/miri

Issues

• "local crate" detection does not work any more

  #3643 opened 11 days ago by narpfel
  0

• Clearer error message for unsupported flags: print names of flags (if possible)

  #3642 opened 11 days ago by tiif
  1

• Make file descriptors into refcounted references to "file descriptions"

  #3525 opened a month ago by RalfJung
  12

• Big `Vec::try_reserve` OOMs Miri (slowly)

  #3637 opened 12 days ago by DaniPopes
  12

• Complete basic support for wasm32-wasip2

  #3607 opened 24 days ago by RalfJung
  9

• miri-script: use a proper CLI arg parsing tool

  #3592 opened a month ago by RalfJung
  1

• Android: make std thread APIs work

  #3618 opened 21 days ago by RalfJung
  0

• Miri accepts an open-coded compare-exchange loop but rejects the equivalent code using fetch_update

  #3613 opened 21 days ago by adamreichold
  5

• Complete basic support for android

  #3608 opened 21 days ago by RalfJung
  3

• Implement aligned_alloc

  #3577 opened 21 days ago by RalfJung
  10

• Android: implement support for pthread synchronization primitives

  #3617 opened 21 days ago by RalfJung
  0

• FreeBSD: implement support for pthread synchronization primitives

  #3571 opened a month ago by RalfJung
  0

• strerror based on ErrorKind is technically valid but surprising

  #3612 opened 22 days ago by saethlin
  3

• Give `FileDescription::{read, write}` access to the `InterpCx`

  #3572 opened 22 days ago by RalfJung
  1

• Support more ways of using mmap

  #3605 opened a month ago by RalfJung
  0

• Illumos: make basic std facilities work

  #3567 opened a month ago by RalfJung
  1

• Make `malloc(0)` and `posix_memalign(0)` return a non-null pointer

  #3576 opened a month ago by RalfJung
  8

• Use non-deterministic precision for float operations that do not have guaranteed precision

  #3555 opened a month ago by RalfJung
  1

• Use apfloat for full-precision sqrt

  #3534 opened a month ago by RalfJung
  0

• macOS: support calling native functions

  #3595 opened a month ago by RalfJung
  0

• Detect UB due to mismatching declarations?

  #3581 opened a month ago by RalfJung
  1

• Miri tests on Windows require admin for symlinks

  #3587 opened a month ago by RossSmyth
  10

• Revamp "./miri test": parse --target ourselves, pass the rest to the test harness

  #3586 opened a month ago by RalfJung
  3

• Cannot add new targets after installation of toolchain

  #3584 opened a month ago by RossSmyth
  4

• "constructing invalid value: wrong trait in wide pointer vtable" for seemingly identical traits

  #3541 opened a month ago by Jules-Bertholet
  4

• Solaris: add stub shims so that pre-main code works

  #3566 opened a month ago by RalfJung
  0

• Windows file system shims are missing

  #3482 opened 2 months ago by RalfJung
  5

• Implement futex support on FreeBSD (_umtx_op)

  #3553 opened a month ago by RalfJung
  0

• On Windows, "./miri many-seeds ./miri run" re-builds Miri over and over

  #3509 opened a month ago by RalfJung
  13

• Make r? work in our PRs

  #3528 opened a month ago by RalfJung
  8

• "Install tools" always runs, even when there was a cache hit

  #3543 opened a month ago by RalfJung
  4

• Add support for many-seeds mode to `cargo miri`

  #3546 opened a month ago by RalfJung
  0

• test_dependencies build cache needs to be manually cleared

  #3468 opened 2 months ago by tiif
  5

• Feature request: make `std::thread::yield_now()` work

  #3538 opened a month ago by SUPERCILEX
  8

• MIRI_NO_STD can lead to very confusing errors

  #3529 opened a month ago by RalfJung
  3

• `cargo miri --quiet` prints `Preparing a sysroot [...]`

  #3530 opened a month ago by narpfel
  1

• sysroot is being rebuilt whenever I save a file

  #3527 opened a month ago by RustyYato
  9

• ```no_std``` issues with implementing ```panic_handler```

  #3498 opened a month ago by Necromaticon
  15

• cargo-miri: incorrect behavior when `--target` is given multiple times

  #3460 opened 2 months ago by RalfJung
  2

• localtime_r shim uses TZ variable from the host, not the interpreted program

  #3522 opened a month ago by saethlin
  5

• `ci.yml` uses `deprecated` version of `Node.js`

  #3518 opened a month ago by hamirmahal
  3

• Windows home_dir fallback when HOME is not set not supported

  #3499 opened 2 months ago by RalfJung
  0

• Add global string de-duplication cache

  #3470 opened 2 months ago by tiif
  3

• Wide pointer metadata validity: check that the vtable is for the right trait

  #3497 opened 2 months ago by RalfJung
  0

• Extend FFI support: passing pointers to and from C

  #3491 opened 2 months ago by RalfJung
  0

• Sometimes reuse stack addresses

  #3487 opened 2 months ago by RalfJung
  0

• Test suite takes a lot longer when I am not looking

  #3476 opened 2 months ago by RalfJung
  4

• Box::into_raw no longer does proper retag-to-raw

  #3473 opened 2 months ago by RalfJung
  0

• Error detected by test is rendered as json format

  #3463 opened 2 months ago by tiif
  2

• ICE when using `miri_print_borrow_state` with `-Zmiri-disable-stacked-borrows`

  #3459 opened 2 months ago by jendrikw
  2