Skip to content

Pull requests: 0xProject/0x-settler

New pull request New
27 Open 610 Closed
27 Open 610 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat: support Sushi swaps on Arc
#660 opened Sep 17, 2026 by svccentaur Contributor Loading…
1
Verify Arc chain contracts on Sourcify too
#659 opened Sep 16, 2026 by duncancmt Collaborator Loading…
@duncancmt
1
feat(arc): add AchSwap V3 fork
#657 opened Sep 16, 2026 by svccentaur Contributor Loading…
1
Document the gas comparison workflow
#652 opened Sep 14, 2026 by duncancmt Collaborator Loading…
1
@duncancmt
1
feat: add Pancake Infinity on Robinhood
#649 opened Sep 11, 2026 by svccentaur Contributor Loading…
1
Golf SELECT and make it compatible with ETH_ADDRESS
#647 opened Sep 9, 2026 by duncancmt Collaborator • 2/2 • Draft
@duncancmt
Deepstate integration on Robinhood Chain
#642 opened Sep 2, 2026 by e1Ru1o Member Loading…
@e1Ru1o
23
Add SELECT action audit changes have been sent for audit and professionally reviewed
#641 opened Sep 1, 2026 by duncancmt Collaborator • 1/2 Loading…
@duncancmt
2
feat: integrate Deepstate settlement on Robinhood Chain
#640 opened Aug 28, 2026 by dangerousfood Loading…
2
Formally verified mulExpRay
#599 opened Jul 14, 2026 by duncancmt Collaborator • 8/8 Loading…
@duncancmt
1
Formally verified expRayToWad
#593 opened Jul 2, 2026 by duncancmt Collaborator • 7/8 Loading…
@duncancmt
1
Use EVMYulLean as the source of truth for Lean-based formal verification
#591 opened Jun 26, 2026 by duncancmt Collaborator • 6/8 Loading…
@duncancmt
2
Prove error bounds on formally-verified natural logarithm
#589 opened Jun 25, 2026 by duncancmt Collaborator • 5/8 Loading…
1
Add formally verified natural logarithm
#585 opened Jun 14, 2026 by duncancmt Collaborator • 4/8 Loading…
@duncancmt
2
WIP: Migrate SafeGuard tests to 3-of-5 and expand coverage
#582 opened Jun 10, 2026 by duncancmt Collaborator • Draft
@duncancmt
WIP: add action/event to flag swaps for credible layer checking
#581 opened Jun 9, 2026 by duncancmt Collaborator • Draft
@duncancmt
2
Dry allowanceHolder use in test
#576 opened Jun 2, 2026 by e1Ru1o Member Loading…
@e1Ru1o
6
Add RedeploySettlers + revive_chain.sh for reviving abandoned chains
#573 opened May 28, 2026 by jparklev Contributor Loading…
10
WIP: homogenize slippage checking
#534 opened Mar 22, 2026 by duncancmt Collaborator • Draft
@duncancmt
Formally prove the correctness of Sqrt.sol and Cbrt.sol
#511 opened Feb 26, 2026 by duncancmt Collaborator • 3/8 Loading…
@duncancmt
9
512-bit cube root cbrt
#505 opened Feb 24, 2026 by duncancmt Collaborator • 2/8 Loading…
@duncancmt
1
Golf 512-bit sqrt
#502 opened Feb 22, 2026 by duncancmt Collaborator • 1/8 Loading…
@duncancmt
1
MegaEth
#453 opened Dec 17, 2025 by duncancmt Collaborator Loading…
@duncancmt
7
Blacklist IERC20.transferFrom.selector in BASIC
#393 opened Aug 14, 2025 by duncancmt Collaborator Loading…
@duncancmt
WIP: Incoporate learnings into a new iteration of AllowanceHolder
#246 opened Oct 10, 2024 by duncancmt Collaborator • Draft
6
ProTip! Type g i on any issue or pull request to go back to the issue listing page.