Efficient arithmetic operations in the IxVM
Maintainers usually reply within 1 day
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 25/100
Research direction
The issue identifies Lean arithmetic definitions, the IxVM, and native Aiur arithmetic operations, but names no files, tests, or entry points. Start by locating the IxVM arithmetic execution path and the Lean definitions it handles. Done means the basic operations execute as native Aiur arithmetic rather than through the slower Lean implementation.
Written by the indexing model from the issue text.
Description
Very basic operations are defined in Lean in a way that will be very slow when run in the IxVM.
We need a way to turn those into native Aiur arithmetic operations.
- Dominant language
- Rust
- Stars
- 96
- Forks
- 3
- Avg merge
- 1d 3h
- Merged PRs (30d)
- 29
Getting set up
We have not checked this project's setup files yet. Start from its README, and see our first-contribution guide for the general steps.
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 argumentcomputer/ix
-
`io_load_info`May be free again @arthurpaulino claimed this 130 days ago, and no pull request is open. Open
argumentcomputer/ix#419 · 1 assignee ·
Maintainers usually reply within 1 day
-
Difficulty 5/5 Over a week Newbie friendliness 15/100
argumentcomputer/ix#389 ·
Maintainers usually reply within 1 day
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
argumentcomputer/ix#373 ·
Maintainers usually reply within 1 day
-
Difficulty 5/5 Over a week Newbie friendliness 28/100
argumentcomputer/ix#350 · 1 reaction ·
Maintainers usually reply within 1 day
-
bug enhancement rust
Difficulty 4/5 3-5 days Newbie friendliness 45/100
argumentcomputer/ix#303 ·
Maintainers usually reply within 1 day
All issues in argumentcomputer/ix
Similar issues
-
area:casework bug criticality:p3 triage:needs-implementation
Difficulty 2/5 1-3 hours Newbie friendliness 84/100
registrystack/registry-stack#1623 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
leptos-rs/leptos#4885 · 1 comment ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
longbridge/gpui-kit#3276 ·
Maintainers usually reply within 1 day
-
A-Migration Guides D-Straightforward S-Ready-For-Implementation X-Uncontroversial
Difficulty 1/5 Under an hour Newbie friendliness 88/100
bevyengine/bevy-website#2607 ·
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
Maintainers usually reply within 1 day