RalfJung
Follow
Popular repositories
2,736 contributions in the last year
Activity overview
Contribution activity
August 2022
Created 109 commits in 9 repositories
Created 1 repository
- RalfJung/anyhow Rust
Created a pull request in rust-lang/rust that received 14 comments
interpret: remove support for uninitialized scalars
With Miri no longer supporting -Zmiri-allow-uninit-numbers, we no longer need to support storing uninit data in a Scalar. We anyway already only us…
+504
−933
•
14
comments
Opened 38 other pull requests in 5 repositories
rust-lang/miri
18
merged
2
open
- rustup
- don't make it quite so easy to get Miri to panic
- clarifying comments for target-dir handling
- enable rustc lints
- also forward --manifest-path to 'cargo metadata'
- allow NOP-casts with mismatching vtables
- fix RUSTC_BACKTRACE always being set
- stop excluding TERM env var on Unix
- support current_exe and home_dir on macOS
- implement some missing float functions
- add support for env::home_dir
- fix an ICE in nanosleep()
- avoid strerror_r failure on unknown errnum
- Atomics must be mutable
- add special exception for std_miri_test crate to call std-only functions
- split cargo-miri into multiple files
- avoid double-space in test logging
- Add shim for realpath on unix
- adjust for earlier init checking in the core engine
- rustup
rust-lang/rust
6
merged
8
open
- update Miri
- also update anyhow in codegen_cranelift
- remove an ineffective check in const_prop
- add -Zextra-const-ub-checks to enable more UB checking in const-eval
- make NOP dyn casts not require anything about the vtable
- test: skip terminfo parsing in Miri
- std: use realstd fast key when building tests
- add method to get the mutability of an AllocId
- add miri-test-libstd support to libstd
- Fix test: chunks_mut_are_send_and_sync
- update anyhow
- interpret: use new OpTy::len for Len rvalue
- never consider unsafe blocks unused if they would be required with deny(unsafe_op_in_unsafe_fn)
- fix is_disaligned logic for nested packed structs
dtolnay/anyhow
1
closed
1
merged
rust-lang/cargo
1
merged
rust-lang/rustc-perf
1
merged
Reviewed 26 pull requests in 4 repositories
rust-lang/rust
14 pull requests
- Check uniqueness of impl items by trait item when applicable.
- add -Zextra-const-ub-checks to enable more UB checking in const-eval
-
Mention
unit-testin MIR opt test README - add method to get the mutability of an AllocId
- test: skip terminfo parsing in Miri
- std: use realstd fast key when building tests
- Add empty ConstKind::Abstract
- Add back Send and Sync impls on ChunksMut iterators
- const_eval: Consider array length constant even if array is not
- do not claim that transmute is like memcpy
- never consider unsafe blocks unused if they would be required with deny(unsafe_op_in_unsafe_fn)
- update few deps
- More layout sanity checks
- Add clarifying context to the most confusing pointer APIs
rust-lang/miri
10 pull requests
- Fetch miri flags from cargo config
- Windows thread support: Part 1
- Improve information sharing across SB diagnostics
- enable rustc lints
- Atomics must be mutable
- Adding support for external C functions that have integer (or empty) args and/or returns
-
Add additional raw error mappings for the nightly
io_error_morefeature - split cargo-miri into multiple files
-
Add shim for
realpathon unix -
Add
mkstempshim for unix
rust-lang/rustc-perf
1 pull request
rust-lang/reference
1 pull request
Created an issue in rust-lang/unsafe-code-guidelines that received 21 comments
Should failing atomic RMWs be writes for the purpose of the aliasing model and data races?
Specifically, should this code be UB? use std::sync::atomic::{AtomicI32, Ordering}; fn main() { let x = &AtomicI32::new(0); let y = x as *const Ato…
21
comments