Skip to content
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

Jump to bottom

C-FFI: Support conversion of Option<&T> to T* in the CBMC linker #2152

Closed
danielsn opened this issue Jan 24, 2023 · 2 comments
Closed

C-FFI: Support conversion of Option<&T> to T* in the CBMC linker #2152

danielsn opened this issue Jan 24, 2023 · 2 comments
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.
Milestone
C-FFI Milestone

Comments

@danielsn
Copy link
Contributor

No description provided.

@danielsn danielsn added this to the C-FFI Milestone milestone Jan 24, 2023
@danielsn danielsn self-assigned this Jan 24, 2023
@danielsn danielsn added the [C] Feature / Enhancement A new feature request or enhancement to an existing feature. label Jan 24, 2023
@feliperodri feliperodri moved this to Todo in Kani 2023-02-13 Jan 24, 2023
@zhassan-aws
Copy link
Contributor

Is this a duplicate of #3?

@celinval celinval assigned celinval and unassigned danielsn Apr 12, 2023
@celinval celinval removed their assignment Apr 28, 2023
@celinval
Copy link
Contributor

celinval commented May 3, 2023

Yes. This is a duplicated of #3. Closing this in favor of the original issue.

@celinval celinval closed this as completed May 3, 2023
@celinval celinval closed this as not planned Won't fix, can't repro, duplicate, stale May 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.
Projects
No open projects
Kani 2023-02-13
Status: Todo
Milestone
C-FFI Milestone
Development

No branches or pull requests
3 participants
@danielsn @celinval @zhassan-aws