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 up
Popular repositories
4,140 contributions in the last year
Activity overview
Contribution activity
November 2020
Created 38 commits in 6 repositories
Created a pull request in rust-lang/rfcs that received 18 comments
add const-ub RFC
This RFC was drafted by me with lots of input from @oli-obk. We talked about this with @rust-lang/lang quite a while ago in the const-eval design m…
+116
−0
•
18
comments
Opened 10 other pull requests in 5 repositories
rust-lang/miri
5
merged
rust-lang/rust
2
merged
ocaml/opam-repository
1
open
coq/coq
1
closed
rust-lang/const-eval
1
merged
Reviewed 12 pull requests in 4 repositories
rust-lang/rust 9 pull requests
- Document that heap allocations are not guaranteed to happen, even if explicitly performed in the code
- rustc/rustc_mir: Implement RFC 2203.
- Add sysroot detection in rustdoc
- extend `WithOptConstParam` docs, move rustdoc test
- revert #75443, update mir validator
- make intern_const_alloc_recursive return error
- Refactorings in preparation for const value trees
- BTreeMap: fix pointer provenance rules
- Permit mutable references in all const contexts
coq/coq 1 pull request
rust-lang/rfcs 1 pull request
rust-lang/miri 1 pull request
Created an issue in rust-lang/unsafe-code-guidelines that received 9 comments
What about: "odd" pointer sizes
@chorman0773 brings up the issue of platforms where pointers have "strange" sizes, such as 3 bytes. if Rust wants to support such platforms, intere…
9
comments