close
Skip to content

Pull requests: 0xProject/0x-settler

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
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

feat: add Pancake Infinity on Robinhood
#649 opened Sep 11, 2026 by svccentaur Loading…
Golf SELECT and make it compatible with ETH_ADDRESS
#647 opened Sep 9, 2026 by duncancmt Collaborator 2/2 Draft
Deepstate integration on Robinhood Chain
#642 opened Sep 2, 2026 by e1Ru1o Member Loading…
Add SELECT action audit changes have been sent for audit and professionally reviewed
#641 opened Sep 1, 2026 by duncancmt Collaborator 1/2 Loading…
Add FluxPool action on BNB
#634 opened Aug 25, 2026 by jparklev Contributor Loading…
Formally verified mulExpRay
#599 opened Jul 14, 2026 by duncancmt Collaborator 8/8 Loading…
Formally verified expRayToWad
#593 opened Jul 2, 2026 by duncancmt Collaborator 7/8 Loading…
Use EVMYulLean as the source of truth for Lean-based formal verification
#591 opened Jun 26, 2026 by duncancmt Collaborator 6/8 Loading…
Prove error bounds on formally-verified natural logarithm
#589 opened Jun 25, 2026 by duncancmt Collaborator 5/8 Loading…
Add formally verified natural logarithm
#585 opened Jun 14, 2026 by duncancmt Collaborator 4/8 Loading…
Dry allowanceHolder use in test
#576 opened Jun 2, 2026 by e1Ru1o Member Loading…
WIP: homogenize slippage checking
#534 opened Mar 22, 2026 by duncancmt Collaborator Draft
Formally prove the correctness of Sqrt.sol and Cbrt.sol
#511 opened Feb 26, 2026 by duncancmt Collaborator 3/8 Loading…
512-bit cube root cbrt
#505 opened Feb 24, 2026 by duncancmt Collaborator 2/8 Loading…
Golf 512-bit sqrt
#502 opened Feb 22, 2026 by duncancmt Collaborator 1/8 Loading…
MegaEth
#453 opened Dec 17, 2025 by duncancmt Collaborator Loading…
Blacklist IERC20.transferFrom.selector in BASIC
#393 opened Aug 14, 2025 by duncancmt Collaborator Loading…
[ZeroEx] add test for Otc order signed by another address
#85 opened Feb 15, 2024 by dekz Member Loading…
ProTip! Adding no:label will show everything without a label.