remove solvency files, and prepare for PR

Certora · Dec 12, 2024 · ecc0cd6 · ecc0cd6
1 parent 976577d
commit ecc0cd6
Show file tree

Hide file tree

Showing 227 changed files with 0 additions and 19,621 deletions.
diff --git a/certora/deprecated/Makefile b/certora/deprecated/Makefile
diff --git a/certora/deprecated/README.md b/certora/deprecated/README.md
diff --git a/certora/deprecated/applyHarness.patch b/certora/deprecated/applyHarness.patch
diff --git a/certora/deprecated/conf/AToken.conf b/certora/deprecated/conf/AToken.conf
diff --git a/certora/deprecated/conf/NEW-pool-no-summarizations.conf b/certora/deprecated/conf/NEW-pool-no-summarizations.conf
diff --git a/certora/deprecated/conf/NEW-pool-simple-properties.conf b/certora/deprecated/conf/NEW-pool-simple-properties.conf
diff --git a/certora/deprecated/conf/ReserveConfiguration.conf b/certora/deprecated/conf/ReserveConfiguration.conf
diff --git a/certora/deprecated/conf/UserConfiguration.conf b/certora/deprecated/conf/UserConfiguration.conf
diff --git a/certora/deprecated/conf/VariableDebtToken.conf b/certora/deprecated/conf/VariableDebtToken.conf
diff --git a/certora/deprecated/harness/ATokenHarness.sol b/certora/deprecated/harness/ATokenHarness.sol