Skip to content

Pull requests: immunant/c2rust

New pull request New
32 Open 497 Closed
32 Open 497 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Import null pointer information from PDG into static analysis
#1086 opened Apr 25, 2024 by ahomescu Loading…
@ahomescu
9
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
Remove duplicate remove_outer_derefs and refactor mod deref
#573 opened Aug 2, 2022 by kkysen Loading…
6
Print the full func name (and path) in the debug MIR
#572 opened Aug 2, 2022 by kkysen Loading…
1
wip handling addr of field
#568 opened Aug 1, 2022 by aneksteind • Draft
draft: package c2rust as a "nix flake"
#440 opened Jun 10, 2022 by mstone Loading…
4
ProTip! no:milestone will show everything without a milestone.