-
Notifications
You must be signed in to change notification settings - Fork 349
Insights: rust-lang/miri
Overview
Could not load contribution data
Please try again later
12 Pull requests merged by 6 people
-
sysconf interception fix for solarish systems.
#4052 merged
Nov 23, 2024 -
eventfd: comment tweaks
#4047 merged
Nov 22, 2024 -
Automatic Rustup
#4049 merged
Nov 22, 2024 -
Fill out windows io error mapping table
#4046 merged
Nov 21, 2024 -
Rustup
#4044 merged
Nov 21, 2024 -
trophy case: add RwLock::downgrade bug
#4042 merged
Nov 20, 2024 -
miri: implement square root without relying on host floats
#4026 merged
Nov 20, 2024 -
Automatic Rustup
#4041 merged
Nov 20, 2024 -
refactor: refine thread variant for windows
#4035 merged
Nov 19, 2024 -
Automatic Rustup
#4040 merged
Nov 19, 2024 -
use -Zroot-dir instead of --remap-path-prefix for diagnostic dir handling
#4039 merged
Nov 19, 2024 -
Automatic Rustup
#4038 merged
Nov 18, 2024
6 Pull requests opened by 4 people
-
experiment with using clap
#4036 opened
Nov 17, 2024 -
Refactor AnonSocket::read/write for blocking socketpair
#4037 opened
Nov 17, 2024 -
Implement file metadata, read, and write APIs.
#4043 opened
Nov 21, 2024 -
Move FdTable to a common location and split off Unix behavior
#4045 opened
Nov 21, 2024 -
sysconf adding few more constants.
#4053 opened
Nov 23, 2024 -
follow-up on #4052, making a miri evaluation context fn for strerror_r.
#4054 opened
Nov 23, 2024
2 Issues closed by 1 person
-
Miri broken on Solaris
#4050 closed
Nov 23, 2024 -
Refine the `Thread` variant of Windows `Handle` enum
#4014 closed
Nov 19, 2024
2 Issues opened by 2 people
-
What should happen when an FD is closed while a thread is blocked on it?
#4051 opened
Nov 22, 2024 -
unix: add support for libc::readv and libc::writev
#4048 opened
Nov 22, 2024
6 Unresolved conversations
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Fix #3846 properly, so that subtrees can be skipped again
#4006 commented on
Nov 19, 2024 • 4 new comments -
Randomize thread unblocking operation
#4032 commented on
Nov 18, 2024 • 0 new comments -
Windows file system shims are missing
#3482 commented on
Nov 21, 2024 • 0 new comments -
Add a way to extract miri flags from --config, env and toml
#3875 commented on
Nov 19, 2024 • 0 new comments -
Added epoll and eventfd for Android
#4016 commented on
Nov 22, 2024 • 0 new comments -
filesystem support for solarish.
#4031 commented on
Nov 22, 2024 • 0 new comments