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

Document rekompilation & reinitialization logic #54

Open

palinatolmach opened this issue Aug 2, 2024 · 0 comments

Labels

Contributor

palinatolmach commented Aug 2, 2024 •

edited

Loading

There have been some changes to the logic that triggers automated rekompilation and reinitialization, such as runtimeverification/kontrol#731 and runtimeverification/kontrol#646. We should document the current behavior.

Subsumes #42.

palinatolmach mentioned this issue

Clarify kontrol build behavior #42

Closed

palinatolmach added the documentation label

palinatolmach mentioned this issue

Refactor digest checks. runtimeverification/kontrol#731

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment