@etherisc/gif-next 0.0.2-ebbe63d → 0.0.2-f619be3-760

package/contracts/types/UFixed.sol

@@ -0,0 +1,210 @@
+// SPDX-License-Identifier: Apache-2.0
+pragma solidity ^0.8.19;
+
+import {Math} from "@openzeppelin/contracts/utils/math/Math.sol";
+
+/// @dev UFixed is a fixed point number with 18 decimals precision.
+type UFixed is uint256;
+
+using {
+    addUFixed as +,
+    subUFixed as -,
+    mulUFixed as *,
+    divUFixed as /,
+    gtUFixed as >,
+    gteUFixed as >=,
+    ltUFixed as <,
+    lteUFixed as <=,
+    eqUFixed as ==
+} for UFixed global;
+
+function addUFixed(UFixed a, UFixed b) pure returns (UFixed) {
+    return UFixed.wrap(UFixed.unwrap(a) + UFixed.unwrap(b));
+}
+
+function subUFixed(UFixed a, UFixed b) pure returns (UFixed) {
+    require(a >= b, "ERROR:UFM-010:NEGATIVE_RESULT");
+    return UFixed.wrap(UFixed.unwrap(a) - UFixed.unwrap(b));
+}
+
+function mulUFixed(UFixed a, UFixed b) pure returns (UFixed) {
+    return
+        UFixed.wrap(Math.mulDiv(UFixed.unwrap(a), UFixed.unwrap(b), 10 ** 18));
+}
+
+function divUFixed(UFixed a, UFixed b) pure returns (UFixed) {
+    require(UFixed.unwrap(b) > 0, "ERROR:UFM-020:DIVISOR_ZERO");
+
+    return
+        UFixed.wrap(Math.mulDiv(UFixed.unwrap(a), 10 ** 18, UFixed.unwrap(b)));
+}
+
+function gtUFixed(UFixed a, UFixed b) pure returns (bool isGreaterThan) {
+    return UFixed.unwrap(a) > UFixed.unwrap(b);
+}
+
+function gteUFixed(UFixed a, UFixed b) pure returns (bool isGreaterThan) {
+    return UFixed.unwrap(a) >= UFixed.unwrap(b);
+}
+
+function ltUFixed(UFixed a, UFixed b) pure returns (bool isGreaterThan) {
+    return UFixed.unwrap(a) < UFixed.unwrap(b);
+}
+
+function lteUFixed(UFixed a, UFixed b) pure returns (bool isGreaterThan) {
+    return UFixed.unwrap(a) <= UFixed.unwrap(b);
+}
+
+function eqUFixed(UFixed a, UFixed b) pure returns (bool isEqual) {
+    return UFixed.unwrap(a) == UFixed.unwrap(b);
+}
+
+function gtzUFixed(UFixed a) pure returns (bool isZero) {
+    return UFixed.unwrap(a) > 0;
+}
+
+function eqzUFixed(UFixed a) pure returns (bool isZero) {
+    return UFixed.unwrap(a) == 0;
+}
+
+function deltaUFixed(UFixed a, UFixed b) pure returns (UFixed) {
+    if (a > b) {
+        return a - b;
+    }
+
+    return b - a;
+}
+
+library UFixedMathLib {
+
+    int8 public constant EXP = 18;
+    uint256 public constant MULTIPLIER = 10 ** uint256(int256(EXP));
+    uint256 public constant MULTIPLIER_HALF = MULTIPLIER / 2;
+
+    /// @dev returns the rounding mode DOWN - 0.4 becomes 0, 0.5 becomes 0, 0.6 becomes 0
+    function ROUNDING_DOWN() public pure returns (uint8) {
+        return uint8(0);
+    }
+
+    /// @dev returns the rounding mode UP - 0.4 becomes 1, 0.5 becomes 1, 0.6 becomes 1
+    function ROUNDING_UP() public pure returns (uint8) {
+        return uint8(1);
+    }
+
+    /// @dev returns the rounding mode HALF_UP - 0.4 becomes 0, 0.5 becomes 1, 0.6 becomes 1
+    function ROUNDING_HALF_UP() public pure returns (uint8) {
+        return uint8(2);
+    }
+
+    /// @dev returns the decimals precision of the UFixed type
+    function decimals() public pure returns (uint256) {
+        return uint8(EXP);
+    }
+
+    /// @dev Converts the uint256 to a UFixed.
+    function itof(uint256 a) public pure returns (UFixed) {
+        return UFixed.wrap(a * MULTIPLIER);
+    }
+
+    // TODO rename to toUFixed
+    /// @dev Converts the uint256 to a UFixed with given exponent.
+    function itof(uint256 a, int8 exp) public pure returns (UFixed) {
+        require(EXP + exp >= 0, "ERROR:FM-010:EXPONENT_TOO_SMALL");
+        require(EXP + exp <= 64, "ERROR:FM-011:EXPONENT_TOO_LARGE");
+
+        return UFixed.wrap(a * 10 ** uint8(EXP + exp));
+    }
+
+    /// @dev Converts a UFixed to a uint256.
+    function ftoi(UFixed a) public pure returns (uint256) {
+        return ftoi(a, ROUNDING_HALF_UP());
+    }
+
+    /// @dev Converts a UFixed to a uint256 with given rounding mode.
+    function ftoi(UFixed a, uint8 rounding) public pure returns (uint256) {
+        if (rounding == ROUNDING_HALF_UP()) {
+            return
+                Math.mulDiv(
+                    UFixed.unwrap(a) + MULTIPLIER_HALF,
+                    1,
+                    MULTIPLIER,
+                    Math.Rounding.Down
+                );
+        } else if (rounding == ROUNDING_DOWN()) {
+            return
+                Math.mulDiv(
+                    UFixed.unwrap(a),
+                    1,
+                    MULTIPLIER,
+                    Math.Rounding.Down
+                );
+        } else {
+            return
+                Math.mulDiv(UFixed.unwrap(a), 1, MULTIPLIER, Math.Rounding.Up);
+        }
+    }
+
+    /// @dev adds two UFixed numbers
+    function add(UFixed a, UFixed b) public pure returns (UFixed) {
+        return addUFixed(a, b);
+    }
+
+    /// @dev subtracts two UFixed numbers
+    function sub(UFixed a, UFixed b) public pure returns (UFixed) {
+        return subUFixed(a, b);
+    }
+
+    /// @dev multiplies two UFixed numbers
+    function mul(UFixed a, UFixed b) public pure returns (UFixed) {
+        return mulUFixed(a, b);
+    }
+
+    /// @dev divides two UFixed numbers
+    function div(UFixed a, UFixed b) public pure returns (UFixed) {
+        return divUFixed(a, b);
+    }
+
+    /// @dev return true if UFixed a is greater than UFixed b
+    function gt(UFixed a, UFixed b) public pure returns (bool isGreaterThan) {
+        return gtUFixed(a, b);
+    }
+
+    /// @dev return true if UFixed a is greater than or equal to UFixed b
+    function gte(UFixed a, UFixed b) public pure returns (bool isGreaterThan) {
+        return gteUFixed(a, b);
+    }
+
+    /// @dev return true if UFixed a is less than UFixed b
+    function lt(UFixed a, UFixed b) public pure returns (bool isGreaterThan) {
+        return ltUFixed(a, b);
+    }
+
+    /// @dev return true if UFixed a is less than or equal to UFixed b
+    function lte(UFixed a, UFixed b) public pure returns (bool isGreaterThan) {
+        return lteUFixed(a, b);
+    }
+
+    /// @dev return true if UFixed a is equal to UFixed b
+    function eq(UFixed a, UFixed b) public pure returns (bool isEqual) {
+        return eqUFixed(a, b);
+    }
+
+    /// @dev return true if UFixed a is not zero
+    function gtz(UFixed a) public pure returns (bool isZero) {
+        return gtzUFixed(a);
+    }
+
+    /// @dev return true if UFixed a is zero
+    function eqz(UFixed a) public pure returns (bool isZero) {
+        return eqzUFixed(a);
+    }
+
+    function zero() public pure returns (UFixed) {
+        return UFixed.wrap(0);
+    }
+
+    /// @dev return the absolute delta between two UFixed numbers
+    function delta(UFixed a, UFixed b) public pure returns (UFixed) {
+        return deltaUFixed(a, b);
+    }
+}

