@foxswap/lib
Version:
📖 Solidity libraries that are shared across FoxSwap contracts
39 lines • 6.86 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": "608060405234801561001057600080fd5b50610102806100206000396000f3fe6080604052348015600f57600080fd5b506004361060285760003560e01c80632a254e8e14602d575b600080fd5b604d60048036036040811015604157600080fd5b5080359060200135604f565b005b81158060645750808282840281606157fe5b04145b15607e576000607283836082565b9150508015607c57fe5b505b5050565b600080807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8486099050838502925082810391508281101560c4576001820391505b50925092905056fea2646970667358221220bb76c42dd444a123f268e64db96c1415d458d188e763586854d58889a44a00ba64736f6c634300060c0033",
"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 0xBB PUSH23 0xC42DD444A123F268E64DB96C1415D458D188E763586854 0xD5 DUP9 DUP10 LOG4 0x4A STOP 0xBA PUSH5 0x736F6C6343 STOP MOD 0xC STOP CALLER ",
"sourceMap": "109:299:13:-:0;;;;;;;;;;;;;;;;;;;"
},
"deployedBytecode": {
"immutableReferences": {},
"linkReferences": {},
"object": "6080604052348015600f57600080fd5b506004361060285760003560e01c80632a254e8e14602d575b600080fd5b604d60048036036040811015604157600080fd5b5080359060200135604f565b005b81158060645750808282840281606157fe5b04145b15607e576000607283836082565b9150508015607c57fe5b505b5050565b600080807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8486099050838502925082810391508281101560c4576001820391505b50925092905056fea2646970667358221220bb76c42dd444a123f268e64db96c1415d458d188e763586854d58889a44a00ba64736f6c634300060c0033",
"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 0xBB PUSH23 0xC42DD444A123F268E64DB96C1415D458D188E763586854 0xD5 DUP9 DUP10 LOG4 0x4A STOP 0xBA PUSH5 0x736F6C6343 STOP MOD 0xC 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\":\"0x074f43cf798f046118ed21bb9859a7fa1074b9581fe315c8702d6d292fdb2784\",\"license\":\"CC-BY-4.0\",\"urls\":[\"bzz-raw://55a5cb6c5ae9ccc1e6870315bfa5f23f4c758db606f6a292fdff2224fcec082e\",\"dweb:/ipfs/QmRZayK4DWdWHaape9XcVj6VobzX7en7Tejk7gbzv7CHTy\"]},\"contracts/test/FullMathEchidnaTest.sol\":{\"keccak256\":\"0x0c89965cbd1bafc6b868a45e80a39326319384b7f699da14fd352bce706cd27d\",\"license\":\"GPL-3.0-or-later\",\"urls\":[\"bzz-raw://948ec465f719c6e753834ce3106fd8f1c97b56f7ad964796384cfad4e981191c\",\"dweb:/ipfs/Qmetgqd2mp5qSuyVaKtXdTTw7nCqtR3Cs6FJXe2ykqyFVz\"]}},\"version\":1}",
"bytecode": "608060405234801561001057600080fd5b50610102806100206000396000f3fe6080604052348015600f57600080fd5b506004361060285760003560e01c80632a254e8e14602d575b600080fd5b604d60048036036040811015604157600080fd5b5080359060200135604f565b005b81158060645750808282840281606157fe5b04145b15607e576000607283836082565b9150508015607c57fe5b505b5050565b600080807fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8486099050838502925082810391508281101560c4576001820391505b50925092905056fea2646970667358221220bb76c42dd444a123f268e64db96c1415d458d188e763586854d58889a44a00ba64736f6c634300060c0033"
}