Skip to content

Commit

Permalink
[refactor] assert to require
Browse files Browse the repository at this point in the history
  • Loading branch information
@weihanchen
weihanchen committed Oct 8, 2022
1 parent ebe29aa commit 465f304
Show file tree
Hide file tree
Showing 45 changed files with 201,909 additions and 598 deletions.
12 changes: 6 additions & 6 deletions Ep1/artifacts/Work.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -41,9 +41,9 @@
},
"generatedSources": [],
"linkReferences": {},
"object": "608060405234801561001057600080fd5b5060008081905550610176806100276000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80631b9265b81461003b5780632630dd3a14610059575b600080fd5b610043610063565b6040516100509190610096565b60405180910390f35b61006161006c565b005b60008054905090565b600160008082825461007e91906100b1565b92505081905550565b61009081610107565b82525050565b60006020820190506100ab6000830184610087565b92915050565b60006100bc82610107565b91506100c783610107565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156100fc576100fb610111565b5b828201905092915050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea26469706673582212205519110aefbb3837bd9cc14a878c229d626ed6fda0e9c0bbe16af25725c5384364736f6c63430008070033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x0 DUP1 DUP2 SWAP1 SSTORE POP PUSH2 0x176 DUP1 PUSH2 0x27 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x1B9265B8 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0x2630DD3A EQ PUSH2 0x59 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x43 PUSH2 0x63 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x50 SWAP2 SWAP1 PUSH2 0x96 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x61 PUSH2 0x6C JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0x7E SWAP2 SWAP1 PUSH2 0xB1 JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP JUMP JUMPDEST PUSH2 0x90 DUP2 PUSH2 0x107 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0xAB PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x87 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0xBC DUP3 PUSH2 0x107 JUMP JUMPDEST SWAP2 POP PUSH2 0xC7 DUP4 PUSH2 0x107 JUMP JUMPDEST SWAP3 POP DUP3 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SUB DUP3 GT ISZERO PUSH2 0xFC JUMPI PUSH2 0xFB PUSH2 0x111 JUMP JUMPDEST JUMPDEST DUP3 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 SSTORE NOT GT EXP 0xEF 0xBB CODESIZE CALLDATACOPY 0xBD SWAP13 0xC1 0x4A DUP8 DUP13 0x22 SWAP14 PUSH3 0x6ED6FD LOG0 0xE9 0xC0 0xBB 0xE1 PUSH11 0xF25725C5384364736F6C63 NUMBER STOP ADDMOD SMOD STOP CALLER ",
"sourceMap": "60:274:0:-:0;;;143:43;;;;;;;;;;177:1;168:6;:10;;;;60:274;;;;;;"
"object": "608060405234801561001057600080fd5b5060008081905550610176806100276000396000f3fe608060405234801561001057600080fd5b50600436106100365760003560e01c80631b9265b81461003b5780632630dd3a14610059575b600080fd5b610043610063565b6040516100509190610096565b60405180910390f35b61006161006c565b005b60008054905090565b600160008082825461007e91906100b1565b92505081905550565b61009081610107565b82525050565b60006020820190506100ab6000830184610087565b92915050565b60006100bc82610107565b91506100c783610107565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156100fc576100fb610111565b5b828201905092915050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea26469706673582212202c392d8e6d353efeebe211265316085d0f1c5ba0659d4b6db48a323701fa52b464736f6c63430008070033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x0 DUP1 DUP2 SWAP1 SSTORE POP PUSH2 0x176 DUP1 PUSH2 0x27 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x1B9265B8 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0x2630DD3A EQ PUSH2 0x59 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x43 PUSH2 0x63 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x50 SWAP2 SWAP1 PUSH2 0x96 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x61 PUSH2 0x6C JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0x7E SWAP2 SWAP1 PUSH2 0xB1 JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP JUMP JUMPDEST PUSH2 0x90 DUP2 PUSH2 0x107 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0xAB PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x87 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0xBC DUP3 PUSH2 0x107 JUMP JUMPDEST SWAP2 POP PUSH2 0xC7 DUP4 PUSH2 0x107 JUMP JUMPDEST SWAP3 POP DUP3 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SUB DUP3 GT ISZERO PUSH2 0xFC JUMPI PUSH2 0xFB PUSH2 0x111 JUMP JUMPDEST JUMPDEST DUP3 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0x2C CODECOPY 0x2D DUP15 PUSH14 0x353EFEEBE211265316085D0F1C5B LOG0 PUSH6 0x9D4B6DB48A32 CALLDATACOPY ADD STATICCALL MSTORE 0xB4 PUSH5 0x736F6C6343 STOP ADDMOD SMOD STOP CALLER ",
"sourceMap": "62:362:0:-:0;;;171:43;;;;;;;;;;205:1;196:6;:10;;;;62:362;;;;;;"
},
"deployedBytecode": {
"functionDebugData": {
Expand Down Expand Up @@ -600,9 +600,9 @@
],
"immutableReferences": {},
"linkReferences": {},
"object": "608060405234801561001057600080fd5b50600436106100365760003560e01c80631b9265b81461003b5780632630dd3a14610059575b600080fd5b610043610063565b6040516100509190610096565b60405180910390f35b61006161006c565b005b60008054905090565b600160008082825461007e91906100b1565b92505081905550565b61009081610107565b82525050565b60006020820190506100ab6000830184610087565b92915050565b60006100bc82610107565b91506100c783610107565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156100fc576100fb610111565b5b828201905092915050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea26469706673582212205519110aefbb3837bd9cc14a878c229d626ed6fda0e9c0bbe16af25725c5384364736f6c63430008070033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x1B9265B8 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0x2630DD3A EQ PUSH2 0x59 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x43 PUSH2 0x63 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x50 SWAP2 SWAP1 PUSH2 0x96 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x61 PUSH2 0x6C JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0x7E SWAP2 SWAP1 PUSH2 0xB1 JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP JUMP JUMPDEST PUSH2 0x90 DUP2 PUSH2 0x107 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0xAB PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x87 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0xBC DUP3 PUSH2 0x107 JUMP JUMPDEST SWAP2 POP PUSH2 0xC7 DUP4 PUSH2 0x107 JUMP JUMPDEST SWAP3 POP DUP3 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SUB DUP3 GT ISZERO PUSH2 0xFC JUMPI PUSH2 0xFB PUSH2 0x111 JUMP JUMPDEST JUMPDEST DUP3 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 SSTORE NOT GT EXP 0xEF 0xBB CODESIZE CALLDATACOPY 0xBD SWAP13 0xC1 0x4A DUP8 DUP13 0x22 SWAP14 PUSH3 0x6ED6FD LOG0 0xE9 0xC0 0xBB 0xE1 PUSH11 0xF25725C5384364736F6C63 NUMBER STOP ADDMOD SMOD STOP CALLER ",
"sourceMap": "60:274:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;257:74;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;194:55;;;:::i;:::-;;257:74;293:4;317:6;;310:13;;257:74;:::o;194:55::-;240:1;230:6;;:11;;;;;;;:::i;:::-;;;;;;;;194:55::o;7:118:1:-;94:24;112:5;94:24;:::i;:::-;89:3;82:37;7:118;;:::o;131:222::-;224:4;262:2;251:9;247:18;239:26;;275:71;343:1;332:9;328:17;319:6;275:71;:::i;:::-;131:222;;;;:::o;359:305::-;399:3;418:20;436:1;418:20;:::i;:::-;413:25;;452:20;470:1;452:20;:::i;:::-;447:25;;606:1;538:66;534:74;531:1;528:81;525:107;;;612:18;;:::i;:::-;525:107;656:1;653;649:9;642:16;;359:305;;;;:::o;670:77::-;707:7;736:5;725:16;;670:77;;;:::o;753:180::-;801:77;798:1;791:88;898:4;895:1;888:15;922:4;919:1;912:15"
"object": "608060405234801561001057600080fd5b50600436106100365760003560e01c80631b9265b81461003b5780632630dd3a14610059575b600080fd5b610043610063565b6040516100509190610096565b60405180910390f35b61006161006c565b005b60008054905090565b600160008082825461007e91906100b1565b92505081905550565b61009081610107565b82525050565b60006020820190506100ab6000830184610087565b92915050565b60006100bc82610107565b91506100c783610107565b9250827fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff038211156100fc576100fb610111565b5b828201905092915050565b6000819050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fdfea26469706673582212202c392d8e6d353efeebe211265316085d0f1c5ba0659d4b6db48a323701fa52b464736f6c63430008070033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH2 0x36 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x1B9265B8 EQ PUSH2 0x3B JUMPI DUP1 PUSH4 0x2630DD3A EQ PUSH2 0x59 JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH2 0x43 PUSH2 0x63 JUMP JUMPDEST PUSH1 0x40 MLOAD PUSH2 0x50 SWAP2 SWAP1 PUSH2 0x96 JUMP JUMPDEST PUSH1 0x40 MLOAD DUP1 SWAP2 SUB SWAP1 RETURN JUMPDEST PUSH2 0x61 PUSH2 0x6C JUMP JUMPDEST STOP JUMPDEST PUSH1 0x0 DUP1 SLOAD SWAP1 POP SWAP1 JUMP JUMPDEST PUSH1 0x1 PUSH1 0x0 DUP1 DUP3 DUP3 SLOAD PUSH2 0x7E SWAP2 SWAP1 PUSH2 0xB1 JUMP JUMPDEST SWAP3 POP POP DUP2 SWAP1 SSTORE POP JUMP JUMPDEST PUSH2 0x90 DUP2 PUSH2 0x107 JUMP JUMPDEST DUP3 MSTORE POP POP JUMP JUMPDEST PUSH1 0x0 PUSH1 0x20 DUP3 ADD SWAP1 POP PUSH2 0xAB PUSH1 0x0 DUP4 ADD DUP5 PUSH2 0x87 JUMP JUMPDEST SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 PUSH2 0xBC DUP3 PUSH2 0x107 JUMP JUMPDEST SWAP2 POP PUSH2 0xC7 DUP4 PUSH2 0x107 JUMP JUMPDEST SWAP3 POP DUP3 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF SUB DUP3 GT ISZERO PUSH2 0xFC JUMPI PUSH2 0xFB PUSH2 0x111 JUMP JUMPDEST JUMPDEST DUP3 DUP3 ADD SWAP1 POP SWAP3 SWAP2 POP POP JUMP JUMPDEST PUSH1 0x0 DUP2 SWAP1 POP SWAP2 SWAP1 POP JUMP JUMPDEST PUSH32 0x4E487B7100000000000000000000000000000000000000000000000000000000 PUSH1 0x0 MSTORE PUSH1 0x11 PUSH1 0x4 MSTORE PUSH1 0x24 PUSH1 0x0 REVERT INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 0x2C CODECOPY 0x2D DUP15 PUSH14 0x353EFEEBE211265316085D0F1C5B LOG0 PUSH6 0x9D4B6DB48A32 CALLDATACOPY ADD STATICCALL MSTORE 0xB4 PUSH5 0x736F6C6343 STOP ADDMOD SMOD STOP CALLER ",
"sourceMap": "62:362:0:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;347:74;;;:::i;:::-;;;;;;;:::i;:::-;;;;;;;;265:55;;;:::i;:::-;;347:74;383:4;407:6;;400:13;;347:74;:::o;265:55::-;311:1;301:6;;:11;;;;;;;:::i;:::-;;;;;;;;265:55::o;7:118:1:-;94:24;112:5;94:24;:::i;:::-;89:3;82:37;7:118;;:::o;131:222::-;224:4;262:2;251:9;247:18;239:26;;275:71;343:1;332:9;328:17;319:6;275:71;:::i;:::-;131:222;;;;:::o;359:305::-;399:3;418:20;436:1;418:20;:::i;:::-;413:25;;452:20;470:1;452:20;:::i;:::-;447:25;;606:1;538:66;534:74;531:1;528:81;525:107;;;612:18;;:::i;:::-;525:107;656:1;653;649:9;642:16;;359:305;;;;:::o;670:77::-;707:7;736:5;725:16;;670:77;;;:::o;753:180::-;801:77;798:1;791:88;898:4;895:1;888:15;922:4;919:1;912:15"
},
"gasEstimates": {
"creation": {
Expand Down
10 changes: 5 additions & 5 deletions Ep1/artifacts/Work_metadata.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,7 +44,7 @@
},
"settings": {
"compilationTarget": {
"part1/work.sol": "Work"
"Ep1/work.sol": "Work"
},
"evmVersion": "london",
"libraries": {},
Expand All @@ -58,12 +58,12 @@
"remappings": []
},
"sources": {
"part1/work.sol": {
"keccak256": "0x6632526d7e09d58521571db62b6d3607df5047da581f7623ede839bd5de944d0",
"Ep1/work.sol": {
"keccak256": "0x62dede35857b1ccb4cc7883fcb8d577a72058f9718dff8a466d150e6a8523315",
"license": "MIT",
"urls": [
"bzz-raw://e439b010af869c6df9a60311818e88fa2f74c14ffc7f02c109fd4f870b118229",
"dweb:/ipfs/QmRxRHcWNp2SrcfSHpVHUycFbw2tYkFp1kTGTEB4Nmhz8a"
"bzz-raw://533ef26c7819e5d1c754848d246c64e71342ec4276a32ebeee3930ffc58c6342",
"dweb:/ipfs/QmaGr1avmue3eK168cEFsQEqNGEhMTc6WmwGL8R6T5EuHG"
]
}
},
Expand Down
Loading

0 comments on commit 465f304

Please sign in to comment.