From 4a3cddc52934c121b33db60febf7b9511db974c3 Mon Sep 17 00:00:00 2001 From: Michael George Date: Fri, 6 May 2022 13:21:36 -0400 Subject: [PATCH] temporarily moved old projects into old directory --- certora/scripts/{ => old}/ERC20VotesRule.sh | 0 certora/scripts/{ => old}/Governor.sh | 0 certora/scripts/{ => old}/GovernorCountingSimple-counting.sh | 0 certora/scripts/{ => old}/WizardControlFirstPriority.sh | 0 certora/scripts/{ => old}/WizardFirstTry.sh | 0 certora/scripts/{ => old}/sanity.sh | 0 certora/scripts/{ => old}/sanityGovernor.sh | 0 certora/scripts/{ => old}/sanityTokens.sh | 0 certora/scripts/{ => old}/verifyAccessControl.sh | 0 certora/scripts/{ => old}/verifyAll.sh | 0 certora/scripts/{ => old}/verifyAll2.sh | 0 certora/scripts/{ => old}/verifyERC1155.sh | 0 certora/scripts/{ => old}/verifyERC20FlashMint.sh | 0 certora/scripts/{ => old}/verifyERC20Votes.sh | 0 certora/scripts/{ => old}/verifyERC20Wrapper.sh | 0 certora/scripts/{ => old}/verifyERC721Votes.sh | 0 certora/scripts/{ => old}/verifyGovernor.sh | 0 certora/scripts/{ => old}/verifyTimelock.sh | 0 18 files changed, 0 insertions(+), 0 deletions(-) rename certora/scripts/{ => old}/ERC20VotesRule.sh (100%) rename certora/scripts/{ => old}/Governor.sh (100%) rename certora/scripts/{ => old}/GovernorCountingSimple-counting.sh (100%) rename certora/scripts/{ => old}/WizardControlFirstPriority.sh (100%) rename certora/scripts/{ => old}/WizardFirstTry.sh (100%) rename certora/scripts/{ => old}/sanity.sh (100%) rename certora/scripts/{ => old}/sanityGovernor.sh (100%) rename certora/scripts/{ => old}/sanityTokens.sh (100%) rename certora/scripts/{ => old}/verifyAccessControl.sh (100%) rename certora/scripts/{ => old}/verifyAll.sh (100%) rename certora/scripts/{ => old}/verifyAll2.sh (100%) rename certora/scripts/{ => old}/verifyERC1155.sh (100%) rename certora/scripts/{ => old}/verifyERC20FlashMint.sh (100%) rename certora/scripts/{ => old}/verifyERC20Votes.sh (100%) rename certora/scripts/{ => old}/verifyERC20Wrapper.sh (100%) rename certora/scripts/{ => old}/verifyERC721Votes.sh (100%) rename certora/scripts/{ => old}/verifyGovernor.sh (100%) rename certora/scripts/{ => old}/verifyTimelock.sh (100%) diff --git a/certora/scripts/ERC20VotesRule.sh b/certora/scripts/old/ERC20VotesRule.sh similarity index 100% rename from certora/scripts/ERC20VotesRule.sh rename to certora/scripts/old/ERC20VotesRule.sh diff --git a/certora/scripts/Governor.sh b/certora/scripts/old/Governor.sh similarity index 100% rename from certora/scripts/Governor.sh rename to certora/scripts/old/Governor.sh diff --git a/certora/scripts/GovernorCountingSimple-counting.sh b/certora/scripts/old/GovernorCountingSimple-counting.sh similarity index 100% rename from certora/scripts/GovernorCountingSimple-counting.sh rename to certora/scripts/old/GovernorCountingSimple-counting.sh diff --git a/certora/scripts/WizardControlFirstPriority.sh b/certora/scripts/old/WizardControlFirstPriority.sh similarity index 100% rename from certora/scripts/WizardControlFirstPriority.sh rename to certora/scripts/old/WizardControlFirstPriority.sh diff --git a/certora/scripts/WizardFirstTry.sh b/certora/scripts/old/WizardFirstTry.sh similarity index 100% rename from certora/scripts/WizardFirstTry.sh rename to certora/scripts/old/WizardFirstTry.sh diff --git a/certora/scripts/sanity.sh b/certora/scripts/old/sanity.sh similarity index 100% rename from certora/scripts/sanity.sh rename to certora/scripts/old/sanity.sh diff --git a/certora/scripts/sanityGovernor.sh b/certora/scripts/old/sanityGovernor.sh similarity index 100% rename from certora/scripts/sanityGovernor.sh rename to certora/scripts/old/sanityGovernor.sh diff --git a/certora/scripts/sanityTokens.sh b/certora/scripts/old/sanityTokens.sh similarity index 100% rename from certora/scripts/sanityTokens.sh rename to certora/scripts/old/sanityTokens.sh diff --git a/certora/scripts/verifyAccessControl.sh b/certora/scripts/old/verifyAccessControl.sh similarity index 100% rename from certora/scripts/verifyAccessControl.sh rename to certora/scripts/old/verifyAccessControl.sh diff --git a/certora/scripts/verifyAll.sh b/certora/scripts/old/verifyAll.sh similarity index 100% rename from certora/scripts/verifyAll.sh rename to certora/scripts/old/verifyAll.sh diff --git a/certora/scripts/verifyAll2.sh b/certora/scripts/old/verifyAll2.sh similarity index 100% rename from certora/scripts/verifyAll2.sh rename to certora/scripts/old/verifyAll2.sh diff --git a/certora/scripts/verifyERC1155.sh b/certora/scripts/old/verifyERC1155.sh similarity index 100% rename from certora/scripts/verifyERC1155.sh rename to certora/scripts/old/verifyERC1155.sh diff --git a/certora/scripts/verifyERC20FlashMint.sh b/certora/scripts/old/verifyERC20FlashMint.sh similarity index 100% rename from certora/scripts/verifyERC20FlashMint.sh rename to certora/scripts/old/verifyERC20FlashMint.sh diff --git a/certora/scripts/verifyERC20Votes.sh b/certora/scripts/old/verifyERC20Votes.sh similarity index 100% rename from certora/scripts/verifyERC20Votes.sh rename to certora/scripts/old/verifyERC20Votes.sh diff --git a/certora/scripts/verifyERC20Wrapper.sh b/certora/scripts/old/verifyERC20Wrapper.sh similarity index 100% rename from certora/scripts/verifyERC20Wrapper.sh rename to certora/scripts/old/verifyERC20Wrapper.sh diff --git a/certora/scripts/verifyERC721Votes.sh b/certora/scripts/old/verifyERC721Votes.sh similarity index 100% rename from certora/scripts/verifyERC721Votes.sh rename to certora/scripts/old/verifyERC721Votes.sh diff --git a/certora/scripts/verifyGovernor.sh b/certora/scripts/old/verifyGovernor.sh similarity index 100% rename from certora/scripts/verifyGovernor.sh rename to certora/scripts/old/verifyGovernor.sh diff --git a/certora/scripts/verifyTimelock.sh b/certora/scripts/old/verifyTimelock.sh similarity index 100% rename from certora/scripts/verifyTimelock.sh rename to certora/scripts/old/verifyTimelock.sh