runtimeverification/wasm-semantics

可能已有人在做的 issue 排在最後。 全部依時間排序

• Fragmentation in `SparseBytes` caused by `replaceAtZ` rule

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement

  難度 2/5 1-3 小時 新手友好度 55/100

  runtimeverification/wasm-semantics#742 · 2025年11月24日 建立

• Excluded Proof Tests from CI Due to Failures

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug

  難度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/wasm-semantics#718 · 2025年3月14日 建立

• Lost stack values when entering a loop

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 3/5 1-2 天 新手友好度 48/100

  runtimeverification/wasm-semantics#678 · 2024年7月16日 建立

• Function signatures aren't available during `Text2Abstract` on function definitions

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 3/5 1-2 天 新手友好度 55/100

  runtimeverification/wasm-semantics#663 · 2024年6月27日 建立

• Improve tokenisation support

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/wasm-semantics#662 · 2024年6月26日 建立

• Handle `global.get` in element segments

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 3/5 1-2 天 新手友好度 35/100

  runtimeverification/wasm-semantics#660 · 2024年6月26日 建立

• Upstream WebAssembly specific features from Kasmer

  可能重新可做 @virgil-serbanuta 於 866 天前認領，目前沒有進行中的 PR。 未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  runtimeverification/wasm-semantics#646 · 已指派 1 人 · 2024年6月12日 建立

• Seeking Alternatives for Outdated py-wasm Package

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 25/100

  runtimeverification/wasm-semantics#524 · 2023年11月13日 建立

• Build abstract Wasm as a separate subdefinition from text+test Wasm

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement

  難度 4/5 3-5 天 新手友好度 25/100

  runtimeverification/wasm-semantics#385 · 2020年11月17日 建立

• Give native support to host function imports

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 25/100

  runtimeverification/wasm-semantics#344 · 2 則留言 · 2020年5月26日 建立

• Unsupported test files

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/wasm-semantics#323 · 2020年4月21日 建立

• Function `#set` is not actually total

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug

  難度 4/5 3-5 天 新手友好度 38/100

  runtimeverification/wasm-semantics#318 · 2020年4月21日 建立

• Make functions in `numeric.md` total `functional`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/wasm-semantics#317 · 3 則留言 · 2020年4月21日 建立

• Get rid of duplicated lemmas for commutative operations

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement good first issue

  難度 4/5 3-5 天 新手友好度 38/100

  runtimeverification/wasm-semantics#315 · 2020年4月20日 建立

• Error parsing a wat file generated by wasm2wat

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug

  難度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/wasm-semantics#288 · 2020年1月23日 建立

• `call` causes state splitting

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 4/5 3-5 天 新手友好度 25/100

  runtimeverification/wasm-semantics#273 · 8 則留言 · 2019年12月19日 建立

• Upstream generic `Int` arithmetic lemmas to `domains.k` module `INT-SYMBOLIC`

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/wasm-semantics#262 · 2019年11月20日 建立

• Project Proposal

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 25/100

  runtimeverification/wasm-semantics#234 · 2019年10月23日 建立

• Meeting Notes

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  notes

  難度 1/5 1 小時以內 新手友好度 25/100

  runtimeverification/wasm-semantics#231 · 12 則留言 · 2019年10月23日 建立

• Interesting properties to prove

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 25/100

  runtimeverification/wasm-semantics#219 · 2019年9月24日 建立

• Number support; hex format, underscore separation

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 3/5 1-2 天 新手友好度 35/100

  runtimeverification/wasm-semantics#186 · 2019年8月15日 建立

• Machine integers or "True" integers?

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 25/100

  runtimeverification/wasm-semantics#184 · 2 則留言 · 2019年8月15日 建立

• List of unimplemented functionality for conformance tests

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消

  難度 5/5 一週以上 新手友好度 18/100

  runtimeverification/wasm-semantics#150 · 9 則留言 · 2019年7月16日 建立

• Program fail with a large list.

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  Not Urgent

  難度 4/5 3-5 天 新手友好度 25/100

  runtimeverification/wasm-semantics#145 · 2019年7月12日 建立

• Valstack Bug

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  bug

  難度 4/5 3-5 天 新手友好度 35/100

  runtimeverification/wasm-semantics#140 · 5 則留言 · 2019年7月10日 建立

• Separate core semantics and text format

  未關閉

  ⋯回報這個 Issue 的問題

  • 哪裡不對？

  • 已被認領
  • 不適合新手
  • 已失效
  • 其他…
  • 送出 取消
  enhancement

  難度 5/5 一週以上 新手友好度 25/100

  runtimeverification/wasm-semantics#93 · 4 則留言 · 2019年6月14日 建立