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

Rotate "upgrade" Safe{Wallet} owners in preparation for the Guard
#624 opened Aug 13, 2026 by duncancmt Collaborator 2/2 Loading…
test: Add OrvexCL integration tests on RobinHood fork
#622 opened Aug 7, 2026 by e1Ru1o Member Loading…
Add OrvexCL PancakeInfinity fork to Robinhood
#621 opened Aug 7, 2026 by e1Ru1o Member Loading…
Migrate proportional action arguments from bps to ppm
#617 opened Jul 30, 2026 by e1Ru1o Member Loading…
Formally verified mulExpRay
#599 opened Jul 14, 2026 by duncancmt Collaborator 8/8 Loading…
fix: replace node20 action-cve with node24-safe step
#594 opened Jul 7, 2026 by talalashraf Contributor 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…
Add Safe{Wallet} v1.4.1 config to chain_config.json
#590 opened Jun 26, 2026 by duncancmt Collaborator 1/2 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! Exclude everything labeled bug with -label:bug.