Uh oh!
There was an error while loading. Please reload this page.
- Notifications
You must be signed in to change notification settings - Fork 3
All issues
Issue creation is restricted in this repository
Issues
is:issuestate:open
is:issue state:open
Search results
- Status: Open.#419In argumentcomputer/ix;
- Status: Open.#389In argumentcomputer/ix;
- Status: Open.#373In argumentcomputer/ix;
- Status: Open.#350In argumentcomputer/ix;
Rewrite decoding for Lean datatypes
bugSomething isn't workingSomething isn't workingenhancementNew feature or requestNew feature or requestrustPull requests that update rust codePull requests that update rust codeStatus: Open.#303In argumentcomputer/ix;- Status: Open.#291In argumentcomputer/ix;
Remove
BuiltIn-related data fromIxonixIxVM implementation and upwardsIxVM implementation and upwardsStatus: Open.#277In argumentcomputer/ix;- Status: Open.#262In argumentcomputer/ix;
Specialized Rust compilation profiles
enhancementNew feature or requestNew feature or requestStatus: Open.#256In argumentcomputer/ix;Efficient arithmetic operations in the IxVM
enhancementNew feature or requestNew feature or requestixIxVM implementation and upwardsIxVM implementation and upwardsStatus: Open.#168In argumentcomputer/ix;