-
Notifications
You must be signed in to change notification settings - Fork 3
Pull requests: argumentcomputer/ix
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
IxVM: context-suffix memo keys for closed terms + drop dead KValNode
#433
opened Jun 2, 2026 by
arthurpaulino
Member
Loading…
IxVM: cut Aiur-kernel ingress cost (per-pass width + CheckEnv ingest-once)
#432
opened Jun 2, 2026 by
arthurpaulino
Member
Loading…
chore(deps): bump the rust-minor group across 1 directory with 2 updates
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#429
opened May 27, 2026 by
dependabot
Bot
Loading…
feat: Bench Aiur kernel on any def in LEAN_PATH
#427
opened May 23, 2026 by
samuelburnham
Member
•
Draft
feat: Add SP1 and Zisk kernel proving backends
#411
opened May 15, 2026 by
samuelburnham
Member
•
Draft
chore(deps): bump bincode from 2.0.1 to 3.0.0
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#406
opened May 13, 2026 by
dependabot
Bot
Loading…
chore(deps): bump iroh-base from 0.97.0 to 0.98.0
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#405
opened May 13, 2026 by
dependabot
Bot
Loading…
chore(deps): bump iroh from 0.97.0 to 0.98.2
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#404
opened May 13, 2026 by
dependabot
Bot
Loading…
Aiur verified-compiler proof scaffolding
#399
opened May 11, 2026 by
arthurpaulino
Member
Loading…
4 tasks done
Add Aiur formal verification framework with #aiur_gen command
#349
opened Mar 26, 2026 by
arthurpaulino
Member
Loading…
ProTip!
Find all pull requests that aren't related to any open issues with -linked:issue.