package/package.json

@@ -1,14 +1,17 @@
 {
   "name": "@etherisc/gif-next",
-  "version": "0.0.2-ebbe63d",
+  "version": "0.0.2-f619be3-760",
   "description": "This is the repository for the next version of the Generic Insurance Framework (GIF) smart contracts. ",
   "main": "index.js",
   "scripts": {
-    "build": "hardhat compile",
-    "test": "hardhat test",
-    "ptest": "hardhat test --parallel",
-    "test-with-gas": "REPORT_GAS=true hardhat test",
-    "coverage": "hardhat coverage"
+    "build": "hh compile",
+    "test": "hh test",
+    "ptest": "hh test --parallel",
+    "test-with-gas": "REPORT_GAS=true hh test",
+    "coverage": "hh coverage",
+    "styleFix": "prettier --write --plugin=prettier-plugin-solidity 'contracts/**/*.sol' 'test_forge/**/*.t.sol'",
+    "styleCheck": "prettier --check --plugin=prettier-plugin-solidity 'contracts/**/*.sol' 'test_forge/**/*.t.sol'",
+    "lint": "solhint 'contracts/**/*.sol' 'test_forge/**/*.t.sol'"
   },
   "repository": {
     "type": "git",
@@ -25,12 +28,19 @@
   ],
   "homepage": "https://github.com/etherisc/gif-next#readme",
   "devDependencies": {
-    "@nomicfoundation/hardhat-foundry": "^1.0.3",
+    "@nomicfoundation/hardhat-foundry": "^1.1.1",
     "@nomicfoundation/hardhat-toolbox": "^3.0.0",
-    "hardhat": "^2.17.1"
+    "@nomicfoundation/hardhat-verify": "^1.1.1",
+    "dotenv": "^16.3.1",
+    "hardhat": "^2.17.2",
+    "prettier": "^3.0.3",
+    "prettier-plugin-solidity": "^1.1.3"
   },
   "dependencies": {
     "@openzeppelin/contracts": "^4.9.3",
-    "@openzeppelin/contracts-upgradeable": "^4.9.3"
+    "@openzeppelin/contracts-upgradeable": "^4.9.3",
+    "abi-coder": "^5.0.0",
+    "ethers": "^6.7.1",
+    "winston": "^3.10.0"
   }
 }

