Make memory a constructor-based list

runtimeverification / wasm-semantics

A Prototype Formal Semantics of WebAssembly in K

Other

74 stars 18 forks source link

Make memory a constructor-based list #612

Closed virgil-serbanuta closed 3 months ago

virgil-serbanuta commented 3 months ago

@bbyalcinkaya I increased the SMT timeout for one test, we can discuss that if needed, and I can fix or rollback if you think it wasn't the right thing to do.