RalfJung
Follow
Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign upPopular repositories
3,986 contributions in the last year
Activity overview
Contribution activity
December 2020
Created 7 commits in 4 repositories
Created a pull request in rust-lang/rust that received 3 comments
disable a ptr equality test on Miri
This test relies on deduplication of constants. I do not think that this is a guarantee that Rust currently makes, and indeed Miri does not dedupli…
+6
−1
•
3
comments
Opened 2 other pull requests in 1 repository
rust-lang/const-eval
1
open
1
merged
Reviewed 4 pull requests in 1 repository
Created an issue in coq/coq that received 5 comments
Add opt-in warning for implicit global "Instance"
Description of the problem
Recently, Coq master was equipped with a deprecation warning for a Hint that is implicitly global. @tchajed found a nic…
5
comments