Skip to content

Pull requests: immunant/c2rust

New pull request New
Clear current search query, filters, and sorts
38 Open 549 Closed
38 Open 549 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Renamed infos for clarity, consistency, and succinctness
#597 opened Aug 10, 2022 by kkysen • Review required
4
Use raw identifier for reserved keywords
#295 opened Sep 14, 2020 by davidMcneil • Review required
1
10
Switch to core::ffi::c_* for C types instead of libc::c_* enhancement New feature or request
#297 opened Sep 15, 2020 by ahomescu • Review required
@ahomescu
5
Check for C11 atomics in and around VisitQualType
#302 opened Sep 18, 2020 by chrysn • Review required
1
12
CMake correctness; streamline nix-shell environment building Build/compile errors or build system-related
#343 opened Jul 30, 2021 by bb010g • Review required
10
Support testing non-native targets
#429 opened Jun 1, 2022 by kkysen • Review required
1
4
draft: package c2rust as a "nix flake"
#440 opened Jun 10, 2022 by mstone • Review required
4
wip handling addr of field
#568 opened Aug 1, 2022 by aneksteind • Draft
Print the full func name (and path) in the debug MIR
#572 opened Aug 2, 2022 by kkysen • Review required
1
Remove duplicate remove_outer_derefs and refactor mod deref
#573 opened Aug 2, 2022 by kkysen • Review required
6
add pointer-to-pointer test cases
#585 opened Aug 5, 2022 by aneksteind • Review required
12
add some test cases for NodeInfo uniqueness check
#590 opened Aug 9, 2022 by kkysen • Review required
Feature/fn aliases
#220 opened Dec 10, 2019 by thedataking • Review required
Turn on clippy in CI
#594 opened Aug 9, 2022 by kkysen • Changes requested
1
5
Align infos
#598 opened Aug 10, 2022 by kkysen Loading…
Refactor variadics
#638 opened Aug 23, 2022 by kkysen Loading…
22
check_unique refactor
#667 opened Sep 16, 2022 by kkysen Loading…
8
Refactor check_unique to Checked{Graph,Node}
#668 opened Sep 16, 2022 by kkysen Loading…
9
Refactoring around vector type recognition
#694 opened Sep 28, 2022 by chrysn Loading…
1
Added big endian feature for little endian CPU
#697 opened Oct 10, 2022 by xtmono Loading…
7
Fix simple strict provenance cases in analysis/test
#699 opened Oct 10, 2022 by kkysen Loading…
1
re-add miri test to CI
#766 opened Jan 4, 2023 by bytewife Loading…
@kkysen
Update rustc version incrementally to nightly-2022-12-06
#811 opened Feb 1, 2023 by kkysen Loading…
6
WIP: Support C11 atomics required by dav1d
#814 opened Feb 6, 2023 by thedataking • Draft
5
[WIP] analyze: refactor mir_op to explicitly track per-subloc info
#1191 opened Dec 17, 2024 by spernsteiner • Draft
ProTip! Mix and match filters to narrow down what you’re looking for.