-
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
chore: Update Lean to v4.33.0
auto-update-lean
#554
opened Aug 12, 2026 by
argument-ci-bot
Bot
Loading…
chore(deps): bump the rust-minor group across 1 directory with 11 updates
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#548
opened Aug 11, 2026 by
dependabot
Bot
Loading…
feat(aiur): Accurate whole-env sharding based on execution measurements
#537
opened Aug 4, 2026 by
samuelburnham
Member
•
Draft
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
#536
opened Aug 4, 2026 by
dependabot
Bot
Loading…
Benchmarks: Statistics — model & plot Aiur/Zisk benchmark cost data
#469
opened Jul 2, 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!
Type g p on any issue or pull request to go back to the pull request listing page.