kkysen
Follow
kkysen
Follow
Highlights
- Pro
Pinned
1,704 contributions in the last year
Contribution activity
June 2022
Created 103 commits in 7 repositories
Created 1 repository
Created a pull request in immunant/c2rust that received 30 comments
Refactoring, cleanup, and generic testing script
I added a script, ./scripts/pdg.sh <test crate root> <args...>, that instruments and runs a test crate, such as analysis/test or lighttpd. This is …
+538
−233
•
30
comments
Opened 11 other pull requests in 2 repositories
immunant/c2rust
9
merged
1
open
-
Fixed bare URL warnings in
cargo doc -
Enabled
long doubletest by default -
Update documentation in
README.mdanddocs/ -
Fixed the
c2rust transpileinvalid idents panic on transpilinglong double - Cleanup outdated code
-
Updated
tests/.gitignoreto ignore asrc/build.rsthat had been skipped. -
Updated
bindgen, which fixes the generated nullptr derefs inbindgentests. - Handle arm64 Scalable Vector Extension (SVE) types on clang 10
-
Added a
.gitignoreundertests/to ignore files generated bytest_translator.py - Add Support for Testing Non-Native Targets
immunant/lighttpd-rust
1
merged
Reviewed 6 pull requests in 1 repository
Created an issue in immunant/c2rust that received 13 comments
c2rust transpile always crashes on aarch64-unknown-linux-gnu using clang 10
When linked to clang 10 (and 7, 8, and 9, all the version supported on Ubuntu 20), as in the Docker image and CI, c2rust transpile always crashes on …
13
comments
Opened 8 other issues in 3 repositories
immunant/c2rust
2
closed
4
open
- Unnecessary temporaries created that previously weren't
-
c2rust transpilecrashes onlong double=>f128 -
c2rust instrumentshould apply extracargoargs -
Qualified paths like
libc::c_intshould be globally qualified like::libc::c_intto avoid name clashes -
Runtime assertion error in asm translation tests on
arm-unknown-linux-gnueabihf -
Compile error in asm translation tests on
aarch64-unknown-linux-gnu