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

Add support to libraries with cdylib type #1915

Closed
celinval opened this issue Nov 18, 2022 · 0 comments · Fixed by #2039
Closed

Add support to libraries with cdylib type #1915

celinval opened this issue Nov 18, 2022 · 0 comments · Fixed by #2039
Assignees
@celinval
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-High Priority Tag issues that have high priority T-User Tag user issues / requests

Comments

@celinval
Copy link
Contributor

Requested feature: Users may want to verify crates that also support the generation of a cdylib. One good example can be found at #1896.
Use case: https://github.com/nyx-space/hifitime
Link to relevant documentation (Rust reference, Nomicon, RFC):

Test case:

git clone https://github.com/nyx-space/hifitime.git
cd hifitime
cargo kani
@celinval celinval added [C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-User Tag user issues / requests labels Nov 18, 2022
@celinval celinval mentioned this issue Nov 18, 2022
Closed
@zhassan-aws zhassan-aws mentioned this issue Dec 15, 2022
Closed
@celinval celinval added the T-High Priority Tag issues that have high priority label Dec 22, 2022
@celinval celinval assigned celinval and unassigned danielsn Dec 23, 2022
@celinval celinval mentioned this issue Dec 23, 2022
Merged
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@celinval celinval

Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. T-High Priority Tag issues that have high priority T-User Tag user issues / requests
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add support to cdylib, dylib and staticlib celinval/kani-dev
2 participants
@danielsn @celinval