-
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
ci: move CodeQL to advanced setup, analyses gated on relevant changes
#498
opened Jul 17, 2026 by
samuelburnham
Member
•
Draft
Blake3 circuit optimizations + Aiur inlined function calls
#497
opened Jul 17, 2026 by
arthurpaulino
Member
Loading…
chore(deps): bump the actions group across 1 directory with 5 updates
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#494
opened Jul 17, 2026 by
dependabot
Bot
Loading…
chore(deps): bump the rust-minor group across 1 directory with 7 updates
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#491
opened Jul 14, 2026 by
dependabot
Bot
Loading…
Aiur hash circuits: value-based keccak-256, inlined calls, self-recursive rounds, and a generalized chain-rotate gadget
#488
opened Jul 13, 2026 by
arthurpaulino
Member
Loading…
Benchmarks: Statistics — model & plot Aiur/Zisk benchmark cost data
#469
opened Jul 2, 2026 by
samuelburnham
Member
•
Draft
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!
Exclude everything labeled
bug with -label:bug.