Skip to content

Issues: immunant/c2rust

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
41 Open 40 Closed
41 Open 40 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

c2rust-bitfields-derive: Support const initialization
#1027 opened Sep 22, 2023 by kkysen
@kkysen
1
(c2rust-analyze) Support custom deallocators/linear Box types
#1007 opened Jul 26, 2023 by kkysen
(c2rust-analyze) Support genericity over KnownFn ptr perms
#1006 opened Jul 26, 2023 by kkysen
(c2rust transpile) Translate static consts without raw ptrs as non-mut statics
#925 opened May 10, 2023 by kkysen
(c2rust-analyze) Fix dataflow constraints in ptr casts c2rust-analyze
#913 opened May 5, 2023 by kkysen
@kkysen
(c2rust-analyze) Remove unsound Triviality c2rust-analyze
#874 opened Mar 27, 2023 by kkysen
@kkysen
(c2rust-analyze/tests) Add test for full, amalgamated lighttpd c2rust-analyze
#871 opened Mar 22, 2023 by kkysen
(c2rust-analyze) Determine FFI types c2rust-analyze
#867 opened Mar 14, 2023 by kkysen
(c2rust-analyze) core::ptr::mut_ptr::offset_from is unsupported c2rust-analyze
#852 opened Feb 24, 2023 by kkysen
(c2rust transpile) NULL for function pointers is transpiled to UB
#846 opened Feb 23, 2023 by kkysen
(c2rust-analyze) Handle Callee::UnknownDefs calls pessimistically c2rust-analyze
#843 opened Feb 18, 2023 by kkysen
4
(c2rust-analyze) Handle self-referential/recursive Trivial types c2rust-analyze
#834 opened Feb 14, 2023 by kkysen
@kkysen
2
(c2rust-analyze) Handle transpiled string literals (b"...\0" as *const u8 as *const libc::c_char) c2rust-analyze
#833 opened Feb 14, 2023 by kkysen
2 tasks done
@kkysen
(c2rust-analyze) Consider safe ptr types from std to be Trivial c2rust-analyze
#820 opened Feb 9, 2023 by kkysen
1
Make c2rust-analyze error resilient c2rust-analyze
#806 opened Jan 30, 2023 by kkysen
src/ExportResult.hpp:11:10: fatal error: 'algorithm' file not found
#755 opened Nov 29, 2022 by kkysen
1
Split lighttpd into a full lighttpd-maximal
#753 opened Nov 28, 2022 by kkysen
@aneksteind @kkysen
Remove #![feature(label_break_value)] as it's been stabilized good first issue Good for newcomers
#731 opened Nov 20, 2022 by kkysen
Split the lighttpd.rs in #727 into a currently working and full version
#728 opened Nov 16, 2022 by kkysen
2 of 3 tasks
@aneksteind @kkysen
2
Enable miri in CI and run miri tests in CI
#698 opened Oct 10, 2022 by kkysen
3
Fix int-to-ptr casts in analysis/test
#682 opened Sep 25, 2022 by kkysen
1
@kkysen
2
Don't generate #[no_mangle] within extern blocks bug Something isn't working
#679 opened Sep 25, 2022 by kkysen
Make c2rust-pdg also have a library target
#665 opened Sep 15, 2022 by kkysen
Generated wrapper main leaks memory of args bug Something isn't working
#649 opened Aug 26, 2022 by kkysen
case statements with character literals are transpiled as integers readability Generated code is hard to read and can be simplified
#648 opened Aug 26, 2022 by kkysen
ProTip! Follow long discussions with comments:>50.