Skip to content

Pull requests: immunant/c2rust

New pull request New
43 Open 510 Closed
43 Open 510 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

transpile: Make volatile post-increment assignment compile
#1135 opened Sep 21, 2024 by GPHemsley Loading…
2
transpile: Make cast from bool to pointer compile
#1134 opened Sep 21, 2024 by GPHemsley Loading…
1
Translate builtin_assume and unaligned SIMD intrinsics bug Something isn't working
#1132 opened Sep 21, 2024 by thedataking Loading…
2
transpile: Add SIMD intrinsic __builtin_ia32_vperm2f128_pd256/_mm256_permute2f128_pd
#1129 opened Sep 18, 2024 by Kriskras99 Loading…
3
transpile: Rewrite fn compare_src_locs implementation to have a total order
#1128 opened Sep 18, 2024 by Kriskras99 Loading…
1
12
transpile: parenthesize subexpression of reference expressions if necessary
#1121 opened Sep 5, 2024 by fw-immunant Loading…
1
@kkysen
Make scripts/pdg.sh more flexible for more use cases
#1113 opened Aug 28, 2024 by ahomescu Loading…
@kkysen
1
analyze: implement Box<T> rewrites
#1106 opened Jul 22, 2024 by spernsteiner Loading…
2
Use log crate for debugging output in c2rust-analyze
#1102 opened Jul 6, 2024 by ahomescu Loading…
2
Fix Nix
#1094 opened May 14, 2024 by DieracDelta Loading…
1
Import null pointer information from PDG into static analysis
#1086 opened Apr 25, 2024 by ahomescu Loading…
@ahomescu
51
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
2
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
Update rustc version incrementally to nightly-2022-12-06
#811 opened Feb 1, 2023 by kkysen Loading…
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.