package/artifacts/contracts/Dip.sol/DIP.dbg.json

@@ -1,4 +0,0 @@
-{
-  "_format": "hh-sol-dbg-1",
-  "buildInfo": "../../build-info/d6ddc31c8d0f29d05ebcf7dbd3184aca.json"
-}

package/artifacts/contracts/Dip.sol/DIP.json

@@ -1,338 +0,0 @@
-{
-  "_format": "hh-sol-artifact-1",
-  "contractName": "DIP",
-  "sourceName": "contracts/Dip.sol",
-  "abi": [
-    {
-      "inputs": [],
-      "stateMutability": "nonpayable",
-      "type": "constructor"
-    },
-    {
-      "anonymous": false,
-      "inputs": [
-        {
-          "indexed": true,
-          "internalType": "address",
-          "name": "owner",
-          "type": "address"
-        },
-        {
-          "indexed": true,
-          "internalType": "address",
-          "name": "spender",
-          "type": "address"
-        },
-        {
-          "indexed": false,
-          "internalType": "uint256",
-          "name": "value",
-          "type": "uint256"
-        }
-      ],
-      "name": "Approval",
-      "type": "event"
-    },
-    {
-      "anonymous": false,
-      "inputs": [
-        {
-          "indexed": true,
-          "internalType": "address",
-          "name": "from",
-          "type": "address"
-        },
-        {
-          "indexed": true,
-          "internalType": "address",
-          "name": "to",
-          "type": "address"
-        },
-        {
-          "indexed": false,
-          "internalType": "uint256",
-          "name": "value",
-          "type": "uint256"
-        }
-      ],
-      "name": "Transfer",
-      "type": "event"
-    },
-    {
-      "inputs": [],
-      "name": "DECIMALS",
-      "outputs": [
-        {
-          "internalType": "uint8",
-          "name": "",
-          "type": "uint8"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "INITIAL_SUPPLY",
-      "outputs": [
-        {
-          "internalType": "uint256",
-          "name": "",
-          "type": "uint256"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "NAME",
-      "outputs": [
-        {
-          "internalType": "string",
-          "name": "",
-          "type": "string"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "SYMBOL",
-      "outputs": [
-        {
-          "internalType": "string",
-          "name": "",
-          "type": "string"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "address",
-          "name": "owner",
-          "type": "address"
-        },
-        {
-          "internalType": "address",
-          "name": "spender",
-          "type": "address"
-        }
-      ],
-      "name": "allowance",
-      "outputs": [
-        {
-          "internalType": "uint256",
-          "name": "",
-          "type": "uint256"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "address",
-          "name": "spender",
-          "type": "address"
-        },
-        {
-          "internalType": "uint256",
-          "name": "amount",
-          "type": "uint256"
-        }
-      ],
-      "name": "approve",
-      "outputs": [
-        {
-          "internalType": "bool",
-          "name": "",
-          "type": "bool"
-        }
-      ],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "address",
-          "name": "account",
-          "type": "address"
-        }
-      ],
-      "name": "balanceOf",
-      "outputs": [
-        {
-          "internalType": "uint256",
-          "name": "",
-          "type": "uint256"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "decimals",
-      "outputs": [
-        {
-          "internalType": "uint8",
-          "name": "",
-          "type": "uint8"
-        }
-      ],
-      "stateMutability": "pure",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "address",
-          "name": "spender",
-          "type": "address"
-        },
-        {
-          "internalType": "uint256",
-          "name": "subtractedValue",
-          "type": "uint256"
-        }
-      ],
-      "name": "decreaseAllowance",
-      "outputs": [
-        {
-          "internalType": "bool",
-          "name": "",
-          "type": "bool"
-        }
-      ],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "address",
-          "name": "spender",
-          "type": "address"
-        },
-        {
-          "internalType": "uint256",
-          "name": "addedValue",
-          "type": "uint256"
-        }
-      ],
-      "name": "increaseAllowance",
-      "outputs": [
-        {
-          "internalType": "bool",
-          "name": "",
-          "type": "bool"
-        }
-      ],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "name",
-      "outputs": [
-        {
-          "internalType": "string",
-          "name": "",
-          "type": "string"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "symbol",
-      "outputs": [
-        {
-          "internalType": "string",
-          "name": "",
-          "type": "string"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [],
-      "name": "totalSupply",
-      "outputs": [
-        {
-          "internalType": "uint256",
-          "name": "",
-          "type": "uint256"
-        }
-      ],
-      "stateMutability": "view",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "address",
-          "name": "to",
-          "type": "address"
-        },
-        {
-          "internalType": "uint256",
-          "name": "amount",
-          "type": "uint256"
-        }
-      ],
-      "name": "transfer",
-      "outputs": [
-        {
-          "internalType": "bool",
-          "name": "",
-          "type": "bool"
-        }
-      ],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    },
-    {
-      "inputs": [
-        {
-          "internalType": "address",
-          "name": "from",
-          "type": "address"
-        },
-        {
-          "internalType": "address",
-          "name": "to",
-          "type": "address"
-        },
-        {
-          "internalType": "uint256",
-          "name": "amount",
-          "type": "uint256"
-        }
-      ],
-      "name": "transferFrom",
-      "outputs": [
-        {
-          "internalType": "bool",
-          "name": "",
-          "type": "bool"
-        }
-      ],
-      "stateMutability": "nonpayable",
-      "type": "function"
-    }
-  ],
-  "bytecode": "0x608060405234801562000010575f80fd5b5060405180606001604052806028815260200162001d84602891396040518060400160405280600381526020017f44495000000000000000000000000000000000000000000000000000000000008152508160039081620000729190620004a8565b508060049081620000849190620004a8565b505050620000c86200009b620000ce60201b60201c565b6012600a620000ab919062000715565b633b9aca00620000bc919062000765565b620000d560201b60201c565b62000893565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff160362000146576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016200013d906200080d565b60405180910390fd5b620001595f83836200023a60201b60201c565b8060025f8282546200016c91906200082d565b92505081905550805f808473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508173ffffffffffffffffffffffffffffffffffffffff165f73ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef836040516200021b919062000878565b60405180910390a3620002365f83836200023f60201b60201c565b5050565b505050565b505050565b5f81519050919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52604160045260245ffd5b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680620002c057607f821691505b602082108103620002d657620002d56200027b565b5b50919050565b5f819050815f5260205f209050919050565b5f6020601f8301049050919050565b5f82821b905092915050565b5f600883026200033a7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff82620002fd565b620003468683620002fd565b95508019841693508086168417925050509392505050565b5f819050919050565b5f819050919050565b5f620003906200038a62000384846200035e565b62000367565b6200035e565b9050919050565b5f819050919050565b620003ab8362000370565b620003c3620003ba8262000397565b84845462000309565b825550505050565b5f90565b620003d9620003cb565b620003e6818484620003a0565b505050565b5b818110156200040d57620004015f82620003cf565b600181019050620003ec565b5050565b601f8211156200045c576200042681620002dc565b6200043184620002ee565b8101602085101562000441578190505b620004596200045085620002ee565b830182620003eb565b50505b505050565b5f82821c905092915050565b5f6200047e5f198460080262000461565b1980831691505092915050565b5f6200049883836200046d565b9150826002028217905092915050565b620004b38262000244565b67ffffffffffffffff811115620004cf57620004ce6200024e565b5b620004db8254620002a8565b620004e882828562000411565b5f60209050601f8311600181146200051e575f841562000509578287015190505b6200051585826200048b565b86555062000584565b601f1984166200052e86620002dc565b5f5b82811015620005575784890151825560018201915060208501945060208101905062000530565b8683101562000577578489015162000573601f8916826200046d565b8355505b6001600288020188555050505b505050505050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b60018511156200061657808604811115620005ee57620005ed6200058c565b5b6001851615620005fe5780820291505b80810290506200060e85620005b9565b9450620005ce565b94509492505050565b5f8262000630576001905062000702565b816200063f575f905062000702565b8160018114620006585760028114620006635762000699565b600191505062000702565b60ff8411156200067857620006776200058c565b5b8360020a9150848211156200069257620006916200058c565b5b5062000702565b5060208310610133831016604e8410600b8410161715620006d35782820a905083811115620006cd57620006cc6200058c565b5b62000702565b620006e28484846001620005c5565b92509050818404811115620006fc57620006fb6200058c565b5b81810290505b9392505050565b5f60ff82169050919050565b5f62000721826200035e565b91506200072e8362000709565b92506200075d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff84846200061f565b905092915050565b5f62000771826200035e565b91506200077e836200035e565b92508282026200078e816200035e565b91508282048414831517620007a857620007a76200058c565b5b5092915050565b5f82825260208201905092915050565b7f45524332303a206d696e7420746f20746865207a65726f2061646472657373005f82015250565b5f620007f5601f83620007af565b91506200080282620007bf565b602082019050919050565b5f6020820190508181035f8301526200082681620007e7565b9050919050565b5f62000839826200035e565b915062000846836200035e565b92508282019050808211156200086157620008606200058c565b5b92915050565b62000872816200035e565b82525050565b5f6020820190506200088d5f83018462000867565b92915050565b6114e380620008a15f395ff3fe608060405234801561000f575f80fd5b50600436106100f3575f3560e01c80633950935111610095578063a457c2d711610064578063a457c2d714610289578063a9059cbb146102b9578063dd62ed3e146102e9578063f76f8d7814610319576100f3565b806339509351146101ed57806370a082311461021d57806395d89b411461024d578063a3f4df7e1461026b576100f3565b806323b872dd116100d157806323b872dd146101635780632e0f2625146101935780632ff2e9dc146101b1578063313ce567146101cf576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff610337565b60405161010c9190610c1b565b60405180910390f35b61012f600480360381019061012a9190610ccc565b6103c7565b60405161013c9190610d24565b60405180910390f35b61014d6103e9565b60405161015a9190610d4c565b60405180910390f35b61017d60048036038101906101789190610d65565b6103f2565b60405161018a9190610d24565b60405180910390f35b61019b610420565b6040516101a89190610dd0565b60405180910390f35b6101b9610425565b6040516101c69190610d4c565b60405180910390f35b6101d7610445565b6040516101e49190610dd0565b60405180910390f35b61020760048036038101906102029190610ccc565b61044d565b6040516102149190610d24565b60405180910390f35b61023760048036038101906102329190610de9565b610483565b6040516102449190610d4c565b60405180910390f35b6102556104c8565b6040516102629190610c1b565b60405180910390f35b610273610558565b6040516102809190610c1b565b60405180910390f35b6102a3600480360381019061029e9190610ccc565b610574565b6040516102b09190610d24565b60405180910390f35b6102d360048036038101906102ce9190610ccc565b6105e9565b6040516102e09190610d24565b60405180910390f35b61030360048036038101906102fe9190610e14565b61060b565b6040516103109190610d4c565b60405180910390f35b61032161068d565b60405161032e9190610c1b565b60405180910390f35b60606003805461034690610e7f565b80601f016020809104026020016040519081016040528092919081815260200182805461037290610e7f565b80156103bd5780601f10610394576101008083540402835291602001916103bd565b820191905f5260205f20905b8154815290600101906020018083116103a057829003601f168201915b5050505050905090565b5f806103d16106c6565b90506103de8185856106cd565b600191505092915050565b5f600254905090565b5f806103fc6106c6565b9050610409858285610890565b61041485858561091b565b60019150509392505050565b601281565b6012600a610433919061100b565b633b9aca006104429190611055565b81565b5f6012905090565b5f806104576106c6565b9050610478818585610469858961060b565b6104739190611096565b6106cd565b600191505092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600480546104d790610e7f565b80601f016020809104026020016040519081016040528092919081815260200182805461050390610e7f565b801561054e5780601f106105255761010080835404028352916020019161054e565b820191905f5260205f20905b81548152906001019060200180831161053157829003601f168201915b5050505050905090565b6040518060600160405280602881526020016114866028913981565b5f8061057e6106c6565b90505f61058b828661060b565b9050838110156105d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105c790611139565b60405180910390fd5b6105dd82868684036106cd565b60019250505092915050565b5f806105f36106c6565b905061060081858561091b565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6040518060400160405280600381526020017f444950000000000000000000000000000000000000000000000000000000000081525081565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361073b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610732906111c7565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036107a9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a090611255565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108839190610d4c565b60405180910390a3505050565b5f61089b848461060b565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109155781811015610907576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108fe906112bd565b60405180910390fd5b61091484848484036106cd565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610989576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109809061134b565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ee906113d9565b60405180910390fd5b610a02838383610b87565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610a85576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7c90611467565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b6e9190610d4c565b60405180910390a3610b81848484610b8c565b50505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610bc8578082015181840152602081019050610bad565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610bed82610b91565b610bf78185610b9b565b9350610c07818560208601610bab565b610c1081610bd3565b840191505092915050565b5f6020820190508181035f830152610c338184610be3565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610c6882610c3f565b9050919050565b610c7881610c5e565b8114610c82575f80fd5b50565b5f81359050610c9381610c6f565b92915050565b5f819050919050565b610cab81610c99565b8114610cb5575f80fd5b50565b5f81359050610cc681610ca2565b92915050565b5f8060408385031215610ce257610ce1610c3b565b5b5f610cef85828601610c85565b9250506020610d0085828601610cb8565b9150509250929050565b5f8115159050919050565b610d1e81610d0a565b82525050565b5f602082019050610d375f830184610d15565b92915050565b610d4681610c99565b82525050565b5f602082019050610d5f5f830184610d3d565b92915050565b5f805f60608486031215610d7c57610d7b610c3b565b5b5f610d8986828701610c85565b9350506020610d9a86828701610c85565b9250506040610dab86828701610cb8565b9150509250925092565b5f60ff82169050919050565b610dca81610db5565b82525050565b5f602082019050610de35f830184610dc1565b92915050565b5f60208284031215610dfe57610dfd610c3b565b5b5f610e0b84828501610c85565b91505092915050565b5f8060408385031215610e2a57610e29610c3b565b5b5f610e3785828601610c85565b9250506020610e4885828601610c85565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610e9657607f821691505b602082108103610ea957610ea8610e52565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115610f3157808604811115610f0d57610f0c610eaf565b5b6001851615610f1c5780820291505b8081029050610f2a85610edc565b9450610ef1565b94509492505050565b5f82610f495760019050611004565b81610f56575f9050611004565b8160018114610f6c5760028114610f7657610fa5565b6001915050611004565b60ff841115610f8857610f87610eaf565b5b8360020a915084821115610f9f57610f9e610eaf565b5b50611004565b5060208310610133831016604e8410600b8410161715610fda5782820a905083811115610fd557610fd4610eaf565b5b611004565b610fe78484846001610ee8565b92509050818404811115610ffe57610ffd610eaf565b5b81810290505b9392505050565b5f61101582610c99565b915061102083610db5565b925061104d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f3a565b905092915050565b5f61105f82610c99565b915061106a83610c99565b925082820261107881610c99565b9150828204841483151761108f5761108e610eaf565b5b5092915050565b5f6110a082610c99565b91506110ab83610c99565b92508282019050808211156110c3576110c2610eaf565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611123602583610b9b565b915061112e826110c9565b604082019050919050565b5f6020820190508181035f83015261115081611117565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6111b1602483610b9b565b91506111bc82611157565b604082019050919050565b5f6020820190508181035f8301526111de816111a5565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61123f602283610b9b565b915061124a826111e5565b604082019050919050565b5f6020820190508181035f83015261126c81611233565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6112a7601d83610b9b565b91506112b282611273565b602082019050919050565b5f6020820190508181035f8301526112d48161129b565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611335602583610b9b565b9150611340826112db565b604082019050919050565b5f6020820190508181035f83015261136281611329565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6113c3602383610b9b565b91506113ce82611369565b604082019050919050565b5f6020820190508181035f8301526113f0816113b7565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611451602683610b9b565b915061145c826113f7565b604082019050919050565b5f6020820190508181035f83015261147e81611445565b905091905056fe446563656e7472616c697a656420496e737572616e63652050726f746f636f6c202d2044554d4d59a2646970667358221220b5817fafe4925dedfbf7a88cb88310c1b3164f71f2d48445c354b2ba8929211964736f6c63430008140033446563656e7472616c697a656420496e737572616e63652050726f746f636f6c202d2044554d4d59",
-  "deployedBytecode": "0x608060405234801561000f575f80fd5b50600436106100f3575f3560e01c80633950935111610095578063a457c2d711610064578063a457c2d714610289578063a9059cbb146102b9578063dd62ed3e146102e9578063f76f8d7814610319576100f3565b806339509351146101ed57806370a082311461021d57806395d89b411461024d578063a3f4df7e1461026b576100f3565b806323b872dd116100d157806323b872dd146101635780632e0f2625146101935780632ff2e9dc146101b1578063313ce567146101cf576100f3565b806306fdde03146100f7578063095ea7b31461011557806318160ddd14610145575b5f80fd5b6100ff610337565b60405161010c9190610c1b565b60405180910390f35b61012f600480360381019061012a9190610ccc565b6103c7565b60405161013c9190610d24565b60405180910390f35b61014d6103e9565b60405161015a9190610d4c565b60405180910390f35b61017d60048036038101906101789190610d65565b6103f2565b60405161018a9190610d24565b60405180910390f35b61019b610420565b6040516101a89190610dd0565b60405180910390f35b6101b9610425565b6040516101c69190610d4c565b60405180910390f35b6101d7610445565b6040516101e49190610dd0565b60405180910390f35b61020760048036038101906102029190610ccc565b61044d565b6040516102149190610d24565b60405180910390f35b61023760048036038101906102329190610de9565b610483565b6040516102449190610d4c565b60405180910390f35b6102556104c8565b6040516102629190610c1b565b60405180910390f35b610273610558565b6040516102809190610c1b565b60405180910390f35b6102a3600480360381019061029e9190610ccc565b610574565b6040516102b09190610d24565b60405180910390f35b6102d360048036038101906102ce9190610ccc565b6105e9565b6040516102e09190610d24565b60405180910390f35b61030360048036038101906102fe9190610e14565b61060b565b6040516103109190610d4c565b60405180910390f35b61032161068d565b60405161032e9190610c1b565b60405180910390f35b60606003805461034690610e7f565b80601f016020809104026020016040519081016040528092919081815260200182805461037290610e7f565b80156103bd5780601f10610394576101008083540402835291602001916103bd565b820191905f5260205f20905b8154815290600101906020018083116103a057829003601f168201915b5050505050905090565b5f806103d16106c6565b90506103de8185856106cd565b600191505092915050565b5f600254905090565b5f806103fc6106c6565b9050610409858285610890565b61041485858561091b565b60019150509392505050565b601281565b6012600a610433919061100b565b633b9aca006104429190611055565b81565b5f6012905090565b5f806104576106c6565b9050610478818585610469858961060b565b6104739190611096565b6106cd565b600191505092915050565b5f805f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20549050919050565b6060600480546104d790610e7f565b80601f016020809104026020016040519081016040528092919081815260200182805461050390610e7f565b801561054e5780601f106105255761010080835404028352916020019161054e565b820191905f5260205f20905b81548152906001019060200180831161053157829003601f168201915b5050505050905090565b6040518060600160405280602881526020016114866028913981565b5f8061057e6106c6565b90505f61058b828661060b565b9050838110156105d0576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105c790611139565b60405180910390fd5b6105dd82868684036106cd565b60019250505092915050565b5f806105f36106c6565b905061060081858561091b565b600191505092915050565b5f60015f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905092915050565b6040518060400160405280600381526020017f444950000000000000000000000000000000000000000000000000000000000081525081565b5f33905090565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361073b576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610732906111c7565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036107a9576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016107a090611255565b60405180910390fd5b8060015f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f8473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f20819055508173ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff167f8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925836040516108839190610d4c565b60405180910390a3505050565b5f61089b848461060b565b90507fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff81146109155781811015610907576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016108fe906112bd565b60405180910390fd5b61091484848484036106cd565b5b50505050565b5f73ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff1603610989576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109809061134b565b60405180910390fd5b5f73ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff16036109f7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016109ee906113d9565b60405180910390fd5b610a02838383610b87565b5f805f8573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2054905081811015610a85576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7c90611467565b60405180910390fd5b8181035f808673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f2081905550815f808573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020015f205f82825401925050819055508273ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff167fddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef84604051610b6e9190610d4c565b60405180910390a3610b81848484610b8c565b50505050565b505050565b505050565b5f81519050919050565b5f82825260208201905092915050565b5f5b83811015610bc8578082015181840152602081019050610bad565b5f8484015250505050565b5f601f19601f8301169050919050565b5f610bed82610b91565b610bf78185610b9b565b9350610c07818560208601610bab565b610c1081610bd3565b840191505092915050565b5f6020820190508181035f830152610c338184610be3565b905092915050565b5f80fd5b5f73ffffffffffffffffffffffffffffffffffffffff82169050919050565b5f610c6882610c3f565b9050919050565b610c7881610c5e565b8114610c82575f80fd5b50565b5f81359050610c9381610c6f565b92915050565b5f819050919050565b610cab81610c99565b8114610cb5575f80fd5b50565b5f81359050610cc681610ca2565b92915050565b5f8060408385031215610ce257610ce1610c3b565b5b5f610cef85828601610c85565b9250506020610d0085828601610cb8565b9150509250929050565b5f8115159050919050565b610d1e81610d0a565b82525050565b5f602082019050610d375f830184610d15565b92915050565b610d4681610c99565b82525050565b5f602082019050610d5f5f830184610d3d565b92915050565b5f805f60608486031215610d7c57610d7b610c3b565b5b5f610d8986828701610c85565b9350506020610d9a86828701610c85565b9250506040610dab86828701610cb8565b9150509250925092565b5f60ff82169050919050565b610dca81610db5565b82525050565b5f602082019050610de35f830184610dc1565b92915050565b5f60208284031215610dfe57610dfd610c3b565b5b5f610e0b84828501610c85565b91505092915050565b5f8060408385031215610e2a57610e29610c3b565b5b5f610e3785828601610c85565b9250506020610e4885828601610c85565b9150509250929050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52602260045260245ffd5b5f6002820490506001821680610e9657607f821691505b602082108103610ea957610ea8610e52565b5b50919050565b7f4e487b71000000000000000000000000000000000000000000000000000000005f52601160045260245ffd5b5f8160011c9050919050565b5f808291508390505b6001851115610f3157808604811115610f0d57610f0c610eaf565b5b6001851615610f1c5780820291505b8081029050610f2a85610edc565b9450610ef1565b94509492505050565b5f82610f495760019050611004565b81610f56575f9050611004565b8160018114610f6c5760028114610f7657610fa5565b6001915050611004565b60ff841115610f8857610f87610eaf565b5b8360020a915084821115610f9f57610f9e610eaf565b5b50611004565b5060208310610133831016604e8410600b8410161715610fda5782820a905083811115610fd557610fd4610eaf565b5b611004565b610fe78484846001610ee8565b92509050818404811115610ffe57610ffd610eaf565b5b81810290505b9392505050565b5f61101582610c99565b915061102083610db5565b925061104d7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff8484610f3a565b905092915050565b5f61105f82610c99565b915061106a83610c99565b925082820261107881610c99565b9150828204841483151761108f5761108e610eaf565b5b5092915050565b5f6110a082610c99565b91506110ab83610c99565b92508282019050808211156110c3576110c2610eaf565b5b92915050565b7f45524332303a2064656372656173656420616c6c6f77616e63652062656c6f775f8201527f207a65726f000000000000000000000000000000000000000000000000000000602082015250565b5f611123602583610b9b565b915061112e826110c9565b604082019050919050565b5f6020820190508181035f83015261115081611117565b9050919050565b7f45524332303a20617070726f76652066726f6d20746865207a65726f206164645f8201527f7265737300000000000000000000000000000000000000000000000000000000602082015250565b5f6111b1602483610b9b565b91506111bc82611157565b604082019050919050565b5f6020820190508181035f8301526111de816111a5565b9050919050565b7f45524332303a20617070726f766520746f20746865207a65726f2061646472655f8201527f7373000000000000000000000000000000000000000000000000000000000000602082015250565b5f61123f602283610b9b565b915061124a826111e5565b604082019050919050565b5f6020820190508181035f83015261126c81611233565b9050919050565b7f45524332303a20696e73756666696369656e7420616c6c6f77616e63650000005f82015250565b5f6112a7601d83610b9b565b91506112b282611273565b602082019050919050565b5f6020820190508181035f8301526112d48161129b565b9050919050565b7f45524332303a207472616e736665722066726f6d20746865207a65726f2061645f8201527f6472657373000000000000000000000000000000000000000000000000000000602082015250565b5f611335602583610b9b565b9150611340826112db565b604082019050919050565b5f6020820190508181035f83015261136281611329565b9050919050565b7f45524332303a207472616e7366657220746f20746865207a65726f20616464725f8201527f6573730000000000000000000000000000000000000000000000000000000000602082015250565b5f6113c3602383610b9b565b91506113ce82611369565b604082019050919050565b5f6020820190508181035f8301526113f0816113b7565b9050919050565b7f45524332303a207472616e7366657220616d6f756e74206578636565647320625f8201527f616c616e63650000000000000000000000000000000000000000000000000000602082015250565b5f611451602683610b9b565b915061145c826113f7565b604082019050919050565b5f6020820190508181035f83015261147e81611445565b905091905056fe446563656e7472616c697a656420496e737572616e63652050726f746f636f6c202d2044554d4d59a2646970667358221220b5817fafe4925dedfbf7a88cb88310c1b3164f71f2d48445c354b2ba8929211964736f6c63430008140033",
-  "linkReferences": {},
-  "deployedLinkReferences": {}
-}

package/artifacts/contracts/Lock.sol/Lock.dbg.json

@@ -1,4 +0,0 @@
-{
-  "_format": "hh-sol-dbg-1",
-  "buildInfo": "../../build-info/d6ddc31c8d0f29d05ebcf7dbd3184aca.json"
-}