-
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(deps): bump tokio from 1.52.1 to 1.52.2 in the rust-minor group across 1 directory
dependencies
Pull requests that update a dependency file
rust
Pull requests that update rust code
#409
opened May 14, 2026 by
dependabot
Bot
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…
Add tracing-texray streaming instrumentation for Aiur proving
#401
opened May 12, 2026 by
samuelburnham
Member
•
Draft
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!
Add no:assignee to see everything that’s not assigned.