Skip to content

Formally verified mulExpRay #599

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
duncancmt wants to merge 122 commits into from
Open

Formally verified mulExpRay #599

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
122 commits
Select commit Hold shift + click to select a range
8790bef
Fix unsafe bool handling at Solidity/Yul assembly boundaries
duncancmt Apr 15, 2026
edb5e6b
Fix bool cleanliness at Yul boundaries
duncancmt Apr 15, 2026
6ae0786
Optimize bool truthiness at Yul boundaries
duncancmt Apr 15, 2026
632ee47
Fix additional bool cleanup sites missed in first pass
duncancmt Apr 15, 2026
a27a056
Simplify strict bool decoder assembly
duncancmt Apr 15, 2026
2f4e4a0
Improve FastLogic and fix CrossChainReceiverFactory bool cleanup
duncancmt Apr 15, 2026
fd8946f
Add comments to FastLogic explaining dirty-bool handling
duncancmt Apr 15, 2026
5e1a2bd
Merge branches claude/bool and codex/bool
duncancmt Apr 15, 2026
ba92d74
Cleaning up slop
duncancmt Apr 15, 2026
cdf522f
Stack-too-deep
duncancmt Apr 15, 2026
936ebc5
Stack-too-deep
duncancmt Apr 15, 2026
008ca48
Cleaning up slop
duncancmt Apr 15, 2026
cfc6a2e
Cleaning up slop
duncancmt Apr 15, 2026
6551562
Cleaning up slop
duncancmt Apr 15, 2026
7eb275d
Cleaning up slop
duncancmt Apr 15, 2026
058e62c
Reduce stack pressure
duncancmt Apr 15, 2026
6f22edc
Fix CI
duncancmt Apr 16, 2026
41e5a5b
`forge fmt`
duncancmt Apr 16, 2026
600c2e8
Bug! `calls[i].target` may alias `calls[j].data`, resulting in mallea…
duncancmt May 18, 2026
b2ad52c
WIP: RobinHood chain
duncancmt May 19, 2026
1a4609c
WIP: RobinHood chain
duncancmt May 19, 2026
34b4cd6
WIP: RobinHood chain -- add WETH address
duncancmt May 19, 2026
f43837c
WIP: RobinHood chain -- add to SafeConfig.sol
duncancmt May 21, 2026
d3c0322
WIP: RobinHood chain -- test for hardfork support
duncancmt May 21, 2026
b1f8687
WIP: RobinHood chain -- deploy MultiCall and CrossChainReceiverFactory
duncancmt May 26, 2026
3cac7fb
WIP: RobinHood chain -- deploy AllowanceHolder
duncancmt May 27, 2026
b0de7d2
WIP: RobinHood chain -- compilation errors
duncancmt May 27, 2026
84349ec
Finished: deploy Settler to RobinHood chain
duncancmt May 27, 2026
7377478
Add STS URL for RobinHood Chain
duncancmt Jun 5, 2026
492c9c7
Put chainid back in initcode for RobinHood Chain
duncancmt Jun 5, 2026
8da090e
Add UniswapV3 and UniswapV4 support on RobinHood chain
duncancmt Jun 8, 2026
6e7b0ae
Merge branch 'master' into dcmt/robinhood-chain
duncancmt Jun 8, 2026
db2420d
`CHANGELOG.md`
duncancmt Jun 8, 2026
5362a61
Merge branch 'master' into dcmt/bool
duncancmt Jun 12, 2026
d08627c
Resolve Uniswap V3 unit test conflict
duncancmt Jun 12, 2026
fd8aab3
Use iszero masks for ternary swaps
duncancmt Jun 12, 2026
b153a5a
Clean up slop
duncancmt Jun 12, 2026
ec99760
Clean up useless/failing tests
duncancmt Jun 19, 2026
fbb0526
Use `_mockExpectCall` instead of an explicit mock contract
duncancmt Jun 19, 2026
55ff3b8
Fix too-lax test
duncancmt Jun 19, 2026
306bc60
Rename `fastUniswapV2Pool` => `FastUniswapV2Pool`
duncancmt Jun 19, 2026
aa85e50
Remove unused `_HAS_WNATIVE`
duncancmt Jun 19, 2026
3e4a7a1
Relax `isForwarded` masking in `UniswapV3Fork` to canonicalization
duncancmt Jun 19, 2026
600794a
Merge branch 'master' into dcmt/bool
duncancmt Jun 19, 2026
2ab0f81
Address bool boundary review feedback
duncancmt Jun 19, 2026
528e5ed
Test dirty UniswapV3 swap direction encoding
duncancmt Jun 19, 2026
b156ec5
Fix mock DAI permit domain separator
duncancmt Jun 19, 2026
c138946
Add directions for agents around commenting and code archaeology
duncancmt Jun 19, 2026
803fe15
Require that AI agents add a `Co-Authored-By:` to each commit message
duncancmt May 8, 2026
0fe01eb
More AGENTS.md instructions for coauthorship
duncancmt May 8, 2026
66585e3
Fix UniV3 forwarded flag decoding
duncancmt Jun 19, 2026
b260967
Regenerate integration gas snapshots
duncancmt Jun 19, 2026
6265835
Add EkuboV3 actions on RobinHood chain
duncancmt Jun 26, 2026
3c22d9c
Formatting
duncancmt Jun 26, 2026
68e6d69
Add PancakeSwapV3 UniV3 fork on RobinHood chain
duncancmt Jun 30, 2026
8204f75
Merge branch 'master' into dcmt/crosschainreceiver-metatx-malleability
duncancmt Jun 30, 2026
eb42d40
Merge branch 'master' into dcmt/robinhood-chain
duncancmt Jul 8, 2026
fe39903
Merge branch 'dcmt/crosschainreceiver-metatx-malleability'
duncancmt Jul 8, 2026
8eb5ac2
Add PrjxV3 (Project X) UniV3 fork to HyperEVM with fork ID 39
claude Jul 8, 2026
c008b50
Merge branch 'claude/prjxv3-hyperevm'
duncancmt Jul 8, 2026
daf00f1
Merge branch 'dcmt/robinhood-chain'
duncancmt Jul 8, 2026
469bccf
Add scaled exp ray multiplication
duncancmt Jul 9, 2026
f9a160f
Repair exp proof seam for shared kernel
duncancmt Jul 9, 2026
9bc035c
Add mulExpRay proof pipeline
duncancmt Jul 9, 2026
79b0eda
Document mulExpRay monotonicity specs
duncancmt Jul 9, 2026
2ea4a57
Extend mulExpRay proof pipeline
duncancmt Jul 9, 2026
09680ec
Expose mulExpRay guard tree
duncancmt Jul 9, 2026
012afb4
Inline single-use mulExpRay helpers
duncancmt Jul 9, 2026
badf6a0
Repair exp proof after mulExpRay inlining
duncancmt Jul 9, 2026
9807053
Add mulExpRay seam word rewrites
duncancmt Jul 9, 2026
a346ffa
Tighten the mulExpRay guard and fold the zero multiplier
duncancmt Jul 9, 2026
a2944fa
Rebuild the mulExpRay proof seam on the shared guard
duncancmt Jul 9, 2026
8c217ce
Document why mulExpRay is monotone in the multiplier
duncancmt Jul 9, 2026
3b893a1
Prove the mulExpRay runtime surface on its exact domains
duncancmt Jul 9, 2026
1493ac2
Widen the exp reduction anchors to the mulExpRay region
duncancmt Jul 10, 2026
49721f2
Carry the exp per-point brackets on the wide region
duncancmt Jul 10, 2026
9760880
Generalize the exp per-point brackets to a symbolic scale
duncancmt Jul 10, 2026
7c38e40
Prove the mulExpRay bracket on the whole value domain
duncancmt Jul 10, 2026
c69c85e
Prove mulExpRay monotone in the exponent on the value domain
duncancmt Jul 10, 2026
5c9c95c
Prove mulExpRay monotone in the multiplier on the value domain
duncancmt Jul 10, 2026
04a8331
Prove mulExpRay joint monotonicity and complete the natspec signpost
duncancmt Jul 10, 2026
eeef5a5
Document the tactic discipline over the runtime trees
duncancmt Jul 10, 2026
ee55235
Raise the mulExpRay scale cap to the certified ceiling and pare the g…
duncancmt Jul 10, 2026
ea11fdd
Strengthen agent decision discipline
duncancmt Jul 10, 2026
2b35f9a
Add extensible polynomial certificate backends
duncancmt Jul 10, 2026
20bae78
Add Exp polynomial certificate portfolio
duncancmt Jul 10, 2026
87e063f
Use shared polynomial certificates in Ln proofs
duncancmt Jul 10, 2026
ca3562f
Gate shared certificate soundness axioms
duncancmt Jul 10, 2026
731f34d
Certify mulExpRay through 127-bit magnitudes
duncancmt Jul 12, 2026
fcd8c94
Generate contiguous Ln certificate lanes
duncancmt Jul 12, 2026
040ae80
Unify selective formal proof CI
duncancmt Jul 12, 2026
2b89728
Narrow mulExpRay multiplier to int128
duncancmt Jul 12, 2026
7c82ba6
Narrow Exp return values to int128
duncancmt Jul 13, 2026
c274118
Support int128 minimum in mulExpRay
duncancmt Jul 13, 2026
2b2bcae
Inline single-use Exp constants
duncancmt Jul 13, 2026
7a3b33c
WIP: clean up AI comments
duncancmt Jul 13, 2026
be882e8
WIP: clean up AI comments
duncancmt Jul 13, 2026
0c65c4a
WIP: clean up AI comments
duncancmt Jul 13, 2026
ab97735
WIP: clean up AI comments
duncancmt Jul 13, 2026
e9bd7aa
Tighten Ln downward margin
duncancmt Jul 13, 2026
42858c2
Add Up UniV3 fork to RobinHood (fork ID 40)
claude Jul 14, 2026
b9d8986
WIP: clean up AI comments
duncancmt Jul 14, 2026
9807c96
WIP: clean up AI comments
duncancmt Jul 14, 2026
c3eca02
Finished: clean up AI comments
duncancmt Jul 14, 2026
c09109b
Merge branch 'dcmt/bool'
duncancmt Jul 14, 2026
df10d57
Fix Exp proof and formal dependency caching
duncancmt Jul 14, 2026
86b80ca
Merge branch 'dcmt/up-fork'
duncancmt Jul 14, 2026
f698f59
Add Sheriff (Algebra-like) UniV3 fork to RobinHood with fork ID 41
claude Jul 14, 2026
cf1fe3e
Merge branch 'dcmt/sheriff-fork'
duncancmt Jul 14, 2026
d35d155
fix: changelog support for Across on Monad entry
e1Ru1o Jul 14, 2026
60e2140
Merge branch 'e1Ru1o/changelog-typo'
duncancmt Jul 14, 2026
cbd2c53
Simplify
duncancmt Jul 14, 2026
0b8267c
Typo
duncancmt Jul 14, 2026
4db6186
Merge branch 'master' into dcmt/mul-exp
duncancmt Jul 14, 2026
116b3da
Certify tighter Ln approximation margin
duncancmt Jul 15, 2026
e856969
DRY
duncancmt Jul 15, 2026
e3ab9f3
Merge mulExp and formal proof updates
duncancmt Jul 15, 2026
3099e34
Comment
duncancmt Jul 15, 2026
987951a
Clean up CI runtime warnings
duncancmt Jul 15, 2026
54341cd
Reword mulExpRay revert docs around a single acceptance rule
duncancmt Jul 17, 2026
4d6060d
Size golf
duncancmt Jul 23, 2026
ea7f972
Track the xor-based headroom bias in the exp proof
duncancmt Jul 23, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion .forge-snapshots/DAIPermit_transfer-from-with-permit.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/ERC2612_transfer-from-with-permit.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/NativeMetaTransaction_transfer-from-with-permit.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_balancerV3VIP_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_bebop_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_bebop_WETH-USDC.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_bebop_partial_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_bebop_partial_WETH-USDC.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_bebop_slippage_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_bebop_slippage_WETH-USDC.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_ekuboVIP_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_ekuboVIP_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_empty_DAI-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_empty_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_empty_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_empty_USDT-CAKE.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_empty_USDT-WBNB.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_empty_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_empty_hanji_usdc_to_wmon.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_empty_hanji_wmon_to_usdc.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_pancakeInfinityVIP_USDT-CAKE.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_pancakeInfinityVIP_USDT-WBNB.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_rfq_proportionalFee_sellToken_DAI-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_rfq_proportionalFee_sellToken_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_rfq_proportionalFee_sellToken_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_rfq_proportionalFee_sellToken_USDT-CAKE.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_rfq_proportionalFee_sellToken_USDT-WBNB.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_rfq_proportionalFee_sellToken_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_rfq_proportionalFee_sellToken_hanji_usdc_to_wmon.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_rfq_proportionalFee_sellToken_hanji_wmon_to_usdc.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV2_single_chain_DAI-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV2_single_chain_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV2_single_chain_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3VIP_DAI-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3VIP_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3VIP_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3VIP_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3VIP_contract_DAI-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3VIP_contract_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3VIP_contract_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3VIP_contract_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3_DAI-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/allowanceHolder_uniswapV3_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/curveV2Pool_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/hanji_sellNativeForUsdc_hanji_wmon_to_usdc.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/hanji_sellUsdcForWmon_hanji_usdc_to_wmon.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/hanji_sellWmonForUsdc_hanji_wmon_to_usdc.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_balancerV3VIP_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_balancerV3_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_basic_curve_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_curveV2_fee_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_dodoV1_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_dodov2_USDT-DAI.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_dodov2_custody_USDT-DAI.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_ekuboExtension_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_ekuboV2Extension_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_ekuboV2_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_ekuboV2_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_ekuboVIP_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_ekuboVIP_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_ekubo_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_ekubo_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_eulerSwapCustody_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_eulerSwap_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_eulerSwap_USDT-USDC.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_externalMoveExecute_uniswapV3_DAI-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_externalMoveExecute_uniswapV3_USDC-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_externalMoveExecute_uniswapV3_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_externalMoveExecute_uniswapV3_USDT-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_externalMoveExecute_uniswapV3_WETH-USDC.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_makerPsmLite_buyGem_DAI-USDC.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_makerPsmLite_buyGem_USDD-USDT.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_makerPsmLite_buyGem_USDS-USDC.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_makerPsmLite_sellGem_USDC-DAI.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_makerPsmLite_sellGem_USDC-USDS.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_makerPsmLite_sellGem_USDT-USDD.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_maverickV2_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion .forge-snapshots/settler_maverickV2_custody_USDC-WETH.snap
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading