RalfJung
Follow
RalfJung
Follow
Popular repositories
1,736 contributions in the last year
Activity overview
Contribution activity
May 2022
Created 65 commits in 14 repositories
Created 1 repository
- RalfJung/semver Rust
Created a pull request in rust-lang/rust that received 13 comments
Opened 31 other pull requests in 8 repositories
rust-lang/miri
15
merged
- I cannot type
- test for validity of references pointing to uninhabited types
- rustup-toolchain: also prepare toolchain for vscode
- rustup
- don't ICE when libcore is missing
- data_race: use glob import like most files
- rustup
- when MIRI_LOG is set, set RUSTC_LOG_ENTRY_EXIT
- stop relying on python being in the PATH
- rustfmt
- rustup
- test for "erroneous constant used" post-monomorphization error
- rustup
- tweak MIRI_SYSROOT docs
- mention some papers that use Miri
rust-lang/rust
5
merged
1
open
- interpret/validity: reject references to uninhabited types
- logging: add env var to control verbose scope entry/exit logging
- make sure ScalarPair enums have ScalarPair variants; add some layout sanity checks
- Fix repr(align) enum handling
- update Miri
- interpret/validity: debug-check ScalarPair layout information
rust-lang/team
3
merged
1
open
rustsec/advisory-db
2
merged
japaric/xargo
1
merged
rust-lang/blog.rust-lang.org
1
merged
coq-community/autosubst
1
merged
dtolnay/semver
1
merged
Reviewed 35 pull requests in 10 repositories
rust-lang/rust
17 pull requests
- Implement pointee metadata unsizing via a JustMetadata<T> container
- Remove dereferencing of Box from codegen
-
Use pointers in
cell::{Ref,RefMut}to avoidnoalias - Transition to valtrees pt1
- Initial work on Miri permissive-exposed-provenance
- Add pointer masking convenience functions
- Change enum->int casts to not go through MIR casts.
- Allow arithmetic and certain bitwise ops on AtomicPtr
- make sure ScalarPair enums have ScalarPair variants; add some layout sanity checks
- Implement Valtree to ConstValue conversion
- Move Derefer before Retag
-
change
ConstIntimpl to not rely onScalarInt - Fix repr(align) enum handling
- Make [e]println macros eagerly drop temporaries (for backport)
- Add Finalize statement to make deaggregation "reversible" by storing all information in MIR
- interpret/validity: debug-check ScalarPair layout information
- make Size and Align debug-printing a bit more compact
rust-lang/miri
9 pull requests
- Initial work on Miri permissive-exposed-provenance
- Weak memory emulation using store buffers
- Print spans where tags are created and invalidated
-
Use atomic RMW for
{mutex, rwlock, cond, srwlock}_get_or_create_idfunctions - Clarified issues when building miri with a custom rustc
-
Fix backwards
cmpxchg_weak_failure_ratecheck - Add loongarch64 support
- Format tests and benches with rustfmt
-
Replace
ascasts in llvm.x86.addcarry.64 implementation
hyperium/hyper
2 pull requests
tchajed/goose
1 pull request
wlanslovenija/tunneldigger
1 pull request
coq/coq
1 pull request
rust-lang/cargo
1 pull request
rust-lang/blog.rust-lang.org
1 pull request
coq-community/autosubst
1 pull request
dtolnay/semver
1 pull request
Created an issue in k9mail/k-9 that received 3 comments
K9mail stuck in crash loop after a few days of usage
Checklist I have used the search function to see if someone else has already submitted the same bug report. I will describe the problem with as …
•
3
comments
Opened 6 other issues in 6 repositories
roundcube/roundcubemail
1
open
coq/coq
1
open
rust-lang/team
1
closed
rust-lang/rust
1
closed
rust-lang/miri
1
open
freifunk-gluon/gluon
1
closed
Started 1 discussion in 1 repository
github/feedback
github/feedback