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

Implement proper caching mechanism for files during compilation #1736

Closed
danielsn opened this issue Sep 30, 2022 · 2 comments · Fixed by #2232
Closed

Implement proper caching mechanism for files during compilation #1736

danielsn opened this issue Sep 30, 2022 · 2 comments · Fixed by #2232
Assignees
@celinval
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature.
Milestone
Proof Caching

Comments

@danielsn
Copy link
Contributor

Currently, we "do it the way its always been done". #1686 (comment)

We should have a principled choice for what to keep when.
@danielsn danielsn mentioned this issue Sep 30, 2022
Merged
4 tasks
@celinval
Copy link
Contributor

celinval commented Oct 3, 2022

Not quite. Please see my comment here: #1686 (comment)

I would prefer changing this to be something like implement proper caching mechanisms. :)

@danielsn danielsn changed the title Clearly decide what temporary files to keep during compliation Implement proper caching mechanism for files during compilation Oct 4, 2022
@celinval
Copy link
Contributor

celinval commented Nov 3, 2022

We decided for now to just nuke the entire cache (see #1821). We should however fix all the issues related to caching and enable this again.

@tedinski tedinski added the [C] Feature / Enhancement A new feature request or enhancement to an existing feature. label Nov 14, 2022
@zhassan-aws zhassan-aws mentioned this issue Dec 23, 2022
Closed
@celinval celinval added this to the Proof Caching milestone Jan 19, 2023
@celinval celinval self-assigned this Feb 2, 2023
@celinval celinval mentioned this issue Feb 23, 2023
Merged
4 tasks
@celinval celinval moved this to In Progress in Kani 2023-03-06 Feb 23, 2023
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.
Projects
No open projects
Kani 2023-03-06
Status: In Progress
Milestone
Proof Caching
Development

Successfully merging a pull request may close this issue.

Enable build cache in cargo kani celinval/kani-dev
3 participants
@tedinski @danielsn @celinval