(Go: >> BACK << -|- >> HOME <<)
Skip to content

Pull requests: immunant/c2rust

New pull request New
36 Open 501 Closed
36 Open 501 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

Use log crate for debugging output in c2rust-analyze
#1102 opened Jul 6, 2024 by ahomescu Loading…
Update Cargo.toml
#1101 opened Jul 1, 2024 by anoraktrend Loading…
analyze: support rewriting field projections on nullable pointers
#1096 opened Jun 3, 2024 by spernsteiner Loading…
Fix Nix
#1094 opened May 14, 2024 by DieracDelta Loading…
Import null pointer information from PDG into static analysis
#1086 opened Apr 25, 2024 by ahomescu Loading…
@ahomescu
27
Ubuntu 22.04 installation requirements added
#1061 opened Jan 19, 2024 by Yeaseen Loading…
1
Optionally derive Debug for structs that allow it
#1040 opened Nov 3, 2023 by dgherzka • Draft
36
(c2rust-analyze) Use SubstsRef when creating an Instance to get the SymbolName so that we don't ICE on generic foreign fns like extern "rust-intrinsic"s
#999 opened Jul 19, 2023 by kkysen Loading…
1
6
(c2rust-analyze) Add more (still incomplete) dataflow constraints for ptr casts
#947 opened Jun 9, 2023 by kkysen Loading…
14
Update Vector Operations
#940 opened May 28, 2023 by novafacing • Draft
A couple testing tweaks help wanted Extra attention is needed
#928 opened May 12, 2023 by fw-immunant Loading…
2
Don't attempt to convert failed constant int evaluations into APint
#858 opened Mar 6, 2023 by dberlin Loading…
1
WIP: Support C11 atomics required by dav1d
#814 opened Feb 6, 2023 by thedataking • Draft
5
re-add miri test to CI
#766 opened Jan 4, 2023 by bytewife Loading…
@kkysen
Fix simple strict provenance cases in analysis/test
#699 opened Oct 10, 2022 by kkysen Loading…
1
Added big endian feature for little endian CPU
#697 opened Oct 10, 2022 by xtmono Loading…
7
Refactoring around vector type recognition
#694 opened Sep 28, 2022 by chrysn Loading…
1
Refactor check_unique to Checked{Graph,Node}
#668 opened Sep 16, 2022 by kkysen Loading…
9
check_unique refactor
#667 opened Sep 16, 2022 by kkysen Loading…
8
Refactor variadics
#638 opened Aug 23, 2022 by kkysen Loading…
22
Align infos
#598 opened Aug 10, 2022 by kkysen Loading…
Renamed infos for clarity, consistency, and succinctness
#597 opened Aug 10, 2022 by kkysen Loading…
4
Turn on clippy in CI
#594 opened Aug 9, 2022 by kkysen Loading…
1
5
add some test cases for NodeInfo uniqueness check
#590 opened Aug 9, 2022 by kkysen Loading…
add pointer-to-pointer test cases
#585 opened Aug 5, 2022 by aneksteind Loading…
12
ProTip! Add no:assignee to see everything that’s not assigned.