RalfJung Follow

RalfJung Follow

Ralf Jung RalfJung

Follow

238 followers · 0 following · 10

https://www.ralfj.de

Highlights

Arctic Code Vault Contributor

Organizations

Popular repositories

rust-101

A tutorial for the Rust language

Rust 189 31
git-mirror

Keep git repositories on multiple servers in sync

Python 55 9
dyn-nsupdate

Dynamically and securely update DNS zones via CGI

Python 7 3
lilass

Linux Laptop Screen Setup

Python 6 2
zonemaker

Python DNS zone files

Python 6 3
schsh

Restricted file access via SSH

Perl 3

4,238 contributions in the last year

Activity overview

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

Contribution activity

October 2020

RalfJung/projects Oct 11

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

stop promoting union field accesses in 'const'

Turns out that promotion of union field accesses is the only difference between "promotion in const/static bodies" and "explicit promotion". So if …

+30 −21 • 19 comments

fix './miri test' Oct 22
rustup; increase slack for timing tests Oct 22
another TiKV bug for the trophy case :) Oct 21
test new available_concurrency function Oct 18
rustup; the bad compile times for the float test are fixed Oct 17
README: make our cross-interpretation feature stand out more Oct 11
fix for rlib/cdylib crates in dependency tree Oct 7
add bors notification jobs Oct 6
rustup; disable opt level >=2 tests due to ICE Oct 5
rustup; test NaN conversion issue Oct 4
check that all syscall arguments are scalars Oct 3
bump Rust version and a bit of cleanup Oct 3

Miri engine: entirely skip interning of ZST, and improve some comments Oct 21
fix static_ptr_ty for foreign statics Oct 19
we can test std and core panic macros together Oct 18
consider assignments of union field of ManuallyDrop type safe Oct 18
update miri Oct 16
clarify rules for ZST Boxes Oct 12
const keyword: brief paragraph on 'const fn' Oct 11
transmute_copy: explain that alignment is handled correctly Oct 11
update Miri Oct 9
fix __rust_alloc_error_handler comment Oct 9
stabilize union with 'ManuallyDrop' fields and 'impl Drop for Union' Oct 4
update Miri Oct 3

adjust Search deprecation warning Oct 22
add perennial to benchmark suite Oct 21
update for Iris build system changes Oct 8

add some comments to rpc.v Oct 22

show more details on connection close Oct 19

mention how unions interact with dropping Oct 18

Miri isn't all-caps Oct 11

RFC for const-UB Oct 10

replace some unions by transmute and make the rest repr(C) Oct 6

Separate unsized locals Oct 21
Optimize const value interning for ZST types Oct 21
consider assignments of union field of ManuallyDrop type safe Oct 19
Cleanup constant matching in exhaustiveness checking Oct 18
Fully destructure slice and array constants into patterns Oct 12
Remove unused code Oct 10
fix __rust_alloc_error_handler comment Oct 9
Implement Make `handle_alloc_error` default to panic (for no_std + liballoc) Oct 9
Allow `Abort` terminators in all const-contexts Oct 4
Backport LLVM apfloat commit to rustc_apfloat Oct 3
Test and reject out-of-bounds shuffle vectors Oct 3
Allow Weak::as_ptr and friends for unsized T Oct 3

Enable `backtrace` feature in the generated `Xargo.toml` Oct 20
Adding a working github actions template Oct 11
Add an `fn_ptr` field to `MiriFrame` Oct 11
Implement `readlink` Oct 4
Add a dummy actions template to enable it on CI Oct 4
Implement futex_wait and futex_wake. Oct 3

Update server.rst Oct 18
Made interface to an optional parameter Oct 3

Support tuples in offset_of Oct 22

Gate miri on GHA only Oct 20

Switch `BufMut::bytes_mut` from `MaybeUninit` to `&mut UninitSlice`, a type ownec by `bytes` for this purpose Oct 18

Created an issue in coq/coq that received 32 comments

"destruct" cannot use injection patterns top-level (but it can nested)

Description of the problem The following code works: Lemma foo (a b : nat) : (True /\ Some a = Some b) -> a = b. Proof. intros HX. destruct HX as …

32 comments

Bad error message: "foo already exists", but does not exist Oct 22
More setoid_rewrite failures with name mangling Oct 22
Confusing error location on tactic failure Oct 22
Add perennial to Coq benchmarks Oct 19
setoid_rewrite does not work with name mangling Oct 2

No notification for cronjobs Oct 22
Test libstd backtrace type Oct 8

regression: `{-}` in author name leads to LaTeX error in .bbl file Oct 8

Does PG disable undo-tree? Oct 5

Remove untagged_unions feature Oct 5

Tidy should not check line lengths in UI tests Oct 4

Restrict promotion to infallible operations Oct 4

Crash after update when loading previously working save file Oct 2

You can’t perform that action at this time.