-
Notifications
You must be signed in to change notification settings - Fork 3
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#454 In argumentcomputer/ix;
- Status: Open.#419 In argumentcomputer/ix;
- Status: Open.#389 In argumentcomputer/ix;
- Status: Open.#373 In argumentcomputer/ix;
- Status: Open.#350 In argumentcomputer/ix;
- Status: Open.#323 In 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.#303 In argumentcomputer/ix;- Status: Open.#291 In argumentcomputer/ix;
Remove
BuiltIn-related data fromIxonixIxVM implementation and upwardsIxVM implementation and upwardsStatus: Open.#277 In argumentcomputer/ix;- Status: Open.#262 In argumentcomputer/ix;
Specialized Rust compilation profiles
enhancementNew feature or requestNew feature or requestStatus: Open.#256 In argumentcomputer/ix;Efficient arithmetic operations in the IxVM
enhancementNew feature or requestNew feature or requestixIxVM implementation and upwardsIxVM implementation and upwardsStatus: Open.#168 In argumentcomputer/ix;