Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Create a #[no_core] Kani library #3153

Closed
Tracked by #3152
celinval opened this issue Apr 19, 2024 · 0 comments
Closed
Tracked by #3152

Create a #[no_core] Kani library #3153

celinval opened this issue Apr 19, 2024 · 0 comments
Assignees
@celinval

Comments

@celinval
Copy link
Contributor

In order to support annotations in a #[no_core] environment, and subsequently, #[no_std], we should consider creating a version of Kani library that has no dependency.
@celinval celinval mentioned this issue Apr 19, 2024
Closed
4 tasks
@celinval celinval self-assigned this Apr 22, 2024
@celinval celinval mentioned this issue Jun 4, 2024
Merged
celinval added a commit that referenced this issue Jun 4, 2024
@celinval @jaisnan
Add kani_core library placeholder and build logic (#3227)
ab56b9d 
While at it, I also added a `--skip-libs` to skip rebuilding the Kani
libraries and standard library at every `cargo build-dev` execution.

We usually only need to rebuild the libraries when we make changes to
them or when we update the Rust toolchain. Rebuilding them can be quite
time consuming when you are making changes to Kani.

Towards #3226 #3153

Co-authored-by: Jaisurya Nanduri <91620234+jaisnan@users.noreply.github.com>
@celinval celinval mentioned this issue Jun 10, 2024
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@celinval celinval

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@celinval