Skip to content

Issues: runtimeverification/wasm-semantics

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Clear current search query, filters, and sorts
25 Open 46 Closed
25 Open 46 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Program fail with a large list. Not Urgent
#145 opened Jul 12, 2019 by QianyangPeng updated Jul 22, 2019
Machine integers or "True" integers?
#184 opened Aug 15, 2019 by MrChico updated Aug 15, 2019
2
Number support; hex format, underscore separation
#186 opened Aug 15, 2019 by MrChico updated Aug 15, 2019
Valstack Bug bug
#140 opened Jul 10, 2019 by QianyangPeng updated Aug 28, 2019
5
Interesting properties to prove
#219 opened Sep 24, 2019 by hjorthjort updated Sep 26, 2019
3 of 10 tasks
Project Proposal
#234 opened Oct 23, 2019 by ehildenb updated Oct 23, 2019
Upstream generic Int arithmetic lemmas to domains.k module INT-SYMBOLIC
#262 opened Nov 20, 2019 by ehildenb updated Nov 20, 2019
List of unimplemented functionality for conformance tests
#150 opened Jul 16, 2019 by ehildenb updated Dec 12, 2019
9
call causes state splitting
#273 opened Dec 19, 2019 by hjorthjort updated Dec 19, 2019
8
Error parsing a wat file generated by wasm2wat bug
#288 opened Jan 23, 2020 by ehildenb updated Mar 20, 2020
Get rid of duplicated lemmas for commutative operations enhancement good first issue
#315 opened Apr 20, 2020 by hjorthjort updated Apr 20, 2020
Make functions in numeric.md total functional
#317 opened Apr 21, 2020 by ehildenb updated Apr 21, 2020
3
Function #set is not actually total bug
#318 opened Apr 21, 2020 by ehildenb updated Apr 21, 2020
Meeting Notes notes Not actual issues, but meant for documentation and note taking
#231 opened Oct 23, 2019 by ehildenb updated Apr 21, 2020
12
Unsupported test files
#323 opened Apr 21, 2020 by ehildenb updated Apr 21, 2020
Give native support to host function imports
#344 opened May 26, 2020 by hjorthjort updated May 26, 2020
2
Separate core semantics and text format enhancement
#93 opened Jun 14, 2019 by hjorthjort updated Jun 21, 2020
5 of 11 tasks
4
Build abstract Wasm as a separate subdefinition from text+test Wasm enhancement
#385 opened Nov 17, 2020 by hjorthjort updated Nov 17, 2020
Seeking Alternatives for Outdated py-wasm Package
#524 opened Nov 13, 2023 by bbyalcinkaya updated Nov 13, 2023
Upstream WebAssembly specific features from Kasmer
#646 opened Jun 12, 2024 by ehildenb updated Jun 12, 2024
@virgil-serbanuta
Handle global.get in element segments
#660 opened Jun 26, 2024 by gtrepta updated Jun 26, 2024
Improve tokenisation support
#662 opened Jun 26, 2024 by gtrepta updated Jun 26, 2024
Function signatures aren't available during Text2Abstract on function definitions
#663 opened Jun 27, 2024 by gtrepta updated Jun 27, 2024
Lost stack values when entering a loop
#678 opened Jul 16, 2024 by gtrepta updated Jul 16, 2024
Excluded Proof Tests from CI Due to Failures bug
#718 opened Mar 14, 2025 by bbyalcinkaya updated Mar 14, 2025
ProTip! Adding no:label will show everything without a label.