Ion-Protocol · junkim012 · May 18, 2024 · Mar 23, 2024 · Mar 24, 2024 · Mar 24, 2024
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