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

24 Open 46 Closed
24 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

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