Open palinatolmach opened 2 months ago
There have been some changes to the logic that triggers automated rekompilation and reinitialization, such as https://github.com/runtimeverification/kontrol/pull/731 and https://github.com/runtimeverification/kontrol/pull/646. We should document the current behavior.
Subsumes https://github.com/runtimeverification/gitbook-kontrol/issues/42.
There have been some changes to the logic that triggers automated rekompilation and reinitialization, such as https://github.com/runtimeverification/kontrol/pull/731 and https://github.com/runtimeverification/kontrol/pull/646. We should document the current behavior.
Subsumes https://github.com/runtimeverification/gitbook-kontrol/issues/42.