Force state simplification with `--interim-simplification`

runtimeverification / kasmer-multiversx

Wasm semantics for the Elrond/MultiversX blockchain network

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

0 stars 0 forks source link

Force state simplification with `--interim-simplification` #147

Closed bbyalcinkaya closed 4 months ago

bbyalcinkaya commented 4 months ago

The swap proof slows down extremely after a certain depth. This PR adds the --interim-simplification flag to force kore simplification after a certain depth (2k). With this flag, the swap proof completes in ~3 hours locally.