rust-lang miri issues - Githubissues

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.18k stars 323 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

make 'missing extern static' error consistent with missing shim

#3455 RalfJung closed 3 months ago
4
`dup()` not supported

#3454 RalfJung closed 2 weeks ago
1
Rustup

#3453 RalfJung closed 3 months ago
4
linux/foreign_items: reorder things to make more sense

#3451 RalfJung closed 3 months ago
4
Reusing allocation addresses should imply a happens-before relationship

#3450 joboet closed 3 months ago
21
Implement basic support for sockets

#3449 RalfJung opened 3 months ago
1
Implement basic epoll support

#3448 RalfJung opened 3 months ago
4
Automatic Rustup

#3447 github-actions[bot] closed 3 months ago
4
eventfd: fix flag check and note a FIXME

#3446 RalfJung closed 3 months ago
8
Complete and fix our eventfd implementation

#3445 RalfJung closed 1 month ago
8
shims/linux: move epoll and eventfd into their own respective files

#3444 RalfJung closed 3 months ago
5
Meta: Adopt a "project" process

#3443 RalfJung opened 3 months ago
16
Complete socketpair support

#3442 RalfJung closed 1 month ago
20
shims/unix: split general FD management from FS access

#3441 RalfJung closed 3 months ago
4
Automatic Rustup

#3440 github-actions[bot] closed 3 months ago
4
can't call (diverging) foreign function: __rust_alloc_error_handler

#3439 RalfJung closed 3 months ago
4
update josh version and guidance

#3438 RalfJung closed 3 months ago
4
extern-so: give the version script a better name; show errors from failing to build the C lib

#3437 RalfJung closed 3 months ago
5
speed up Windows CI

#3436 RalfJung closed 3 months ago
4
Automatic Rustup

#3435 github-actions[bot] closed 3 months ago
4
cotrol stacked borrows consistency check with its own feature flag

#3434 RalfJung closed 3 months ago
4
experiment with macOS M1 runners

#3433 RalfJung closed 3 months ago
14
run GC stress test only for host tests

#3432 RalfJung closed 3 months ago
7
Re-introduce the "expensive debug assertions" feature

#3431 RalfJung closed 3 months ago
0
make some doc comments not doc tests

#3430 RalfJung closed 3 months ago
5
De-duplicate SSE2 sll/srl/sra code

#3429 eduardosm closed 3 months ago
6
Automatic Rustup

#3428 github-actions[bot] closed 3 months ago
4
Automatic Rustup

#3427 github-actions[bot] closed 3 months ago
4
Implement minimal socket shim

#3426 ZoeS17 closed 3 months ago
7
Detect partial deadlocks

#3425 RalfJung opened 3 months ago
1
Improve deadlock diagnostics

#3424 RalfJung closed 3 months ago
0
test-cargo-miri: add proc-macro2

#3423 RalfJung closed 3 months ago
10
cargo-miri: ensure all rustc invocations go via our wrapper

#3422 RalfJung closed 2 months ago
4
avoid mutating the global environment

#3421 RalfJung closed 3 months ago
4
add eyre to test-cargo-miri

#3420 RalfJung closed 3 months ago
4
Rustup

#3419 RalfJung closed 3 months ago
6
cargo-miri, miri-script, tests/ui: misc simplifications and comments

#3418 RalfJung closed 3 months ago
5
we have to ignore RUSTC_WORKSPACE_WRAPPER as well

#3417 RalfJung closed 3 months ago
4
Automatic Rustup

#3416 github-actions[bot] closed 3 months ago
5
Tree Borrows: Make tree root always be initialized

#3415 JoJoDeveloping closed 3 months ago
6
Rustup

#3414 RalfJung closed 3 months ago
4
phase_rustdoc: add a heuristic to make us more certain that this is really rustdoc

#3413 RalfJung closed 3 months ago
4
Support argfiles in all our argument munching

#3412 RalfJung opened 3 months ago
1
Handle Miri sysroot entirely outside the Miri driver

#3411 RalfJung closed 3 months ago
15
CONTRIBUTING: vsocde settings: add --all-targets

#3410 RalfJung closed 3 months ago
4
Rustup, fix rustdoc sysroot issue

#3409 RalfJung closed 3 months ago
5
Automatic Rustup

#3408 github-actions[bot] closed 3 months ago
5
`munmap` need not point to the start of an object

#3407 Zoxc closed 3 months ago
6
many-seeds: propagate failure properly

#3406 RalfJung closed 3 months ago
7
Are our many-seeds tests failing on Windows?

#3405 RalfJung closed 3 months ago
0

Previous Next