adding .certora_internal to gitignore

nican0r · Feb 2, 2024 · 75c645e · 75c645e
1 parent 15b8a6a
commit 75c645e
Show file tree

Hide file tree

Showing 474 changed files with 2 additions and 195,297 deletions.
diff --git a/.certora_internal/.certora_recent_jobs.json b/.certora_internal/.certora_recent_jobs.json
diff --git a/.certora_internal/0af3cee04b2342ffb25754ff399348eb.zip b/.certora_internal/0af3cee04b2342ffb25754ff399348eb.zip
diff --git a/.certora_internal/0af3cee04b2342ffb25754ff399348eb_cli_debug_log.zip b/.certora_internal/0af3cee04b2342ffb25754ff399348eb_cli_debug_log.zip
diff --git a/.certora_internal/24_02_02_08_49_36_072/.certora_build.json b/.certora_internal/24_02_02_08_49_36_072/.certora_build.json
diff --git a/...nternal/24_02_02_08_49_36_072/.certora_config/LiquidationLogic.sol_3.standard.json.stderr b/...nternal/24_02_02_08_49_36_072/.certora_config/LiquidationLogic.sol_3.standard.json.stderr
diff --git a/...nternal/24_02_02_08_49_36_072/.certora_config/LiquidationLogic.sol_3.standard.json.stdout b/...nternal/24_02_02_08_49_36_072/.certora_config/LiquidationLogic.sol_3.standard.json.stdout
diff --git a/...al/24_02_02_08_49_36_072/.certora_config/PoolAddressesProvider.sol_2.standard.json.stderr b/...al/24_02_02_08_49_36_072/.certora_config/PoolAddressesProvider.sol_2.standard.json.stderr
diff --git a/...al/24_02_02_08_49_36_072/.certora_config/PoolAddressesProvider.sol_2.standard.json.stdout b/...al/24_02_02_08_49_36_072/.certora_config/PoolAddressesProvider.sol_2.standard.json.stdout
diff --git a/...ora_internal/24_02_02_08_49_36_072/.certora_config/PoolHarness.sol_0.standard.json.stderr b/...ora_internal/24_02_02_08_49_36_072/.certora_config/PoolHarness.sol_0.standard.json.stderr
diff --git a/...ora_internal/24_02_02_08_49_36_072/.certora_config/PoolHarness.sol_0.standard.json.stdout b/...ora_internal/24_02_02_08_49_36_072/.certora_config/PoolHarness.sol_0.standard.json.stdout
diff --git a/...rnal/24_02_02_08_49_36_072/.certora_config/SymbolicPriceOracle.sol_1.standard.json.stderr b/...rnal/24_02_02_08_49_36_072/.certora_config/SymbolicPriceOracle.sol_1.standard.json.stderr
diff --git a/...rnal/24_02_02_08_49_36_072/.certora_config/SymbolicPriceOracle.sol_1.standard.json.stdout b/...rnal/24_02_02_08_49_36_072/.certora_config/SymbolicPriceOracle.sol_1.standard.json.stdout
diff --git a/.certora_internal/24_02_02_08_49_36_072/.certora_config/version_check_solc.stderr b/.certora_internal/24_02_02_08_49_36_072/.certora_config/version_check_solc.stderr
diff --git a/.certora_internal/24_02_02_08_49_36_072/.certora_config/version_check_solc.stdout b/.certora_internal/24_02_02_08_49_36_072/.certora_config/version_check_solc.stdout
diff --git a/.certora_internal/24_02_02_08_49_36_072/.certora_metadata.json b/.certora_internal/24_02_02_08_49_36_072/.certora_metadata.json
diff --git a/.certora_internal/24_02_02_08_49_36_072/.certora_sources/.0_priceOracleCounter.spec.spec b/.certora_internal/24_02_02_08_49_36_072/.certora_sources/.0_priceOracleCounter.spec.spec
diff --git a/...4_02_02_08_49_36_072/.certora_sources/.post_autofinders.0/.0_priceOracleCounter.spec.spec b/...4_02_02_08_49_36_072/.certora_sources/.post_autofinders.0/.0_priceOracleCounter.spec.spec
diff --git a/...2_08_49_36_072/.certora_sources/.post_autofinders.0/Certora/confs/priceOracleCounter.conf b/...2_08_49_36_072/.certora_sources/.post_autofinders.0/Certora/confs/priceOracleCounter.conf
diff --git a/...4_02_02_08_49_36_072/.certora_sources/.post_autofinders.0/Certora/harness/PoolHarness.sol b/...4_02_02_08_49_36_072/.certora_sources/.post_autofinders.0/Certora/harness/PoolHarness.sol
diff --git a/...2_08_49_36_072/.certora_sources/.post_autofinders.0/Certora/specs/priceOracleCounter.spec b/...2_08_49_36_072/.certora_sources/.post_autofinders.0/Certora/specs/priceOracleCounter.spec
diff --git a/...ora_sources/.post_autofinders.0/contracts/dependencies/openzeppelin/contracts/Address.sol b/...ora_sources/.post_autofinders.0/contracts/dependencies/openzeppelin/contracts/Address.sol
diff --git a/...tora_sources/.post_autofinders.0/contracts/dependencies/openzeppelin/contracts/IERC20.sol b/...tora_sources/.post_autofinders.0/contracts/dependencies/openzeppelin/contracts/IERC20.sol
diff --git a/...a_sources/.post_autofinders.0/contracts/dependencies/openzeppelin/contracts/SafeERC20.sol b/...a_sources/.post_autofinders.0/contracts/dependencies/openzeppelin/contracts/SafeERC20.sol