LICENSE
MANIFEST.in
README.md
setup.py
certora_bins/__init__.py
certora_cli/__init__.py
certora_cli/certoraCVLFormatter.py
certora_cli/certoraConcord.py
certora_cli/certoraEVMProver.py
certora_cli/certoraEqCheck.py
certora_cli/certoraMutate.py
certora_cli/certoraRanger.py
certora_cli/certoraRun.py
certora_cli/certoraSolanaProver.py
certora_cli/certoraSorobanProver.py
certora_cli/certoraSuiProver.py
certora_cli/rustMutator.py
certora_cli/CertoraProver/__init__.py
certora_cli/CertoraProver/castingInstrumenter.py
certora_cli/CertoraProver/certoraApp.py
certora_cli/CertoraProver/certoraBuild.py
certora_cli/CertoraProver/certoraBuildCacheManager.py
certora_cli/CertoraProver/certoraBuildDataClasses.py
certora_cli/CertoraProver/certoraBuildRust.py
certora_cli/CertoraProver/certoraBuildSui.py
certora_cli/CertoraProver/certoraCloudIO.py
certora_cli/CertoraProver/certoraCollectConfigurationLayout.py
certora_cli/CertoraProver/certoraCollectRunMetadata.py
certora_cli/CertoraProver/certoraCompilerParameters.py
certora_cli/CertoraProver/certoraConfigIO.py
certora_cli/CertoraProver/certoraContext.py
certora_cli/CertoraProver/certoraContextAttributes.py
certora_cli/CertoraProver/certoraContextClass.py
certora_cli/CertoraProver/certoraContextValidator.py
certora_cli/CertoraProver/certoraContractFuncs.py
certora_cli/CertoraProver/certoraExtensionInfo.py
certora_cli/CertoraProver/certoraJobList.py
certora_cli/CertoraProver/certoraMiniSpecParser.py
certora_cli/CertoraProver/certoraNodeFilters.py
certora_cli/CertoraProver/certoraOffsetConverter.py
certora_cli/CertoraProver/certoraParseBuildScript.py
certora_cli/CertoraProver/certoraProjectScanner.py
certora_cli/CertoraProver/certoraSourceFinders.py
certora_cli/CertoraProver/certoraType.py
certora_cli/CertoraProver/certoraVerifyGenerator.py
certora_cli/CertoraProver/erc7201.py
certora_cli/CertoraProver/splitRules.py
certora_cli/CertoraProver/storageExtension.py
certora_cli/CertoraProver/uncheckedOverflowInstrumenter.py
certora_cli/CertoraProver/Compiler/CompilerCollector.py
certora_cli/CertoraProver/Compiler/CompilerCollectorFactory.py
certora_cli/CertoraProver/Compiler/CompilerCollectorSol.py
certora_cli/CertoraProver/Compiler/CompilerCollectorSolBased.py
certora_cli/CertoraProver/Compiler/CompilerCollectorVy.py
certora_cli/CertoraProver/Compiler/CompilerCollectorYul.py
certora_cli/CertoraProver/Compiler/__init__.py
certora_cli/EquivalenceCheck/Eq_default.conf
certora_cli/EquivalenceCheck/Eq_mc_no_out_template.spec
certora_cli/EquivalenceCheck/Eq_mc_template.spec
certora_cli/EquivalenceCheck/Eq_sanity.conf
certora_cli/EquivalenceCheck/Eq_template.spec
certora_cli/EquivalenceCheck/__init__.py
certora_cli/EquivalenceCheck/equivCheck.py
certora_cli/EquivalenceCheck/sanity.spec
certora_cli/Mutate/__init__.py
certora_cli/Mutate/mutateApp.py
certora_cli/Mutate/mutateAttributes.py
certora_cli/Mutate/mutateConstants.py
certora_cli/Mutate/mutateUtil.py
certora_cli/Mutate/mutateValidate.py
certora_cli/Shared/ExpectedComparator.py
certora_cli/Shared/__init__.py
certora_cli/Shared/certoraAttrUtil.py
certora_cli/Shared/certoraLogging.py
certora_cli/Shared/certoraUtils.py
certora_cli/Shared/certoraValidateFuncs.py
certora_cli/Shared/proverCommon.py
certora_cli_alpha_master.egg-info/PKG-INFO
certora_cli_alpha_master.egg-info/SOURCES.txt
certora_cli_alpha_master.egg-info/dependency_links.txt
certora_cli_alpha_master.egg-info/entry_points.txt
certora_cli_alpha_master.egg-info/requires.txt
certora_cli_alpha_master.egg-info/top_level.txt
certora_jars/ASTExtraction.jar
certora_jars/CERTORA-CLI-VERSION-METADATA.json
certora_jars/Typechecker.jar
certora_jars/__init__.py