-
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
Ixon: .ixe bundle format — main/assumptions header, metadata-last sections, blob integrity
#474
opened Jul 5, 2026 by
johnchandlerburnham
Member
Loading…
Compiler fixes for auxiliary constant generation
#473
opened Jul 4, 2026 by
johnchandlerburnham
Member
Loading…
IxVM ingress: panic-on-miss rbtree lookups for ptr_val-keyed maps
#472
opened Jul 3, 2026 by
arthurpaulino
Member
•
Draft
perf: Switch Aiur from Keccak to Blake3 hashing
#470
opened Jul 2, 2026 by
samuelburnham
Member
•
Draft
Benchmarks: Statistics — model & plot Aiur/Zisk benchmark cost data
#469
opened Jul 2, 2026 by
samuelburnham
Member
•
Draft
zisk: update to Zisk v1.0.0-alpha (blake3-precompile branch)
#468
opened Jul 2, 2026 by
samuelburnham
Member
•
Draft
ci: Standardize benchmarks and input constants
#467
opened Jul 2, 2026 by
samuelburnham
Member
•
Draft
Aiur kernel: fix Lean.Syntax.rec (shard 53) +
ix name-of
#464
opened Jul 1, 2026 by
arthurpaulino
Member
Loading…
5 tasks done
chore(deps): bump the actions group across 1 directory with 4 updates
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#460
opened Jun 30, 2026 by
dependabot
Bot
Loading…
chore(deps): bump the rust-minor group across 1 directory with 5 updates
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#458
opened Jun 30, 2026 by
dependabot
Bot
Loading…
perf(rust-kernel): Intern-assigned uids, symbolic Nat offsets, environment-machine WHNF reducer
#442
opened Jun 12, 2026 by
samuelburnham
Member
Loading…
Review fixes: kernel soundness, untrusted-input hardening, perf, CI
#439
opened Jun 10, 2026 by
johnchandlerburnham
Member
Loading…
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!
What’s not been updated in a month: updated:<2026-06-05.