Search results

Excluded Proof Tests from CI Due to Failures

bug

Status: Open.

#718 In runtimeverification/wasm-semantics;

· bbyalcinkaya opened on Mar 14, 2025

Function <code>#set</code> is not actually total

bug

Status: Open.

#318 In runtimeverification/wasm-semantics;

· ehildenb opened on Apr 21, 2020

Error parsing a wat file generated by wasm2wat

bug

Status: Open.

#288 In runtimeverification/wasm-semantics;

· ehildenb opened on Jan 23, 2020

Valstack Bug

bug

Status: Open.

#140 In runtimeverification/wasm-semantics;

· QianyangPeng opened on Jul 10, 2019