Skip to content

Pull requests: immunant/c2rust

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

ci: remove Slack integration for c2rust-testsuites CI workflow
#1159 opened Nov 12, 2024 by kkysen Loading…
1
analyze: static/dynamic comparison mode for NON_NULL
#1151 opened Oct 28, 2024 by spernsteiner Loading…
2
analyze: misc fixes for simple_buffer
#1148 opened Oct 22, 2024 by spernsteiner Loading…
5
analyze: add HEAP and STACK permissions
#1147 opened Oct 22, 2024 by spernsteiner Loading…
4
transpile: Improve test coverage for translator/operators.rs
#1143 opened Oct 12, 2024 by GPHemsley • Draft
transpile: Make volatile post-increment assignment compile
#1135 opened Sep 21, 2024 by GPHemsley Loading…
2
7
Translate builtin_assume and unaligned SIMD intrinsics bug Something isn't working
#1132 opened Sep 21, 2024 by thedataking Loading…
3
transpile: Add SIMD intrinsic __builtin_ia32_vperm2f128_pd256/_mm256_permute2f128_pd
#1129 opened Sep 18, 2024 by Kriskras99 Loading…
5
transpile: parenthesize subexpression of reference expressions if necessary
#1121 opened Sep 5, 2024 by fw-immunant Loading…
1
@kkysen
1
Make scripts/pdg.sh more flexible for more use cases
#1113 opened Aug 28, 2024 by ahomescu Loading…
@kkysen
1
Use log crate for debugging output in c2rust-analyze
#1102 opened Jul 6, 2024 by ahomescu Loading…
2
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…
6
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! Exclude everything labeled bug with -label:bug.