Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / immunant/c2rust issues and pull requests
#1039 - Darwin build is broken with LLVM 17
Issue -
State: closed - Opened by dgherzka 8 months ago
#1037 - support `c2rust <path/to/*.c>` in lieu of `compile_commands.json`
Pull Request -
State: closed - Opened by aneksteind 8 months ago
- 6 comments
#1036 - `c2rust-analyze`: Add a `cargo` wrapper
Pull Request -
State: closed - Opened by kkysen 8 months ago
- 1 comment
#1035 - `c2rust-analyze`: Move all of `main.rs` to `analyze.rs` except for `fn main`
Pull Request -
State: closed - Opened by kkysen 8 months ago
#1034 - derive(Debug) for translated types
Issue -
State: open - Opened by dgherzka 8 months ago
- 1 comment
#1034 - derive(Debug) for translated types
Issue -
State: open - Opened by dgherzka 8 months ago
- 5 comments
#1034 - derive(Debug) for translated types
Issue -
State: open - Opened by dgherzka 8 months ago
- 5 comments
#1034 - derive(Debug) for translated types
Issue -
State: open - Opened by dgherzka 8 months ago
- 1 comment
#1034 - derive(Debug) for translated types
Issue -
State: open - Opened by dgherzka 8 months ago
- 1 comment
#1033 - Lack of support for simple projects or the cc crate
Issue -
State: closed - Opened by kornelski 9 months ago
- 3 comments
#1033 - Lack of support for simple projects or the cc crate
Issue -
State: closed - Opened by kornelski 9 months ago
- 3 comments
#1032 - build(deps): bump rustix from 0.37.19 to 0.37.25
Pull Request -
State: closed - Opened by dependabot[bot] 9 months ago
Labels: dependencies
#1031 - dataflow: avoid propagating offset permissions upward from field access
Pull Request -
State: closed - Opened by aneksteind 9 months ago
#1031 - dataflow: avoid propagating offset permissions upward from field access
Pull Request -
State: closed - Opened by aneksteind 9 months ago
#1030 - `c2rust transpile`: When casting `bool`s to floats, go through the integral type `u8`
Pull Request -
State: closed - Opened by dgherzka 9 months ago
- 4 comments
Labels: bug
#1029 - analyze: add pointee_type analysis
Pull Request -
State: closed - Opened by spernsteiner 9 months ago
- 2 comments
#1029 - analyze: add pointee_type analysis
Pull Request -
State: closed - Opened by spernsteiner 9 months ago
- 2 comments
#1029 - analyze: add pointee_type analysis
Pull Request -
State: closed - Opened by spernsteiner 9 months ago
- 2 comments
#1029 - analyze: add pointee_type analysis
Pull Request -
State: closed - Opened by spernsteiner 9 months ago
- 2 comments
#1028 - analyze: assign fresh PointerIds to Ref and AddressOf rvalues
Pull Request -
State: closed - Opened by spernsteiner 9 months ago
- 1 comment
#1027 - `c2rust-bitfields-derive`: Support `const` initialization
Issue -
State: open - Opened by kkysen 10 months ago
- 1 comment
#1027 - `c2rust-bitfields-derive`: Support `const` initialization
Issue -
State: open - Opened by kkysen 10 months ago
- 1 comment
#1026 - Add OTCC case
Issue -
State: open - Opened by stevefan1999-personal 10 months ago
#1025 - analyze: tracking issue for lighttpd algo_md5
Issue -
State: open - Opened by spernsteiner 10 months ago
- 1 comment
#1025 - analyze: tracking issue for lighttpd algo_md5
Issue -
State: open - Opened by spernsteiner 10 months ago
- 1 comment
#1025 - analyze: tracking issue for lighttpd algo_md5
Issue -
State: open - Opened by spernsteiner 10 months ago
- 1 comment
#1024 - regression from v0.18.0 to v.0.18.0+409 with regards to wrapping_mul
Issue -
State: open - Opened by mewmew 10 months ago
- 8 comments
#1024 - regression from v0.18.0 to v.0.18.0+409 with regards to wrapping_mul
Issue -
State: open - Opened by mewmew 10 months ago
- 7 comments
#1024 - regression from v0.18.0 to v.0.18.0+409 with regards to wrapping_mul
Issue -
State: open - Opened by mewmew 10 months ago
- 7 comments
#1024 - regression from v0.18.0 to v.0.18.0+409 with regards to wrapping_mul
Issue -
State: open - Opened by mewmew 10 months ago
- 7 comments
#1024 - regression from v0.18.0 to v.0.18.0+409 with regards to wrapping_mul
Issue -
State: open - Opened by mewmew 10 months ago
- 8 comments
#1023 - analyze: fix deconstruct_hir_ty adt/path case
Pull Request -
State: open - Opened by spernsteiner 10 months ago
#1023 - analyze: fix deconstruct_hir_ty adt/path case
Pull Request -
State: closed - Opened by spernsteiner 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: closed - Opened by aneksteind 10 months ago
- 3 comments
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1022 - Support intermediate casts in calls.
Pull Request -
State: open - Opened by aneksteind 10 months ago
#1021 - Update Syn dependency
Pull Request -
State: closed - Opened by domenukk 11 months ago
- 1 comment
#1021 - Update Syn dependency
Pull Request -
State: closed - Opened by domenukk 11 months ago
- 1 comment
#1021 - Update Syn dependency
Pull Request -
State: closed - Opened by domenukk 11 months ago
- 1 comment
#1020 - Test.lighttpd.md5
Pull Request -
State: open - Opened by aneksteind 11 months ago
- 1 comment
#1020 - Test.lighttpd.md5
Pull Request -
State: closed - Opened by aneksteind 11 months ago
- 1 comment
#1019 - handle `deconstruct_hir_ty` for function pointers
Pull Request -
State: open - Opened by aneksteind 11 months ago
#1019 - handle `deconstruct_hir_ty` for function pointers
Pull Request -
State: closed - Opened by aneksteind 11 months ago
#1019 - handle `deconstruct_hir_ty` for function pointers
Pull Request -
State: open - Opened by aneksteind 11 months ago
#1019 - handle `deconstruct_hir_ty` for function pointers
Pull Request -
State: open - Opened by aneksteind 11 months ago
#1018 - add tests to ensure foreign-mentioned structs do not have lifetime pa…
Pull Request -
State: closed - Opened by aneksteind 11 months ago
#1017 - analyze: "known permissions changed" on lighttpd libc calls
Issue -
State: open - Opened by spernsteiner 11 months ago
#1016 - fix typos
Pull Request -
State: closed - Opened by not-my-profile 11 months ago
#1015 - analyze: omit unused hypothetical lifetimes during rewriting
Pull Request -
State: closed - Opened by spernsteiner 11 months ago
- 4 comments
#1014 - analyze: add DefId filter
Pull Request -
State: closed - Opened by spernsteiner 11 months ago
- 1 comment
#1013 - Prevent foreign-mentioned field types from getting their hypothetical origins generated / propagated to encapsulating structures
Pull Request -
State: closed - Opened by aneksteind 11 months ago
- 1 comment
#1012 - add test for unions
Pull Request -
State: closed - Opened by aneksteind 11 months ago
#1011 - replace allow_unused with leading underscore for TyGenericParams
Pull Request -
State: closed - Opened by aneksteind 11 months ago
#1010 - Add hypothetical lifetimes to pointer-to-reference label
Issue -
State: open - Opened by aneksteind 11 months ago
#1009 - transpile: Init list not implemented for Uint
Issue -
State: closed - Opened by spernsteiner 11 months ago
- 1 comment
#1008 - analyze: add extern statics to gacx.static_tys
Pull Request -
State: closed - Opened by spernsteiner 11 months ago
#1007 - (`c2rust-analyze`) Support custom deallocators/linear `Box` types
Issue -
State: open - Opened by kkysen 11 months ago
#1006 - (`c2rust-analyze`) Support genericity over `KnownFn` ptr perms
Issue -
State: open - Opened by kkysen 11 months ago
#1005 - analyze: refactor struct and static rewrites
Pull Request -
State: closed - Opened by spernsteiner 12 months ago
#1004 - analyze: don't add fields to adt_metadata_table
Pull Request -
State: closed - Opened by spernsteiner 12 months ago
#1003 - fix subset relation comment between fn argument nested lifetimes
Pull Request -
State: closed - Opened by aneksteind 12 months ago
#1002 - analyze: generate subset relationships for arguments such as `arg: &'a &'b &'c i32`
Issue -
State: open - Opened by aneksteind 12 months ago
#1001 - (`c2rust-analyze/tests`) Add a generic `extern "rust-intrinsic" foreign `fn` test (currently disabled as we crash on it)
Pull Request -
State: closed - Opened by kkysen 12 months ago
#1000 - Add hypothetical lifetime parameters and arguments to function signatures
Pull Request -
State: closed - Opened by aneksteind 12 months ago
#999 - (`c2rust-analyze`) Use `SubstsRef` when creating an `Instance` to get the `SymbolName` so that we don't ICE on generic foreign `fn`s like `extern "rust-intrinsic"`s
Pull Request -
State: open - Opened by kkysen 12 months ago
- 6 comments
#998 - (`c2rust-analyze`) Add almost all `libc` `KnownFn`s used in `lighttpd_rust_amalgamated`
Pull Request -
State: closed - Opened by kkysen 12 months ago
#997 - analyze: when rewriting, omit unused hypothetical regions
Issue -
State: closed - Opened by spernsteiner 12 months ago
- 3 comments
#996 - analyze: ICE on pointer transmute
Issue -
State: open - Opened by spernsteiner 12 months ago
#995 - analyze: hypothetical lifetime params aren't added to union defs
Issue -
State: closed - Opened by spernsteiner 12 months ago
#994 - analyze: rewriter adds hypothetical lifetime args to mentions of non-rewritten structs
Issue -
State: closed - Opened by spernsteiner 12 months ago
- 2 comments
#993 - bitfields: error when using `derive(BitfieldStruct)` on a struct with lifetime parameters
Issue -
State: open - Opened by spernsteiner 12 months ago
#992 - analyze: missing hypothetical lifetimes within function pointer types
Issue -
State: closed - Opened by spernsteiner 12 months ago
#991 - analyze: missing hypothetical lifetimes in type alias RHS
Issue -
State: open - Opened by spernsteiner 12 months ago
- 1 comment
#990 - analyze: bad rewrite of `derive(Clone)` on unions
Issue -
State: closed - Opened by spernsteiner 12 months ago
#989 - Evaluate Profile-Guided Optimization (PGO)
Issue -
State: closed - Opened by zamazan4ik 12 months ago
- 1 comment
#988 - analyze: error on void* cast in realloc
Issue -
State: open - Opened by spernsteiner 12 months ago
#987 - analyze: assertion failure on enum construction
Issue -
State: open - Opened by spernsteiner 12 months ago
#986 - analyze: "unlower_map has no origin" on *mut -> *const cast
Issue -
State: open - Opened by spernsteiner 12 months ago
- 1 comment
#985 - analyze: "unlower_map has no origin" on `(*x).f += y`
Issue -
State: open - Opened by spernsteiner 12 months ago
#984 - analyze: handle casts between pointers to primitive types and/or void*
Issue -
State: open - Opened by spernsteiner 12 months ago
#983 - analyze: handle void* casts in arguments of memcpy and related functions
Issue -
State: open - Opened by spernsteiner 12 months ago
#982 - Linux Kernel Module blog-post example broken due to `_Generic`
Issue -
State: open - Opened by SheldonHH 12 months ago
- 6 comments
Labels: translate project
#981 - (`c2rust-analyze`) Remove `UNIQUE` from initial ptr perms before asserting it's empty
Pull Request -
State: closed - Opened by kkysen 12 months ago
#980 - (`c2rust-analyze`) Allow calls to `UnknownDef` `KnownFn`s with known ptr perms
Pull Request -
State: closed - Opened by kkysen 12 months ago
#979 - analyze: recover from failures in shim generation
Pull Request -
State: closed - Opened by spernsteiner 12 months ago
#978 - (`c2rust-analyze`) Add `known_fns!` for declaring the permissions on ptrs in known (i.e. `libc`) `UnknownDef` `fn`s
Pull Request -
State: closed - Opened by kkysen 12 months ago
- 1 comment
#977 - bitfields-derive: Upgrade to syn 2
Issue -
State: open - Opened by langston-barrett 12 months ago
- 1 comment
#976 - fix mismatch in number of origin parameters for cast result
Pull Request -
State: closed - Opened by aneksteind almost 1 year ago
#975 - provide statics with hypothetical origins
Pull Request -
State: closed - Opened by aneksteind almost 1 year ago
- 6 comments
#974 - scripts/pdg.sh: also run analysis
Pull Request -
State: closed - Opened by fw-immunant about 1 year ago
- 1 comment
#973 - instrument: README: fix invocation
Pull Request -
State: closed - Opened by fw-immunant about 1 year ago
- 1 comment
#972 - analyze: README: fix invocation
Pull Request -
State: closed - Opened by fw-immunant about 1 year ago