Skip to content

Commit a789a30

Browse files
forge doc
1 parent d6fc4ad commit a789a30

File tree

17 files changed

+1184
-0
lines changed

17 files changed

+1184
-0
lines changed

README.md

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,12 @@ forge test
4242
forge coverage
4343
```
4444

45+
## Smart Contracts Documentation
46+
47+
```sh
48+
forge doc --serve --port 4000
49+
```
50+
4551
## Safety
4652

4753
This software is experimental and is provided "as is" and "as available".

foundry-docs/.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
book/

foundry-docs/book.css

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
table {
2+
margin: 0 auto;
3+
border-collapse: collapse;
4+
width: 100%;
5+
}
6+
7+
table td:first-child {
8+
width: 15%;
9+
}
10+
11+
table td:nth-child(2) {
12+
width: 25%;
13+
}

foundry-docs/book.toml

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
[book]
2+
src = "src"
3+
title = "Euler Swap Contracts Documentation"
4+
5+
[output.html]
6+
no-section-label = true
7+
additional-js = ["solidity.min.js"]
8+
additional-css = ["book.css"]
9+
git-repository-url = "https://github.com/euler-xyz/euler-maglev"
10+
11+
[output.html.fold]
12+
enable = true

foundry-docs/solidity.min.js

Lines changed: 74 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,74 @@
1+
hljs.registerLanguage("solidity",(()=>{"use strict";function e(){try{return!0
2+
}catch(e){return!1}}
3+
var a=/-?(\b0[xX]([a-fA-F0-9]_?)*[a-fA-F0-9]|(\b[1-9](_?\d)*(\.((\d_?)*\d)?)?|\.\d(_?\d)*)([eE][-+]?\d(_?\d)*)?|\b0)(?!\w|\$)/
4+
;e()&&(a=a.source.replace(/\\b/g,"(?<!\\$)\\b"));var s={className:"number",
5+
begin:a,relevance:0},n={
6+
keyword:"assembly let function if switch case default for leave break continue u256 jump jumpi stop return revert selfdestruct invalid",
7+
built_in:"add sub mul div sdiv mod smod exp not lt gt slt sgt eq iszero and or xor byte shl shr sar addmod mulmod signextend keccak256 pc pop dup1 dup2 dup3 dup4 dup5 dup6 dup7 dup8 dup9 dup10 dup11 dup12 dup13 dup14 dup15 dup16 swap1 swap2 swap3 swap4 swap5 swap6 swap7 swap8 swap9 swap10 swap11 swap12 swap13 swap14 swap15 swap16 mload mstore mstore8 sload sstore msize gas address balance selfbalance caller callvalue calldataload calldatasize calldatacopy codesize codecopy extcodesize extcodecopy returndatasize returndatacopy extcodehash create create2 call callcode delegatecall staticcall log0 log1 log2 log3 log4 chainid origin gasprice basefee blockhash coinbase timestamp number difficulty gaslimit",
8+
literal:"true false"},i={className:"string",
9+
begin:/\bhex'(([0-9a-fA-F]{2}_?)*[0-9a-fA-F]{2})?'/},t={className:"string",
10+
begin:/\bhex"(([0-9a-fA-F]{2}_?)*[0-9a-fA-F]{2})?"/};function r(e){
11+
return e.inherit(e.APOS_STRING_MODE,{begin:/(\bunicode)?'/})}function l(e){
12+
return e.inherit(e.QUOTE_STRING_MODE,{begin:/(\bunicode)?"/})}var o={
13+
SOL_ASSEMBLY_KEYWORDS:n,baseAssembly:e=>{
14+
var a=r(e),o=l(e),c=/[A-Za-z_$][A-Za-z_$0-9.]*/,d=e.inherit(e.TITLE_MODE,{
15+
begin:/[A-Za-z$_][0-9A-Za-z$_]*/,lexemes:c,keywords:n}),u={className:"params",
16+
begin:/\(/,end:/\)/,excludeBegin:!0,excludeEnd:!0,lexemes:c,keywords:n,
17+
contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,a,o,s]},_={
18+
className:"operator",begin:/:=|->/};return{keywords:n,lexemes:c,
19+
contains:[a,o,i,t,e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,s,_,{
20+
className:"function",lexemes:c,beginKeywords:"function",end:"{",excludeEnd:!0,
21+
contains:[d,u,e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,_]}]}},
22+
solAposStringMode:r,solQuoteStringMode:l,HEX_APOS_STRING_MODE:i,
23+
HEX_QUOTE_STRING_MODE:t,SOL_NUMBER:s,isNegativeLookbehindAvailable:e}
24+
;const{baseAssembly:c,solAposStringMode:d,solQuoteStringMode:u,HEX_APOS_STRING_MODE:_,HEX_QUOTE_STRING_MODE:m,SOL_NUMBER:b,isNegativeLookbehindAvailable:E}=o
25+
;return e=>{for(var a=d(e),s=u(e),n=[],i=0;i<32;i++)n[i]=i+1
26+
;var t=n.map((e=>8*e)),r=[];for(i=0;i<=80;i++)r[i]=i
27+
;var l=n.map((e=>"bytes"+e)).join(" ")+" ",o=t.map((e=>"uint"+e)).join(" ")+" ",g=t.map((e=>"int"+e)).join(" ")+" ",M=[].concat.apply([],t.map((e=>r.map((a=>e+"x"+a))))),p={
28+
keyword:"var bool string int uint "+g+o+"byte bytes "+l+"fixed ufixed "+M.map((e=>"fixed"+e)).join(" ")+" "+M.map((e=>"ufixed"+e)).join(" ")+" enum struct mapping address new delete if else for while continue break return throw emit try catch revert unchecked _ function modifier event constructor fallback receive error virtual override constant immutable anonymous indexed storage memory calldata external public internal payable pure view private returns import from as using pragma contract interface library is abstract type assembly",
29+
literal:"true false wei gwei szabo finney ether seconds minutes hours days weeks years",
30+
built_in:"self this super selfdestruct suicide now msg block tx abi blockhash gasleft assert require Error Panic sha3 sha256 keccak256 ripemd160 ecrecover addmod mulmod log0 log1 log2 log3 log4"
31+
},O={className:"operator",begin:/[+\-!~*\/%<>&^|=]/
32+
},C=/[A-Za-z_$][A-Za-z_$0-9]*/,N={className:"params",begin:/\(/,end:/\)/,
33+
excludeBegin:!0,excludeEnd:!0,lexemes:C,keywords:p,
34+
contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,a,s,b,"self"]},f={
35+
begin:/\.\s*/,end:/[^A-Za-z0-9$_\.]/,excludeBegin:!0,excludeEnd:!0,keywords:{
36+
built_in:"gas value selector address length push pop send transfer call callcode delegatecall staticcall balance code codehash wrap unwrap name creationCode runtimeCode interfaceId min max"
37+
},relevance:2},y=e.inherit(e.TITLE_MODE,{begin:/[A-Za-z$_][0-9A-Za-z$_]*/,
38+
lexemes:C,keywords:p}),w={className:"built_in",
39+
begin:(E()?"(?<!\\$)\\b":"\\b")+"(gas|value|salt)(?=:)"};function x(e,a){return{
40+
begin:(E()?"(?<!\\$)\\b":"\\b")+e+"\\.\\s*",end:/[^A-Za-z0-9$_\.]/,
41+
excludeBegin:!1,excludeEnd:!0,lexemes:C,keywords:{built_in:e+" "+a},
42+
contains:[f],relevance:10}}var h=c(e),v=e.inherit(h,{
43+
contains:h.contains.concat([{begin:/\./,end:/[^A-Za-z0-9$.]/,excludeBegin:!0,
44+
excludeEnd:!0,keywords:{built_in:"slot offset length address selector"},
45+
relevance:2},{begin:/_/,end:/[^A-Za-z0-9$.]/,excludeBegin:!0,excludeEnd:!0,
46+
keywords:{built_in:"slot offset"},relevance:2}])});return{aliases:["sol"],
47+
keywords:p,lexemes:C,
48+
contains:[a,s,_,m,e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,b,w,O,{
49+
className:"function",lexemes:C,
50+
beginKeywords:"function modifier event constructor fallback receive error",
51+
end:/[{;]/,excludeEnd:!0,
52+
contains:[y,N,w,e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE],illegal:/%/
53+
},x("msg","gas value data sender sig"),x("block","blockhash coinbase difficulty gaslimit basefee number timestamp chainid"),x("tx","gasprice origin"),x("abi","decode encode encodePacked encodeWithSelector encodeWithSignature encodeCall"),x("bytes","concat"),f,{
54+
className:"class",lexemes:C,beginKeywords:"contract interface library",end:"{",
55+
excludeEnd:!0,illegal:/[:"\[\]]/,contains:[{beginKeywords:"is",lexemes:C
56+
},y,N,w,e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE]},{lexemes:C,
57+
beginKeywords:"struct enum",end:"{",excludeEnd:!0,illegal:/[:"\[\]]/,
58+
contains:[y,e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE]},{
59+
beginKeywords:"import",end:";",lexemes:C,keywords:"import from as",
60+
contains:[y,a,s,_,m,e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,O]},{
61+
beginKeywords:"using",end:";",lexemes:C,keywords:"using for",
62+
contains:[y,e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,O]},{className:"meta",
63+
beginKeywords:"pragma",end:";",lexemes:C,keywords:{
64+
keyword:"pragma solidity experimental abicoder",
65+
built_in:"ABIEncoderV2 SMTChecker v1 v2"},
66+
contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,e.inherit(a,{
67+
className:"meta-string"}),e.inherit(s,{className:"meta-string"})]},{
68+
beginKeywords:"assembly",end:/\b\B/,
69+
contains:[e.C_LINE_COMMENT_MODE,e.C_BLOCK_COMMENT_MODE,e.inherit(v,{begin:"{",
70+
end:"}",endsParent:!0,contains:v.contains.concat([e.inherit(v,{begin:"{",
71+
end:"}",contains:v.contains.concat(["self"])})])})]}],illegal:/#/}}})());
72+
73+
// Ugly hack to reload HLJS
74+
hljs.initHighlightingOnLoad();

foundry-docs/src/README.md

Lines changed: 71 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,71 @@
1+
# EulerSwap
2+
3+
EulerSwap is an automated market maker (AMM) that integrates with Euler [credit vaults](https://docs.euler.finance/euler-vault-kit-white-paper/) to provide deeper liquidity for swaps. When a user initiates a swap, a smart contract called an EulerSwap operator borrows the required output token using the input token as collateral. This model enables up to 40x the liquidity depth of traditional AMMs by making idle assets in Euler more efficient. Unlike traditional AMMs, which often fragment liquidity across multiple pools, EulerSwap further increases capital efficiency by allowing a single, cross-collateralised credit vault to support multiple asset pairs at once. At its core, EulerSwap uses a flexible AMM curve to optimise swap pricing, ensuring deep liquidity while maintaining market balance. By combining just-in-time liquidity, shared liquidity across pools, and customisable AMM mechanics, EulerSwap reduces inefficiencies in liquidity provision, offering deeper markets, lower costs, and greater control for liquidity providers.
4+
5+
For more information, refer to the [white paper](./docs/whitepaper/EulerSwap_White_Paper.pdf).
6+
7+
## Usage
8+
9+
EulerSwap comes with a comprehensive set of tests written in Solidity, which can be executed using Foundry.
10+
11+
To install Foundry:
12+
13+
```sh
14+
curl -L https://foundry.paradigm.xyz | bash
15+
```
16+
17+
This will download foundryup. To start Foundry, run:
18+
19+
```sh
20+
foundryup
21+
```
22+
23+
To clone the repo:
24+
25+
```sh
26+
git clone https://github.com/euler-xyz/euler-swap.git && cd euler-swap
27+
```
28+
29+
## Testing
30+
31+
### in `default` mode
32+
33+
To run the tests in a `default` mode:
34+
35+
```sh
36+
forge test
37+
```
38+
39+
### in `coverage` mode
40+
41+
```sh
42+
forge coverage
43+
```
44+
45+
## Smart Contracts Documentation
46+
47+
```sh
48+
forge doc --serve --port 4000
49+
```
50+
51+
## Safety
52+
53+
This software is experimental and is provided "as is" and "as available".
54+
55+
No warranties are provided and no liability will be accepted for any loss incurred through the use of this codebase.
56+
57+
Always include thorough tests when using EulerSwap to ensure it interacts correctly with your code.
58+
59+
## Known limitations
60+
61+
Refer to the [white paper](./docs/whitepaper/EulerSwap_White_Paper.pdf) for a list of known limitations and security considerations.
62+
63+
## Contributing
64+
65+
The code is currently in an experimental phase. Feedback or ideas for improving EulerSwap are appreciated. Contributions are welcome from anyone interested in conducting security research, writing more tests including formal verification, improving readability and documentation, optimizing, simplifying, or developing integrations.
66+
67+
## License
68+
69+
(c) 2024-2025 Euler Labs Ltd.
70+
71+
All rights reserved.

foundry-docs/src/SUMMARY.md

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
# Summary
2+
- [Home](README.md)
3+
# src
4+
- [❱ interfaces](src/interfaces/README.md)
5+
- [IEulerSwap](src/interfaces/IEulerSwap.sol/interface.IEulerSwap.md)
6+
- [IEulerSwapFactory](src/interfaces/IEulerSwapFactory.sol/interface.IEulerSwapFactory.md)
7+
- [IEulerSwapPeriphery](src/interfaces/IEulerSwapPeriphery.sol/interface.IEulerSwapPeriphery.md)
8+
- [IUniswapV2Callee](src/interfaces/IUniswapV2Callee.sol/interface.IUniswapV2Callee.md)
9+
- [EulerSwap](src/EulerSwap.sol/contract.EulerSwap.md)
10+
- [EulerSwapFactory](src/EulerSwapFactory.sol/contract.EulerSwapFactory.md)
11+
- [EulerSwapPeriphery](src/EulerSwapPeriphery.sol/contract.EulerSwapPeriphery.md)

0 commit comments

Comments
 (0)