Add flag to not create multiple versions of the same proof

runtimeverification / kontrol

BSD 3-Clause "New" or "Revised" License

55 stars 9 forks source link

Add flag to not create multiple versions of the same proof #334

Closed JuanCoRo closed 3 months ago

JuanCoRo commented 9 months ago

It is possible that when developing proofs, we don't care about keeping track of multiple versions of the same proof. We could have a flag (e.g., --single-version) to automatically delete all existing versions of Contract.proof when kontrol prove Contract.proof --single-version is executed.

palinatolmach commented 9 months ago

Based on the conversation on the standup 02/06, we've decided to

add this option as a configuration file parameter instead of a CLI flag
prioritize the completion of https://github.com/runtimeverification/kontrol/issues/333 first

palinatolmach commented 8 months ago

Since it was decided to add this option as a configuration file parameter rather than a CLI flag, I'm marking it as blocked on https://github.com/runtimeverification/kontrol/pull/373.

palinatolmach commented 3 months ago

Closed in favor of https://github.com/orgs/runtimeverification/projects/23/views/7?pane=issue&itemId=72718013.