@sobajaswap/lib
Version:
📖 Solidity libraries that are shared across Sobajaswap contracts
39 lines • 6.85 kB
JSON
{
"abi": [
{
"inputs": [
{
"internalType": "uint256",
"name": "x",
"type": "uint256"
},
{
"internalType": "uint256",
"name": "y",
"type": "uint256"
}
],
"name": "checkH",
"outputs": [],
"stateMutability": "pure",
"type": "function"
}
],
"evm": {
"bytecode": {
"linkReferences": {},
"object": "608060405234801561001057600080fd5b50610102806100206000396000f3fe6080604052348015600f57600080fd5b506004361060285760003560e01c80632a254e8e14602d575b600080fd5b604d60048036036040811015604157600080fd5b5080359060200135604f565b005b81158060645750808282840281606157fe5b04145b15607e576000607283836082565b9150508015607c57fe5b505b5050565b600080807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8486099050838502925082810391508281101560c4576001820391505b50925092905056fea26469706673582212207566f3f7e8078cf337c1259d8591ea5ea77c1ec8df837e265ca5159b66f1f6d864736f6c634300060c0033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH2 0x10 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH2 0x102 DUP1 PUSH2 0x20 PUSH1 0x0 CODECOPY PUSH1 0x0 RETURN INVALID PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH1 0xF JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH1 0x28 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x2A254E8E EQ PUSH1 0x2D JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x4D PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x40 DUP2 LT ISZERO PUSH1 0x41 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD CALLDATALOAD PUSH1 0x4F JUMP JUMPDEST STOP JUMPDEST DUP2 ISZERO DUP1 PUSH1 0x64 JUMPI POP DUP1 DUP3 DUP3 DUP5 MUL DUP2 PUSH1 0x61 JUMPI INVALID JUMPDEST DIV EQ JUMPDEST ISZERO PUSH1 0x7E JUMPI PUSH1 0x0 PUSH1 0x72 DUP4 DUP4 PUSH1 0x82 JUMP JUMPDEST SWAP2 POP POP DUP1 ISZERO PUSH1 0x7C JUMPI INVALID JUMPDEST POP JUMPDEST POP POP JUMP JUMPDEST PUSH1 0x0 DUP1 DUP1 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP5 DUP7 MULMOD SWAP1 POP DUP4 DUP6 MUL SWAP3 POP DUP3 DUP2 SUB SWAP2 POP DUP3 DUP2 LT ISZERO PUSH1 0xC4 JUMPI PUSH1 0x1 DUP3 SUB SWAP2 POP JUMPDEST POP SWAP3 POP SWAP3 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 PUSH22 0x66F3F7E8078CF337C1259D8591EA5EA77C1EC8DF837E 0x26 0x5C 0xA5 ISZERO SWAP12 PUSH7 0xF1F6D864736F6C PUSH4 0x4300060C STOP CALLER ",
"sourceMap": "109:299:13:-:0;;;;;;;;;;;;;;;;;;;"
},
"deployedBytecode": {
"immutableReferences": {},
"linkReferences": {},
"object": "6080604052348015600f57600080fd5b506004361060285760003560e01c80632a254e8e14602d575b600080fd5b604d60048036036040811015604157600080fd5b5080359060200135604f565b005b81158060645750808282840281606157fe5b04145b15607e576000607283836082565b9150508015607c57fe5b505b5050565b600080807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8486099050838502925082810391508281101560c4576001820391505b50925092905056fea26469706673582212207566f3f7e8078cf337c1259d8591ea5ea77c1ec8df837e265ca5159b66f1f6d864736f6c634300060c0033",
"opcodes": "PUSH1 0x80 PUSH1 0x40 MSTORE CALLVALUE DUP1 ISZERO PUSH1 0xF JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP PUSH1 0x4 CALLDATASIZE LT PUSH1 0x28 JUMPI PUSH1 0x0 CALLDATALOAD PUSH1 0xE0 SHR DUP1 PUSH4 0x2A254E8E EQ PUSH1 0x2D JUMPI JUMPDEST PUSH1 0x0 DUP1 REVERT JUMPDEST PUSH1 0x4D PUSH1 0x4 DUP1 CALLDATASIZE SUB PUSH1 0x40 DUP2 LT ISZERO PUSH1 0x41 JUMPI PUSH1 0x0 DUP1 REVERT JUMPDEST POP DUP1 CALLDATALOAD SWAP1 PUSH1 0x20 ADD CALLDATALOAD PUSH1 0x4F JUMP JUMPDEST STOP JUMPDEST DUP2 ISZERO DUP1 PUSH1 0x64 JUMPI POP DUP1 DUP3 DUP3 DUP5 MUL DUP2 PUSH1 0x61 JUMPI INVALID JUMPDEST DIV EQ JUMPDEST ISZERO PUSH1 0x7E JUMPI PUSH1 0x0 PUSH1 0x72 DUP4 DUP4 PUSH1 0x82 JUMP JUMPDEST SWAP2 POP POP DUP1 ISZERO PUSH1 0x7C JUMPI INVALID JUMPDEST POP JUMPDEST POP POP JUMP JUMPDEST PUSH1 0x0 DUP1 DUP1 PUSH32 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF DUP5 DUP7 MULMOD SWAP1 POP DUP4 DUP6 MUL SWAP3 POP DUP3 DUP2 SUB SWAP2 POP DUP3 DUP2 LT ISZERO PUSH1 0xC4 JUMPI PUSH1 0x1 DUP3 SUB SWAP2 POP JUMPDEST POP SWAP3 POP SWAP3 SWAP1 POP JUMP INVALID LOG2 PUSH5 0x6970667358 0x22 SLT KECCAK256 PUSH22 0x66F3F7E8078CF337C1259D8591EA5EA77C1EC8DF837E 0x26 0x5C 0xA5 ISZERO SWAP12 PUSH7 0xF1F6D864736F6C PUSH4 0x4300060C STOP CALLER ",
"sourceMap": "109:299:13:-:0;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;144:262;;;;;;;;;;;;;;;;-1:-1:-1;144:262:13;;;;;;;:::i;:::-;;;279:6;;;:28;;;305:1;300;295;291;:5;290:11;;;;;;:16;279:28;275:125;;;326:9;339:22;356:1;359;339:16;:22::i;:::-;323:38;-1:-1:-1;;382:6:13;;375:14;;;;275:125;;144:262;;:::o;216:206:4:-;278:9;;;344:2;333:1;330;323:25;310:38;;366:1;362;:5;358:9;;386:1;381:2;:6;377:10;;406:1;401:2;:6;397:18;;;414:1;409:6;;;;397:18;216:206;;;;;;:::o"
}
},
"metadata": "{\"compiler\":{\"version\":\"0.6.12+commit.27d51765\"},\"language\":\"Solidity\",\"output\":{\"abi\":[{\"inputs\":[{\"internalType\":\"uint256\",\"name\":\"x\",\"type\":\"uint256\"},{\"internalType\":\"uint256\",\"name\":\"y\",\"type\":\"uint256\"}],\"name\":\"checkH\",\"outputs\":[],\"stateMutability\":\"pure\",\"type\":\"function\"}],\"devdoc\":{\"kind\":\"dev\",\"methods\":{},\"version\":1},\"userdoc\":{\"kind\":\"user\",\"methods\":{},\"version\":1}},\"settings\":{\"compilationTarget\":{\"contracts/test/FullMathEchidnaTest.sol\":\"FullMathEchidnaTest\"},\"evmVersion\":\"istanbul\",\"libraries\":{},\"metadata\":{\"bytecodeHash\":\"ipfs\"},\"optimizer\":{\"enabled\":true,\"runs\":999999},\"remappings\":[]},\"sources\":{\"contracts/libraries/FullMath.sol\":{\"keccak256\":\"0xc4ffcf28169f73fc9fdd1f82345d6d4fcccf3fd5aea83c133437c25e4e0950a9\",\"license\":\"CC-BY-4.0\",\"urls\":[\"bzz-raw://c9257a47501005f0a648bc4801ef4abc33843681aaf03a6d0c43d46b69e37407\",\"dweb:/ipfs/QmciHvDrqhxs5fjsrm9aNq29FZXpunMn17n2wWj83Zsh3B\"]},\"contracts/test/FullMathEchidnaTest.sol\":{\"keccak256\":\"0x41ed2e280e7e320c51fa302b40c4cd2d4db0b8d3277cc02e59e0e7ebe46c1011\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://39a257d6d53d71c400833d32de07a245e44bd1181b95d31d3d107966c29fb7b9\",\"dweb:/ipfs/QmXTTXgdoKxBWfx1x5LUwskiiSSsXfPPiZD3UCTgok4467\"]}},\"version\":1}",
"bytecode": "608060405234801561001057600080fd5b50610102806100206000396000f3fe6080604052348015600f57600080fd5b506004361060285760003560e01c80632a254e8e14602d575b600080fd5b604d60048036036040811015604157600080fd5b5080359060200135604f565b005b81158060645750808282840281606157fe5b04145b15607e576000607283836082565b9150508015607c57fe5b505b5050565b600080807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8486099050838502925082810391508281101560c4576001820391505b50925092905056fea26469706673582212207566f3f7e8078cf337c1259d8591ea5ea77c1ec8df837e265ca5159b66f1f6d864736f6c634300060c0033"
}