Skip to content

Pull requests: 0xProject/0x-settler

New pull request New
20 Open 553 Closed
20 Open 553 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

Use EVMYulLean as the source of truth for Lean-based formal verification
#591 opened Jun 26, 2026 by duncancmt Collaborator Loading…
@duncancmt
2
Add Safe{Wallet} v1.4.1 config to chain_config.json
#590 opened Jun 26, 2026 by duncancmt Collaborator Loading…
@duncancmt
1
Prove error bounds on formally-verified natural logarithm
#589 opened Jun 25, 2026 by duncancmt Collaborator Loading…
1
Claude/affectionate lovelace 6o5vp3
#586 opened Jun 15, 2026 by mihailnikolov-Nethermind Loading…
1
Add formally verified natural logarithm
#585 opened Jun 14, 2026 by duncancmt Collaborator 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
Renegade v2
#575 opened Jun 1, 2026 by jparklev Contributor Loading…
21
Add RedeploySettlers + revive_chain.sh for reviving abandoned chains
#573 opened May 28, 2026 by jparklev Contributor Loading…
3
Clean up the handling of bool types in assembly for pedantic correctness
#559 opened Apr 15, 2026 by duncancmt Collaborator Loading…
@duncancmt
14
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 Loading…
@duncancmt
9
512-bit cube root cbrt
#505 opened Feb 24, 2026 by duncancmt Collaborator Loading…
@duncancmt
1
Golf 512-bit sqrt
#502 opened Feb 22, 2026 by duncancmt Collaborator 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
[PoC] Calldata compression example for lower gas on L2
#120 opened May 16, 2024 by duncancmt Collaborator • Draft
1
[ZeroEx] add test for Otc order signed by another address
#85 opened Feb 15, 2024 by dekz Member Loading…
ProTip! Add no:assignee to see everything that’s not assigned.