RalfJung

Follow

Ralf Jung RalfJung

Follow

466 followers · 0 following

https://www.ralfj.de

Achievements

BetaSend feedback

Achievements

BetaSend feedback

Organizations

Block or Report

Block or report RalfJung

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

rust-101 Public

A tutorial for the Rust language

Rust 254 32
minirust Public

A precise specification for "Rust lite / MIR plus"

71 4
git-mirror Public

Keep git repositories on multiple servers in sync

Python 70 12
lilass Public

Linux Laptop Screen Setup

Python 11 2
dyn-nsupdate Public

Dynamically and securely update DNS zones via CGI

Python 8 3
zonemaker Public

Python DNS zone files

Python 7 4

2,579 contributions in the last year

Learn how we count contributions

Less More

NEW! View your contributions in 3D, VR and IRL!

Activity overview

Contributed to rust-lang/miri, rust-lang/rust, mit-pdos/perennial and 102 other repositories

Contribution activity

July 2022

Created 332 commits in 20 repositories

Created 2 repositories

RalfJung/nextest Rust Jul 27
RalfJung/triomphe Rust Jul 2

Created a pull request in rust-lang/rust that received 59 comments

interpret: get rid of MemPlaceMeta::Poison

This is achieved by refactoring the projection code ({mplace,place,operand}_{downcast,field,index,...}) so that we no longer need to call assert_me…

+15 −22 • 59 comments

Opened 144 other pull requests in 12 repositories

rust-lang/miri 87 merged 1 open 1 closed

rustup Jul 27
add test for dyn call issue Jul 26
pass clippy::integer_arithmetic in our shims Jul 25
rustup Jul 24
more tests for ptr_offset_from_unsinged Jul 24
adjust for more backtrace pruning Jul 24
fix build.rs invoking RUSTC to do check builds Jul 24
Rustup Jul 24
ui_test: build dependencies in locked mode unless bless is enabled Jul 24
attempt to overwrite globally set build.rustc-wrapper Jul 23
cargo-miri: use '--config target.runner' rather than the TARGET_RUNNER env vars Jul 23
don't dump xargo output onto users of 'cargo miri test' Jul 23
add a flag to print a diagnostic when an outdated value is returned from an atomic load Jul 23
enable clippy lints against integer casts Jul 23
move num_cpus test from test-cargo-miri to crate test Jul 23
add more track_caller tests Jul 22
support MIRI_HOST_SYSROOT env var for stage 0 builds Jul 21
A bit of cargo-miri cleanup Jul 21
normalize stronger Jul 21
cargo-miri x.py fix Jul 21
do not use RUSTC_WRAPPER Jul 21
cargo-miri: set RUSTC to us Jul 21
make test-cargo-miri only about cargo Jul 21
fix auto-toolchain pwd Jul 21
check for extern static size mismatches Jul 20
Some pull requests not shown.

rust-lang/rust 37 merged 2 open 4 closed

update Miri Jul 25
interpret, ptr_offset_from: refactor and test too-far-apart check Jul 24
add miri-track-caller to more intrinsic-exposing methods Jul 24
Rollup of 4 pull requests Jul 24
don't ICE on invalid dyn calls Jul 24
remove some provenance-related machine hooks that Miri no longer needs Jul 23
Rollup of 3 pull requests Jul 22
do not claim that transmute is like memcpy Jul 22
interpret: fix vtable check debug assertion Jul 22
cargotest: do not run quickcheck tests in xsv Jul 22
miri: make --stage 0 testing work Jul 22
update Miri Jul 20
make raw_eq precondition more restrictive Jul 20
interpret: rename Tag/PointerTag to Prov/Provenance Jul 19
make vtable pointers entirely opaque Jul 18
interpret/visitor: add missing early return Jul 17
interpret: make some large types not Copy Jul 16
update Miri Jul 15
interpret/visitor: support visiting with a PlaceTy Jul 15
add missing null ptr check in alloc example Jul 13
mem::uninitialized: mitigate many incorrect uses of this function Jul 12
perf check: inline valtree constructors Jul 11
interpret: refactor projection handling code Jul 9
shrink OpTy back down to 80 bytes Jul 9
clarify how write_bytes can lead to UB due to invalid values Jul 9
Some pull requests not shown.

rust-lang/cargo 2 merged

expand RUSTC_WRAPPER docs Jul 24
clarify profile used for 'cargo install --debug' Jul 13

rust-lang/team 2 merged

UCG membership updates Jul 11
add JakobDegen to UCG Jul 9

nextest-rs/nextest 1 merged

mention Miri's cross-interpretation feature Jul 27

rust-lang/rust-analyzer 1 merged

fix generate_new doc Jul 23

rust-lang/rust-clippy 1 merged

fix outdated lint names in docs Jul 23

rust-lang/portable-simd 1 merged

make some Miri backtraces more pretty Jul 22

rust-lang/reference 1 merged

update union field type rules Jul 17

Manishearth/triomphe 1 merged

remove old Miri flags Jul 2

RalfJung/triomphe 1 closed

remove old Miri flags Jul 2

rust-lang/rustc-dev-guide 1 merged

leave formatOnSave to the user Jul 1

Reviewed 80 pull requests in 9 repositories

rust-lang/rust 25 pull requests

