Should we use `BUF` to replace sparse bytes?
@Stevengre is already working on this.
Since Jun 23, 2025.
Assessment
This issue has not been assessed yet.
Description
EVM semantics provides BUF to compress the zero bytes and ease transformation between reg and memory.
No need to transform from Int to Bytes and Bytes to Int.
- Dominant language
- Python
- Stars
- 7
- Forks
- 0
- PR merge metrics
- No merged PRs in 30d
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from runtimeverification/riscv-semantics
-
documentation
runtimeverification/riscv-semantics#159 · 1 assignee ·
-
documentation
runtimeverification/riscv-semantics#158 · 1 assignee ·
-
question
runtimeverification/riscv-semantics#157 · 1 assignee ·
-
runtimeverification/riscv-semantics#150 · 1 assignee ·
-
documentation
Difficulty 4/5 3-5 days Newbie friendliness 25/100
All issues in runtimeverification/riscv-semantics
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
bancolombia/sentinel#23 ·
-
test md OpenCI
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
-
integration:quickjs org:external priority:backlog topic:code-interpreter topic:middleware type:feature
Difficulty 2/5 1-3 hours Newbie friendliness 74/100
langchain-ai/deepagents#6450 ·
-
bug client
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 74/100