Ion-Protocol · junkim012 · Mar 23, 2024 · Mar 24, 2024 · Mar 24, 2024 · Apr 2, 2024
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
@@ -162,4 +162,4 @@ jobs:
         uses: Rubilmax/[email protected]
         with:
           contract: src/IonPool.sol:IonPool
-          address: "0x00000000005a1de4c0eb34609e211ad8831707e0" # the address at which the contract check is deployed
+          address: "0xad71a9e73e235a61caeb10059b64459fab23b8c7" # the address at which the contract check is deployed
diff --git a/.solhintignore b/.solhintignore
@@ -1,4 +1,3 @@
 src/libraries/uniswap/
-src/interfaces/ProviderInterfaces.sol
-src/interfaces/ISpotOracle.sol
+src/interfaces/**.sol
 src/periphery/IonInvariants.sol
diff --git a/certora/.DS_Store b/certora/.DS_Store
diff --git a/certora/README.md b/certora/README.md
diff --git a/certora/confs/InterestRate_verified.conf b/certora/confs/InterestRate_verified.conf
diff --git a/certora/confs/IonPool_verified.conf b/certora/confs/IonPool_verified.conf
diff --git a/certora/confs/Liquidation_verified.conf b/certora/confs/Liquidation_verified.conf
diff --git a/certora/confs/mutation/InterestRate.mconf b/certora/confs/mutation/InterestRate.mconf
diff --git a/certora/confs/mutation/IonPool.mconf b/certora/confs/mutation/IonPool.mconf
diff --git a/certora/confs/mutation/Liquidation.mconf b/certora/confs/mutation/Liquidation.mconf
diff --git a/certora/helpers/ERC20A.sol b/certora/helpers/ERC20A.sol
diff --git a/certora/helpers/ERC20B.sol b/certora/helpers/ERC20B.sol