Add clarifying context to the most confusing pointer APIs Jul 26
lint: add bad opt access internal lint Jul 25
Improve error messages involving derive and packed. Jul 25
do not claim that transmute is like memcpy Jul 23
Implement simd_as for pointers Jul 23
Enable MIR inlining Jul 22
const_eval: Consider array length constant even if array is not Jul 22
miri: make --stage 0 testing work Jul 22
make vtable pointers entirely opaque Jul 20
Initial implementation of transmutability trait. Jul 20
builtin trait to abstract over function pointers Jul 20
Make uninit checks stricter but avoid issues for old hyper Jul 20
interpret: make some large types not Copy Jul 16
interpret: get rid of MemPlaceMeta::Poison Jul 14
add missing null ptr check in alloc example Jul 14
Support vec zero-alloc optimization for tuples and byte arrays Jul 12
Lower the assume intrinsic to a MIR statement Jul 12
do not mark interior mutable shared refs as dereferenceable Jul 12
Use constant eval to do strict mem::uninit/zeroed validity checks Jul 12
Clarify MIR semantics of storage statements Jul 11
allow unions with mutable references and tuples of allowed types Jul 11
shrink OpTy back down to 80 bytes Jul 9
[mir-opt] Optimize calls to CopyNonOverlapping Jul 9
UnsafeCell blocks niches inside its nested type from being available outside Jul 9
Pull Derefer before ElaborateDrops Jul 8
Some pull request reviews not shown.

rust-lang/miri 25 pull requests

Use real exec on cfg(unix) targets Jul 27
Create a more compact diff format Jul 27
Adding support for external C functions that have integer (or empty) args and/or returns Jul 27
enable clippy lints against integer casts Jul 25
fix build.rs invoking RUSTC to do check builds Jul 24
Rustup Jul 24
fix ./x.py test miri Jul 21
Allow ui tests to have dependencies in a reliable way Jul 21
Add a scheme for always using the default toolchain, running clippy and fmt before running any other command Jul 21
adjust for symbolic vtables Jul 20
[cargo-miri] support nextest Jul 20
Fix bugs where unique_range became invalid Jul 20
Add mkstemp shim for unix Jul 19
implement minimal epoll_create1 shim Jul 19
Print one . character per test instead of one line Jul 18
Improve isatty support Jul 17
Add test flag for running a test only on the host Jul 17
Windows thread support: Part 1 Jul 14
Make "./miri {build,run,test}" use debug assertions but "./miri install" not Jul 14
Optimizing Stacked Borrows (part 2): Shrink Item Jul 13
require level and colon in //~ style comments Jul 11
Add a rustup subcommand to ./miri Jul 9
Add _umtx_op shim to freebsd Jul 8
add ./miri clippy Jul 7
More robust comment parsing Jul 7
Some pull request reviews not shown.

rust-lang/rustc-dev-guide 2 pull requests

smol-rs/concurrent-queue 1 pull request

Fix fence on non-x86 arch and miri Jul 26

rust-lang/cargo 1 pull request

expand RUSTC_WRAPPER docs Jul 24

RalfJung/minirust 1 pull request

Update PartialOrd for Unions Jul 18

rust-lang/rfcs 1 pull request

Cargo and Rustup safe file discovery. Jul 12

matklad/once_cell 1 pull request

Keep provenance intact by avoiding ptr-int-ptr Jul 4

bevyengine/bevy 1 pull request

[Merged by Bors] - unpin nightly and disable weak memory emulation Jul 1

Created an issue in rust-lang/unsafe-code-guidelines that received 73 comments

Does the concept of a compiler fence make any sense?

Atomic fences are specified in terms of things that happen when certain atomic reads occur: on thread A: first a fence, then some (atomic) store o…

73 comments

Opened 52 other issues in 18 repositories

rust-lang/miri 10 open 6 closed

Provide a way to run a test that needs an external dependency Jul 25
Split pass and pass-dep tests Jul 25
Use is_terminal to implement isatty Jul 22
RA causes regular unnecessary rebuilds Jul 21
Use cargo_metadata in cargo-miri Jul 19
Miri ICEs in crossbeam Jul 19
Adding FFI support to Miri, by emarteca Jul 13
ui_test: regex for error patterns? Jul 12
Miri misses UB in place expressions when there are "_" patterns Jul 12
Setup triagebot? Jul 12
Chaos ensues when cargo miri is run concurrently Jul 6
Make it easier to debug weak memory emulation induced bugs Jul 2
ui_test: blessing should also delete stderr files when stderr is empty Jul 2
Perform spurious wakeups from park? Jul 2
Detect non-perfectly-overlapping unordered atomic accesses as UB? Jul 2
Weak memory emulation does not respect C++20 SCfix Jul 1

rust-lang/rust 7 open 4 closed

rust-lang/cargo 3 open 2 closed

RalfJung/minirust 4 open

rust-lang/unsafe-code-guidelines 3 open

cuviper/autocfg 1 closed

'probe' does not work under Miri Jul 24

crossbeam-rs/crossbeam 1 closed

'cargo check --all-targets --workspace' fails on stable Jul 24

rust-lang/rust-clippy 1 open

Have a lint against usize-to-u64 casts (or, against *all* integer casts) Jul 23

rust-lang/homu 1 open

bors squash ignored on rollups Jul 22

freifunk-gluon/gluon 1 open

Tunneldigger process management broken (?): can end up with multiple tunneldigger running Jul 21

rust-lang/triagebot 1 open

Support for "silent" PRs? Jul 17

llvm/llvm-project 1 open

Clang adds "noundef" annotation to char arguments Jul 15

coq/coq 1 open

Frequent coq rebuilds due to dune updates Jul 15

microsoft/vscode 1 closed

Searching only in "src" folder also shows some results outside that folder Jul 5

sharkdp/hyperfine 1 open

Support changing the default of "it will measure for at least 3 seconds" Jul 4

rust-lang/wg-allocators 1 open

Boxes with custom allocators break several underlying assumptions in MIR Jul 4

rust-lang/rust-analyzer 1 closed

rustc: With proc macros disabled, instrument functions do not get Ctrl-click and other RA goodness Jul 1

bevyengine/bevy 1 closed

world::World doctests sometimes hangs with Miri Jul 1